4. Объём дисциплины и виды учебной работы (часы):

Виды учебной работы	Всего часов	Семестры
		1
Аудиторные занятия	72	72
Лекции	36	36
Практические занятия (ПЗ)	32	32
Семинары (С)	-
Лабораторные работы (ЛР)	-
Контрольные работы	4	4
Другие виды аудиторных занятий (тактические занятия, учения, специальные игры, индивидуальные занятия)	-
Самостоятельная работа	72	72
Курсовая работа (проект)	-
Реферат	-
Домашняя работа (задание)	10	10
Самостоятельная проработка учебного материала	62	62
Другие виды самостоятельной работы	-
Вид итогового контроля	36	Экзамен
Общая трудоемкость дисциплины часы	144+36	144+36
Кредитные единицы	4+1

5. Содержание дисциплины

5.1. Содержание разделов (тем) дисциплины

Тема 1. Введение в математический язык

1. Переменная

Буква, алфавит, слово, язык. Выражение. Константа. Переменная, область значений (определения), тип переменной, числовая, высказывательная, истинностная, натуральная, рациональная, комплексная, вещественная константа и переменная. Форма, свободное и связанное вхождения переменной, арность (местность), допустимое значение переменной (относительно формы), частично, всюду и нигде не определённая формы, зависимость формы от переменной, значение формы при заданных значениях переменных, равносильность форм, тип формы, числовая и высказывательная формы. Имя. Разные смыслы употребления знака = : два имени одного предмета, уравнение, равносильность, определение, отождествление.

2. Высказывания и логические союзы.

Высказывание; союзы: или, и, не, если-то, необходимо и достаточно, если и только если, тогда и только тогда, необходимо, достаточно, тогда, только тогда, если (в определении), обозначения; термины: условие (посылка), заключение, обратная теорема, взаимно обратные теоремы, взаимно противоположные теоремы, необходимое условие, достаточное условие; закон контрапозиции.

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

4. Предикаты и кванторы

Расчленение высказывания на предикат и субъект. Зависимость истинностного значения предиката от значения субъекта. Кванторы общности и существования.

5. Элементы логики предикатов и их применение в математических доказательствах.