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