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

Математическая логика и теория алгоритмов
2 курс 1 семестр
Аватара пользователя
Артём Мамзиков
Admin
Сообщения: 367
Стаж: 2 года 9 месяцев
Откуда: Вологодская область
Контактная информация:

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

Сообщение Артём Мамзиков »

Решенный 7 вариант
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
10
10
11
11
12
12
13
13
14
14
15
15
16
16
17
17
18
18
19
19
Методичка распознана через ABBYY FineReader 11
И просто перегнана в текст для подхвата поисковыми системами
Вологодский государственный технический университет Кафедра высшей математики
МАТЕМАТИЧЕСКАЯ ЛОЕИКА
Методические указания и контрольные работы для студентов заочной формы обучения
Вологда 2011
ПРАВИЛА ВЫПОЛНЕНИЯ И ОФОРМЛЕНИЯ КОНТРОЛЬНЫХ РАБОТ При выполнении контрольных работ необходимо строго придерживать¬ся указанных ниже правил.
1. Студент должен выполнять контрольные задания по варианту, номер кото¬рого совпадает с последней цифрой его шифра - номера его зачетной книжки.
2. Каждая контрольная работа должна быть выполнена в отдельной тетради в клетку (чернилами синего или черного цвета).
3. Образец оформления титульного листа (обложки) тетради приведен на доске объявлений деканата ФЗДО.
4. В работу должны быть включены все задачи, указанные в задании. Работы, содержащие не все задачи задания, а также задачи не своего варианта, не рецензируются.
5. Задачи нужно решать в том порядке, в котором они указаны в контрольной работе.
6. Перед решением каждой задачи надо полностью выписать ее условие.
7. Решение задач следует излагать подробно и аккуратно, объясняя и мотиви¬руя все действия по ходу решения и делая необходимые чертежи (рисун¬ки).
8. Компьютерное оформление работы не рецензируется.
9. Выполненная контрольная работа сдается на кафедре в первый день зим¬ней сессии.
Задания
контрольных работ
Задание № I. Даны множества А и В. Найти:

Задание № 2. Доказать равенство множеств.

Задание № 3. Дано бинарное отношение R на множестве А

Задание № 4. С помощью равносильных формул (элементарных тавтологий) доказать тождественно истинность данной формулы (При решении ссылаться на номер формулы из перечня равносильных формул).

Задание № 5. Используя основные тавтологии, построить рав¬носильные данной формуле ДНФ и КНФ. (При решении ссылаться на номер формулы из перечня равносильных формул).

Задание № 6. Построив таблицу истинности данной формулы, построить равносильные ей СДНФ и СКНФ.

Задание № 7. Для данной формулы алгебры высказываний по-строить многочлен Жегалкина.

Задание № 8. Упростить данную релейно-контактную схему
количество слов: 42

Вернуться в «Математическая логика и теория алгоритмов»