Математическая логика
07 Марта 2015 в 22:51, реферат
В данном реферате рассматривается применение дискретной математики в информатике, а также рассмотрены применение математической логики на практических примерах: составлена таблица истинности, нахождение двух производных, конъюнктивная и дизъюнктивная нормальная функция, а также метод неопределенных коэффициентов для построения полинома Жегалкина.
Математическая логика
22 Декабря 2010 в 13:31, курсовая работа
Задача математизации формальной логики была поставлена и осуществлена Лейбницем. Его работу продолжили математики XIX века. На рубеже столетия с открытием противоречий в теории множеств (см. гл. «Теория множеств») развитие математической логики получило широкий размах. В настоящее время результаты математической логики используются во всех традиционных областях формальной логики; открыты совершенно новые области. В настоящее время «традиционная» формальная логика по сравнению с математической логикой имеет значение только для истории науки.
Элементы математической логики
03 Ноября 2017 в 07:01, курсовая работа
Цель исследования: изучить элементы математической логики, коньюнкции и дизъюнкции высказываний и высказывательных форм.
Для реализации поставленной цели был сформулирован следующий круг задач:
рассмотреть основные понятия элементов математической логики;
рассмотреть логические функции одной и двух переменных;
изучить коньюнкцию и дизъюнкцию высказываний;
изучить коньюнкцию и дизъюнкцию высказывательных форм;
Математическая логика и теория алгоритмов
15 Октября 2009 в 13:37
Контрольная работа по дисциплине "Математическая логика и теория алгоритмов"
Математическая логика и теория алгоритмов
15 Октября 2009 в 13:36
Контрольная работа по дисциплине «Математическая логика и теория алгоритмов»