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

Для 3 курса, группы 611

Преподователь - Романюк Андрей Иванович

Общее количество часов по учебному плану на дисциплину - 90 ч.

Количество часов по учебному плану на 2009/2010 учебный год 90 ч.

Из них:

Лекция 90 ч.

Лабораторные -0

Составлен в соответствии с учебной рабочей программой, утвержденной

<<_____>>_________________ _____г.

________________________________________________________________

(кем утверждена программа)

Рассмотрим на заседании цикловой комиссии

<< Информационные технологии >>

Протокол от <<____>> ___________________ г. №__________

Председатель цикловой комиссии _____________ Подпись _________

Перечень лекционных занятий

№ зан.	Наименование лекционных занятий	Кол-во часов
1.	Введение в основные Элементы Математической логики. ( Экскурс в историю логики. Виды высказываний. Диаграммы Эйлера-Вена. Четыре фигуры силлогизмов.
2.	Виды высказываний (ЭМЛ). Теория Эйлера-Вена.
3.	Логический квадрат. Логическое сложение и умножение.
4.	Логические высказывания и действия над ними. Понятие высказывания. Что есть истина? Конъюнкция, дизъюнкция, импликация и другие операции алгебры логики.
5.	Формулы алгебры высказываний.Тавтологии. Операции в алгебре логики. Тавтологии – формулы алгебры высказываний, которые всегда верны.
6.	Эквивалентные преобразования логических формул. Свойства логических формул содержащих конъюнкцию и дизъюнкцию. Свойства логических формул, содержащих импликацию. Свойства логических формул, содержащих эквивалентность. Выражение одних операций через другие. Логически равносильные формулы.
7.	Нормальная форма алгебры высказываний. Конъюнктивные и дизъюнктивные одночлены. Дизъюнктивная нормальная форма.
8.	Нормальная форма алгебры высказываний. Конъюнктивные и дизъюнктивные одночлены. Дизъюнктивная нормальная форма.
9.	Нормальная форма алгебры высказываний. Конъюнктивная и дизъюнктивная нормальные формы. Совершенные нормальные формы.
10.	Логическое следование формул Понятие логического следствия. Свойства логического следования. Метод резолюций.
11.	Правила логических умозаключений. Модусы. Утверждающий и отрицающий модусы. Утверждающе-отрицающий и отрицающе- утверждающий модусы. Простые и сложные конструктивные и деструктивные дилеммы. Правила введения и удаления дизъюнкции, конъюнкции, эквивалентности и двойного отрицания.
12.	Булева алгебра. Булевы функции. Действия с двоичными числами ограниченной длины.
	Замкнутые классы функций Функции, сохраняющие ноль. Функции, сохраняющие единицу. Самодвойственные функции. Линейные функции. Монотонные функции.
14.	Полные системы функций Теорема полноты Поста. Минимальная полная система функций. Базис.
Итого за семестр 78

ВОПРОСЫ К ЗАЧЕТУ 611 гр.

1. Экскурс в историю логики (МЛ). Виды высказываний.

2. Диаграммы Эйлера-Вена.

3. Четыре фигуры силлогизмов.

Дата добавления: 2015-07-10