Программа «Логик теоретик» ипрограммы, близкие к ней. Возникновение языка пролог и его развитие

Вид материала

Программа

Содержание Примерные домашние задания по дисциплине Домашнее задание № 3 Домашнее задание № 4 Домашнее задание № 5 Домашнее задание № 6

Подобный материал:

• Концепция языка Пролог и сферы его применения. Процедурная и декларативная трактовка, 31.15kb.
• Программа реформирования бухгалтерского учета Возникновение экономического анализа, 17.22kb.
• Русская культура в XVII веке основные исторические события, 79.5kb.
• Язык Пролог Пролог (Prolog), 180.88kb.
• Программа курса для специальности 032600 «учитель истории», 266.62kb.
• Удк ???? Об одном классе логик аргументации*, 180.76kb.
• Г. Рубцовск Маленьким детям еще недоступно в полном объеме понятие о Родине,, 157.21kb.
• Программа дисциплины общая часть раздел Возникновение международного права и периодизация, 267.81kb.
• Ультразвуковая терапия, 67.35kb.
• Работа со списками в языке Пролог Рекурсия в Прологе, 175.74kb.

Математическая логика

Примерный перечень вопросов к экзамену

1. Логика и интуиция.
   
2. Логика традиционная и математическая логика.
   
3. Математическая логика – логика или математика?
   
4. Математическая логика в обучении математике.
   
5. Математическая логика и современные ЭВМ.
   
6. Высказывания. Основные логические операции над высказываниями.
   
7. Союзы языка и логические операции (язык и логика).
   
8. Понятие формулы. Конструирование сложных формул.
   
9. Тождественно истинные, тождественно ложные и выполнимые формулы АВ.
   
10. Составление таблиц истинности для формул.
    
11. Классификация формул АВ.
    
12. Мышление и математическая логика.
    
13. Понятие равносильности формул.
    
14. Признак равносильности формул.
    
15. Некоторые равносильные формулы.
    
16. Равносильные преобразования формул АВ.
    

Примерные темы рефератов

1. Программа «Логик - теоретик» и программы, близкие к ней.
   
2. Возникновение языка ПРОЛОГ и его развитие.
   
3. Математическая логика и системы искусственного интеллекта.
   
4. Всесильна ли логика в познании законов мышления.
   
5. Математическая логика и программное обеспечение.
   
6. Логика как наука.
   
7. Математическая логика и информатика.
   

ПРИМЕРНЫЕ ДОМАШНИЕ ЗАДАНИЯ ПО ДИСЦИПЛИНЕ

“МАТЕМАТИЧЕСКАЯ ЛОГИКА”


РАЗДЕЛ I: АЛГЕБРА ВЫСКАЗЫВАНИЙ


ДОМАШНИЕ ЗАДАНИЯ №№ 1, 2

Тема: Высказывания и логические операции над высказываниями.

Тема: Формулы алгебры высказываний, их истинностные значения и классификация. Основные законы логики.

1. 
   Теория: Формулы алгебраических высказываний и их классификация, истинностные значения. Основные законы логики.
   
2. Упражнения: [1]: № № 1.9, 1.11; 1.15 – 1.21; [4]: № № 1; 2 (ч.II, § 1).
   

ДОМАШНЕЕ ЗАДАНИЕ № 3

Тема: Равносильные формулы алгебры высказываний и

равносильные преобразования формул.

1. 
   Теория: Равносильные формулы, равносильные преобразования формул.
   
2. Упражнения: дать классификацию следующих формул, используя таблицы истинности: 1) (A ® B) ® ((A ® (В ® С)) ® (А ® С)) ,
   

2) , 3) (А®)®(В®С) ÙÙ, 4)


ДОМАШНЕЕ ЗАДАНИЕ № 4

Тема: Совершенные нормальные формы.

Представление функций алгебры высказываний формулами.

1. 
   Теория: Совершенные нормальные формы. Представление функций алгебры высказываний формулами.
   
2. Упражнения: [1]: № № 2.3 (в,г), 2.4 (в,г).
   

ДОМАШНЕЕ ЗАДАНИЕ № 5

Тема: Логическое следование.

Правильные и неправильные рассуждения.

Виды математических предложений.

Необходимые и достаточные условия.

1. 
   Теория: Логическое следование, виды предложений, правильные и неправильные рассуждения, необходимые и достаточные условия.
   
2. Упражнения: [1]: № № 2.1(б,е), 2.2(б,ж).
   

ДОМАШНЕЕ ЗАДАНИЕ № 6

Тема: Применение алгебры высказываний к описанию

релейно-контактных схем.

1. 
   Теория: Применение алгебры высказываний к описанию РКС.
   
2. Упражнения: [1]: № № 3.24; 3.40; 3.42.
   

Примерный перечень дополнительных задач для подготовки к контрольным работам

1. 
   Доказать дистрибутивный закон конъюнкции относительно дизъюнкции и дизъюнкции относительно конъюнкции.
   

2. Расположить формулы так, чтобы из каждой логически следовали все, стоящие после нее: , , .
   

3. Методом «от противного» выяснить, верны ли следующие логические следования:
   

а) , , |= , б) , , |=

4. С помощью равносильных преобразований получить СДНФ и СКНФ для формул: а) , б) .
   

5. Упростить: .
   

6. Отнести отрицания к внутренним предикатам:
   

а) , ти отрицания к внутренним пбразований получить СДНФ и СКНФ для формул:______________________________________________________ б)

7. Записать на языке логики предикатов:
   

а) Определение трапеции.

б) Определение параллельных прямых.

в) Определение простого числа.