16 слайдов. Логическое высказывание В алгебре логики простым высказываниям ставятся в соответствие логические переменные, обозначаемые прописными буквами латинского алфавита. Виды сложных высказываний Соединительные виды Разделительные виды Условные виды Эквивалентные Высказывания с внешним отрицанием Основная задача математической логики Логические операции Обозначение...
Национальный исследовательский Томский политехнический университет. 2016. 14 слайдов. Презентация к лекции по учебной дисциплине «Математическая логика и теория алгоритмов» Доцент Березовская О.Б. «Множество есть многое, мыслимое нами как единое». Понятие множества Элементы множества Способы задания множества Действия над множествами
Презентация к дипломной работе "Логика предикатов. Приложение к решению задач"Дипломная работа, защищена в МГГУ им. М.А Шолохова в 2010 г. В дипломной работе автор изучила теоретические аспекты и выявила природу "Логики предикатов", определила актуальность проблемы " Логики предикатов " в современных условиях, рассмотрела задачу по «Логике предикатов» и его решение на Прологе....
Национальный исследовательский Томский политехнический университет. 2016. 13 слайдов. Презентация к лекции по учебной дисциплине «Математическая логика и теория алгоритмов» Доцент Березовская О.Б. Аналогичное знание о формах мысли История математической логики Высказывания Операции над высказываниями Таблицы истинности
Национальный исследовательский Томский политехнический университет. 2016. 12 слайдов. Презентация к лекции по учебной дисциплине «Математическая логика и теория алгоритмов» Доцент Березовская О.Б. Объединение множеств (сложение) Свойства операции объединения Пересечение множеств Свойства операции пересечения Операцию объединения и операцию пересечения объединяют два… Разность...
Национальный исследовательский Томский политехнический университет. 2016. 16 слайдов. Презентация к лекции по учебной дисциплине «Математическая логика и теория алгоритмов» Доцент Березовская О.Б. Схемы логически правильных рассуждений Правило заключения - утверждающий модус Правило отрицания - отрицательный модус Правила утверждения - отрицания Правила отрицания – утверждения...
Национальный исследовательский Томский политехнический университет. 2016. 14 слайдов. Презентация к лекции по учебной дисциплине «Математическая логика и теория алгоритмов» Доцент Березовская О.Б. Тавтологии Формулы, принимающие значение “истина” Формулы, принимающие значение “ложь”
Комментарии