Понедельник, Июль 5th, 2010

МЛОИ

Рассмотренная нами система логического вывода не является строго формальной системой. Ее можно отнести к системам естественного вывода, то есть к системам, в которых вывод строится на основании приведенных правил вывода и «естественного здравого смысла», выражающегося в использовании свойств логических операций, законов и тавтологий логики высказываний, и ранее выведенных (доказанных) формул. Строго формальные системы строятся как чисто синтаксические системы, в которых четко определяются такие понятия как аксиомы, правила вывода, выводимость (или доказуемость). Эти системы называют аксиоматическими системами, или исчислениями.2) Их рассмотрение выходит за рамки нашего пособия. Отметим лишь, что множество выводимых (доказуемых) в исчислении высказываний формул совпадает с множеством тавтологий в логике высказываний. Последнее утверждение носит название теоремы о полноте исчисления высказываний.

Заключение
Таким образом, в ходе лекции были рассмотрены основные понятия логики высказываний: понятие высказывания, истинность и ложность высказываний, простые и составные высказывания. Мы познакомились с основными операциями над высказываниями, со свойствами операций над высказываниями.
На следующей лекции мы познакомимся с применением логики высказываний к анализу структуры математических доказательств и применением логики высказываний к решению задач анализа и синтеза переключательных (контактных) схем.

Доцент кафедры информатики и вычислительной техники Куб ГАУ
А.Стефанович

Лекция №8.
Тема №2: ЭЛЕМЕНТЫ ТЕОРИИ МНОЖЕСТВ
И ЛОГИКИ ВЫСКАЗЫВАНИЙ

Занятие 2.9. Применение логики высказываний

Цель лекции:
1.Рассмотреть применение логики высказываний к анализу структуры математических доказательств.
2. Ознакомить студентов с применением логики высказываний к решению задач анализа и синтеза переключательных (контактных) схем.

Учебные вопросы:
1.Применение логики высказываний к анализу структуры математических доказательств.
2.Применение логики высказываний к решению задач анализа и синтеза переключательных (контактных) схем
Время: 2 часа.
Место: лекционная аудитория
Литература:
1.Колесников Н.Г. Математические и логические основы информатики. Краснодар издат. КубАГУ. 2000г. 224с.
2.Калбертсон Дж. Т. Математика и логика цифровых устройств. -М.: Прсвещение, 1965. -267 с.
3.Кук Д., Бейз Г. Компьютерная математика. – М.: Наука, 1990.
4.Мальцев А.И. Алгебраические системы. – М.: Наука, 1970.
5.Ершов Ю.Л., Палютин Е.А. Математическая логика. – М.: Наука, 1979.
6.Верещагин Н.К., Шень А. Начала теории множеств М.МЦНМО, 1999г., 127 с.

Контрольные вопросы по пройденной теме:
Что такое «множество»? Как можно пояснить это понятие?
Какие множества называют равными? Какие множества называют эквивалентными?
Что такое кардинальное число?
Какие операции выполняются над множествами?
Какими свойствами обладает пустое множество?

Введение

Страницы: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40

Категория: Лекции