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

Математическая логика и теория алгоритмов
2 курс 1 семестр
Аватара пользователя
Артём Мамзиков
Admin
Сообщения: 319
Зарегистрирован: Вс фев 17, 2019 17:47
Репутация: 4
Откуда: Вологодская область
Контактная информация:

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

Сообщение Артём Мамзиков » Пн мар 25, 2019 18:49 #1

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

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

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

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

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

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

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

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

Ответить Вложения 19

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