Беркли Э. Символическая логика и разумные машины

формат djvu
размер 1.98 МБ
добавлен 13 марта 2009 г.

Год издания: 1961
Количество страниц: 260

Эта книга, написанная видным американским популяризатором кибернетики, представляет собой общедоступное введение в символическую (математическую) логику и вопросы ее применения к синтезу машин, моделирующих некоторые операции человеческого мышления. От простейших машин, способных решать элементарные логические задачи, автор переходит к современным цифровым автоматическим счетным машинам, описывает их. структуру и программирование. Тот, кто интересуется роботами, обнаружит здесь пример составления логических уравнений, на основе которых можно строить кибернетических «зверьков», обладающих простым поведением. Книга рассчитана на широкие круги читателей; она может быть полезна математикам различных специальностей, инженерам, работающим в области связи, автоматики и телемеханики, студентам
втузов и др. Для ее понимания достаточно знания математики и физики в объеме средней школы.

Похожие разделы

Смотрите также

Анкудинов Г.И., Анкудинов И.Г., Петухов О.A. Математическая логика и теория алгоритмов

формат pdf
размер 1.05 МБ
добавлен 28 августа 2009 г.

Учеб. пособие. — 2-е изд. -СПб.: СЗТУ, 2003, 104 с. Учебное пособие соответствует государственному образовательному стандарту дисциплины "Математическая логика и теория алгоритмов" направления подготовки дипломированных специалистов 654600 -"Информатика и вычислительная техника" (Специальность 220100 -"Вычислительные машины, комплексы, системы и сети") и направления подготовки бакалавров 552800 - "Информатика и вычислительная техника". В пособии...

Галиев Ш.И. Математическая логика и теория алгоритмов

формат djvu
размер 1.27 МБ
добавлен 04 января 2012 г.

Казань: Издательство КГТУ им. А. Н. Туполева, 2002. - 270 с. Пособие содержит следующие разделы: Логика высказываний и предикатов с приложениями, в том числе метод резолюций и элементы его реализации в языке ПРОЛОГ. Классические исчисления (высказываний и предикатов) и элементы неклассических логик: трёхзначные и многозначные логики, модальную, временную и нечеткую логики. Теория алгоритмов: нормальные алгоритмы, машины Тьюринга, рекурсивные...

Доклад - Математическая логика

Реферат

формат doc
размер 309.5 КБ
добавлен 06 апреля 2009 г.

Математическая логика в лицах. Введение. Язык логики предикатов. Синтаксис языка логики предикатов . Семантика языка логики предикатов. Логика предикатов. Исчисление предикатов. Определение формулы логики предикатов. Свободные и связные вхождения. переменных в формулы. Логические и кванторные операции. над предикатами. Применение языка логики предикатов для . записи математических предложений, . определений, построения отрицания предложений.

Зюзьков В.М., Шелупанов А.А. Математическая логика и теория алгоритмов

формат pdf
размер 1.73 МБ
добавлен 16 апреля 2010 г.

ТУСУР, 2001, 154с. Томский межвузовский центр дистанционного образования (ТУСУР). Содержание: Основы теории множеств. Логика высказываний. Булевы алгебры. Логика предикатов. Исчисления. Теория алгоритмов. Логические парадоксы. Многозначные логики.

Кожухов И.Б. Математическая логика и теория алгоритмов: Учебное пособие

формат doc, htm
размер 7.33 МБ
добавлен 04 июня 2011 г.

Кожухов И. Б. Математическая логика и теория алгоритмов: Учебное пособие, Москва - МГУ, 2004. 148 с. Пособие включает классические разделы математической логики (исчисление высказываний, элементы теории моделей), теории алго-ритмов (машины Тьюринга и вычислительные функции), а также осно-вания теории множеств

Лекции - Математическая логика

Статья

формат doc
размер 1.31 МБ
добавлен 04 марта 2011 г.

Бахтадзе Н. Н. (Институт проблем управления им. В. А. Трапезникова РАН). Логика высказываний. Алгебра высказываний. Исчисление высказываний. Метод дедуктивного вывода. Принцип резолюции. Проблемы исчисления высказываний. Описание высказываний на языке Prolog. Логика предикатов. Алгебра предикатов. Исчисление предикатов. Проблемы в исчислении предикатов. Логическое программирование.

Лекции по математической логике

Статья

формат doc
размер 47.43 КБ
добавлен 20 декабря 2008 г.

Логика высказываний. Лингвистические соображения,форулы. Таблицы истинности, общезначимость. Правило подстановки, совокупность общезначимых формул. Отношение следования. Сокращенные таблицы истиности. Доказуемость и выводимость. Теорема о дедукции. Непротиворечивость,правила введения и удаления. Полнота. Логика предикатов. Лингвистические соображения, формулы. Общезначимость. Следование. Доказуемость и выводимость. Теорема о дедукции. Непротиворе...

Маркин П.М. Математическая логика

формат doc
размер 1.22 МБ
добавлен 04 января 2012 г.

Лекции по курсу. - Москва: РГУИТП, 2006. - 62с. Математическая (теоретическая, символьная) логика – нормативная наука о формах и приемах интеллектуальной познавательной деятельности, осуществляемой с помощью искусственных (формальных и формализованных) языков. Иначе, математическая логика – анализ рассуждений (в первую очередь, их формы, а не содержания). Основными разделами математической логики является: логика высказываний, логика предикатов,...

Степанова, Плешкова, Гусев. Математическая логика и теория алгоритмов (методичка)

Практикум

формат djvu
размер 1.02 МБ
добавлен 28 января 2011 г.

Темы: Алгебра высказываний. Исчисления высказываний. Логика предикатов. Исчисление предикатов. Машины Тьюринга. Владивосток, Вгуэс, 2010.

Чудинов К.М. (состав.) Математическая логика и теория алгоритмов

формат doc
размер 422.67 КБ
добавлен 17 июня 2010 г.

Методические указания для студентов II курса заочного отделения специальности ИСТ. / Сост. К. М. Чудинов; Пермь: Изд-во Перм. гос. техн. ун-та, 2007. 48 с. Приводятся необходимые для изучения курса «Математическая логика и теория алгоритмов» теоретические сведения, примерами решения задач, задачи для самостоятельного решения и список рекомендуемой литературы. Программа курса: Логика высказываний. Логические операции. Формулы логики высказываний...