Лобанов В.И. Инженерная логика

формат djvu
размер 908.3 КБ
добавлен 20 октября 2010 г.

191 стр.
Практика инженерной логики.
Комбинационные логические цепи.
Минимизация булевых функций методом обобщенных кодов.
Триггеры.
Регистры и счетчики.
Синтез счетчиков.
Конечные автоматы.
Микроконтроллеры.
Базовые проблемы классической логики.
Законы логики суждений.
Базисы силлогистики.
Силлогистика Аристотеля-Жергонна.
Русская силлогистика.
Общеразговорная силлогистика.
Атомарная силлогистика.
Атомарная силлогистика.
Естественный вывод и кванторы.

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

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

Реферат

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

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

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

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

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

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

Статья

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

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

Лупанов О.Б. Лекции по математической логике

формат pdf
размер 365.13 КБ
добавлен 08 января 2011 г.

МехМат МГУ, 1 курс, 2 семестр. 2004. Оглавление: Булева алгебра. k-значная логика. Схемы из функциональных элементов. Автоматы. Логика. Исчисления и предикаты. Алгоритмы. Данный документ представляет собой курс лекций "Введение в математическую логику", читаемый деканом механико-математического факультета МГУ академиков РАН О. Б. Лупановым на I курсе мехмата во втором семестре.

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

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

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

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

формат pdf
размер 704.77 КБ
добавлен 29 апреля 2010 г.

Содержание. Высказывания. Формулы логики высказываний. Анализ рассуждений. Метод резолюций для ЛВ. Введению в теорию множеств. Отношения и функции. Основные результаты теории множество. Логика предикатов. Теорема Эрбрана. Метод резолюций для ЛП. Семантический вывод. Теорема Геделя. Модальная логика. Нечеткие логики.

Пономарев В.Ф. Математическая логика. Часть 2. Логика реляционная. Логика нечеткая

формат doc
размер 155.12 КБ
добавлен 14 января 2010 г.

Калининград: КГТУ, 2001. -140 с. Учебное пособие предназначено для студентов университета, изучающих Математическую логику. В нем изложены основные принципы формирования языка, основные правила и механизмы доказательства истинности заключения в реляционной и нечеткой логике. Все доказательства подкреплены множеством примеров. Каждый студент выполняет расчетно-графические работы по реляционной логике. Содержание: Введение 3. Логика реляционная 3...

Презентация - Голованов М.И. Нестандартные логики. Реляционная семантика

Практикум

формат pdf
размер 3.58 МБ
добавлен 01 февраля 2012 г.

Наглядное пособие / Авторы: М.И. Голованов, В.Р. Кияткин, В.В. Рыбаков, Е.М. Юрасова. - Красноярск: СФУ, 2008. - 136 слайдов. Содержание: Введение. Классическая пропозициональная логика. Позитивная логика. Основные теоремы позитивной логики. Немодальные расширения позитивной логики. Расширение логики Lp с помощью константы ? Расширение логики Lp с помощью связки. Трансляции. Свойства некоторых расширений логики Lp. Модальные логики, нормальные...

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

Практикум

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

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

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

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

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