Добавил:
Rumpelstilzchen
Rumpelstilzchen2018@yandex.ru
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:2-й семестр / Лекция 10.pptx
Математическая логика
Группы: ИВБО-07-19,08- 19,09-19,11-19,12-19, (вторник 10-40; ИКБО-01-19,03-19,13-19,20- 19,(вторник-14-40); ИНБО-01-19,02-19,04-19,07- 19 (среда-14-50); ИКБО-06-19,07-19,11-19,12- 19,25-19 (четверг 16-30)
Чижиков Валерий Иванович
Темы лекции:
2. Аксиоматический подход к построению теорий. Булевы алгебры. Исчисление высказываний
2.1Булевы алгебры
2.2Аксиоматическое построение исчисления высказываний
2.3Свойства понятия выводимости из посылок
2.4Примеры формального аксиоматического построения ИВ. Непротиворечивость теорий
2. Аксиоматический подход к построению теорий. Булевы алгебры. Исчисление высказываний
2.1 Булевы алгебры
Аксиоматическое построение исчисления высказываний
2.3 Свойства понятия выводимости из посылок
2.4 Примеры формального аксиоматического построения ИВ. Непротиворечивость теорий
