Вопросы к зачёту по дисциплине

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

Решение

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

• Курс специальности «Математика», 7 семестр, 2011-2012 уч г., Одо требования к зачету, 39.3kb.
• Вопросы к зачету по дисциплине «Учет затрат, калькулирование и бюджетирование в отраслях, 15.03kb.
• Вопросы к дифференцированному зачету II этапа аттестации, 36.22kb.
• Вопросы к зачету, 127.77kb.
• Вопросы к зачету по дисциплине, 10.35kb.
• Вопросы к зачету по дисциплине «Культурология», 8.01kb.
• Вопросы для подготовки к зачету по дисциплине, 23.03kb.
• Вопросы к зачету По дисциплине «Юридическая психология», 17.82kb.
• Вопросы для подготовки к зачету по дисциплине, 10.8kb.
• Вопросы к зачету по дисциплине «Правовое регулирование хозяйственной деятельности», 20.12kb.

Вопросы к зачёту по дисциплине

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

специальность «Информатика» (5,5)

физико-математический факультет, ОЗО

V курс 10 семестр

2010-2011 учебный год

1. Высказывания. Операции над высказываниями.
   
2. Формулы алгебры высказываний. Таблицы истинности.
   
3. Равносильные формулы. Основные равносильности алгебры высказываний.
   
4. Решение логических задач с помощью алгебры высказываний.
   
5. Булевы функции. Равенство функций и равносильность формул.
   
6. Дизъюнктивные и конъюнктивные нормальные формы.
   
7. Классификация ДНФ. Минимизация булевых функций.
   
8. Совершенные нормальные формы.
   
9. Приложение алгебры логики Буля к релейно-контактным схемам.
   
10. Полином Жегалкина.
    
11. Линейные и нелинейные функции.
    
12. Операция замыкания.
    
13. Основные замкнутые классы.
    
14. Полнота систем булевых функций.
    
15. Предикаты. Операции над предикатами.
    
16. Применение логики предикатов в информатике.
    

Преподаватель

ведущий доцент кафедры,

к. п. н., доцент Е. В. Клименко


Зав. кафедрой О. С. Зайцева