Главная страница

Курсовая Елфимов МЛ. Курсовой проект по дисциплине Математическая логика и теория алгоритмов Тема Практические задачи математической логики и теории алгоритмов


Скачать 369.02 Kb.
НазваниеКурсовой проект по дисциплине Математическая логика и теория алгоритмов Тема Практические задачи математической логики и теории алгоритмов
Дата03.06.2021
Размер369.02 Kb.
Формат файлаdocx
Имя файлаКурсовая Елфимов МЛ.docx
ТипКурсовой проект
#213505
страница1 из 7
  1   2   3   4   5   6   7


МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ

ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ

ВЫСШЕГО ОБРАЗОВАНИЯ

«ВОРОНЕЖСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ»

(ФГБОУ ВО «ВГТУ», ВГТУ)
Факультет информационных технологий и компьютерной безопасности

(факультет)

Кафедра автоматизированных и вычислительных систем


КУРСОВОЙ ПРОЕКТ

по дисциплине «Математическая логика и теория алгоритмов»  
Тема «Практические задачи математической логики и теории алгоритмов»  
Расчетно-пояснительная записка


Разработал студент

гр. бИВТ - 201 Д. Ю. Елфимов  

Подпись, дата Инициалы, фамилия
Руководитель Ю.С. Акинина  

Подпись, дата Инициалы, фамилия
Нормоконтролер ________________Ю.С. Акинина __

Подпись, дата Инициалы, фамилия

Защищена ____________________ Оценка __________________________________

дата

Воронеж 2020

МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ

ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ

ВЫСШЕГО ОБРАЗОВАНИЯ

«ВОРОНЕЖСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ»

(ФГБОУ ВО «ВГТУ», ВГТУ)

Кафедра автоматизированных и вычислительных систем  
ЗАДАНИЕ

на курсовой проект
по дисциплине «Математическая логика и теория алгоритмов»  

Тема работы «Практические задачи математической логики и теории алгоритмов»  



Вариант работы 13



Студент группы бИВТ-201, Елфимов Дмитрий Юрьевич  

Фамилия, имя, отчество
Технические условия:Windows 10 home, Microsoft Office Word 2016
Содержание и объем работы (графические работы, расчеты и прочее)

страниц, рисунков, таблицы, приложение  
Сроки выполнения этапов Рассмотрение теоретических сведений (); разработка сети (); оформление пояснительной записки ()


Срок защиты курсового проекта июнь 2021 _

Руководитель Ю.С. Акинина  

Подпись, дата Инициалы, фамилия
Задание принял студент Д. Ю. Елфимов   

Подпись, дата Инициалы, фамилия
ЗАМЕЧАНИЯ РУКОВОДИТЕЛЯ

CОДЕРЖАНИЕ



ВВЕДЕНИЕ 5

5

1 Исчисление высказываний 6

1.1 Основные эквивалентности и функции исчисления высказываний 6

1.2 Дизъюнктивная нормальная форма и конъюнктивная нормальная форма 10

2 Перевод высказываний естественного языка на язык алгебры логики 12

Практическое задание №3 13

3 Логический вывод в исчислении высказываний 16

3.1 Метод прямого преобразования 16

3.3 Метод резолюций 18

3.4 Практическое задание №4 19

4 Релейно-контактные схемы 22

5 Исчисление предикатов 24

5.2 Кванторные операции 24

5.2 Равносильности логики предикатов 26

5.3 Предваренная и Сколемовская нормальные форма (ПНФ и СНФ) 27

7 Программирование на языке Пролог 29


ВВЕДЕНИЕ


Термином «логика» называется наука, изучающая формы и законы мышления, способы построения доказательств и опровержений различных утверждений. Логика берет начало от работ древнегреческого философа Аристотеля (384 – 322 г. до н. э.). Он первым обратил внимание на то, что при выводе одних утверждений из других исходят не из конкретного содержания рассуждений, а из взаимоотношения между их формами.

Однако наибольшую известность получили работы Дж. Буля. В 1847 году он публикует брошюру «Математический анализ логики», а в 1854 — свой главный труд по логике «Исследование законов мышления». Как и де Морган, Дж. Буль был одним из тех математиков из Кембриджа, которые признали чисто абстрактную природу алгебры. Они заметили, что простейшие операции над множествами подчиняются законам коммутативности, ассоциативности и дистрибутивности. Оставалось только провести аналогию между объединением и сложением, пересечением и умножением, пустым классом и нулём, универсальным классом и единицей. Работы Буля 1847 и 1854 годов можно считать началом алгебры логики.

Огромную роль в развитии математической логики сыграл Д. Гильберт (1862 – 1943), предложивший программу формализации математики, связанную с разработкой оснований самой математики. Наконец, в последние десятилетия XX века бурное развитие математической логики было обусловлено развитием теории алгоритмов и алгоритмических языков, теории автоматов, теории графов (С.К. Клини, А. Черч, А.А Марков, П.С. Новиков, Гегель и многие другие).

Применение в логике математических методов становится возможным тогда, когда суждения формулируются на некотором точном языке. Такие точные языки имеют две стороны: синтаксис и семантику. Синтаксисом называется совокупность правил построения объектов языка (обычно называемых формулами). Семантикой называется совокупность соглашений, описывающих наше понимание формул (или некоторых из них) и позволяющих считать одни формулы верными, а другие — нет.

  1   2   3   4   5   6   7


написать администратору сайта