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