Решенный 7 вариант
Методичка распознана через ABBYY FineReader 11
И просто перегнана в текст для подхвата поисковыми системами
Вологодский государственный технический университет Кафедра высшей математики
МАТЕМАТИЧЕСКАЯ ЛОЕИКА
Методические указания и контрольные работы для студентов заочной формы обучения
Вологда 2011
ПРАВИЛА ВЫПОЛНЕНИЯ И ОФОРМЛЕНИЯ КОНТРОЛЬНЫХ РАБОТ При выполнении контрольных работ необходимо строго придерживать¬ся указанных ниже правил.
1. Студент должен выполнять контрольные задания по варианту, номер кото¬рого совпадает с последней цифрой его шифра - номера его зачетной книжки.
2. Каждая контрольная работа должна быть выполнена в отдельной тетради в клетку (чернилами синего или черного цвета).
3. Образец оформления титульного листа (обложки) тетради приведен на доске объявлений деканата ФЗДО.
4. В работу должны быть включены все задачи, указанные в задании. Работы, содержащие не все задачи задания, а также задачи не своего варианта, не рецензируются.
5. Задачи нужно решать в том порядке, в котором они указаны в контрольной работе.
6. Перед решением каждой задачи надо полностью выписать ее условие.
7. Решение задач следует излагать подробно и аккуратно, объясняя и мотиви¬руя все действия по ходу решения и делая необходимые чертежи (рисун¬ки).
8. Компьютерное оформление работы не рецензируется.
9. Выполненная контрольная работа сдается на кафедре в первый день зим¬ней сессии.
Задания
контрольных работ
Задание № I. Даны множества А и В. Найти:
Задание № 2. Доказать равенство множеств.
Задание № 3. Дано бинарное отношение R на множестве А
Задание № 4. С помощью равносильных формул (элементарных тавтологий) доказать тождественно истинность данной формулы (При решении ссылаться на номер формулы из перечня равносильных формул).
Задание № 5. Используя основные тавтологии, построить рав¬носильные данной формуле ДНФ и КНФ. (При решении ссылаться на номер формулы из перечня равносильных формул).
Задание № 6. Построив таблицу истинности данной формулы, построить равносильные ей СДНФ и СКНФ.
Задание № 7. Для данной формулы алгебры высказываний по-строить многочлен Жегалкина.
Задание № 8. Упростить данную релейно-контактную схему
Математическая логика и теория алгоритмов
Математическая логика и теория алгоритмов
2 курс 1 семестр
2 курс 1 семестр
- Артём Мамзиков
- Admin
- Сообщения: 847
- Стаж: 5 лет 7 месяцев
- Откуда: Вологодская область
- Поблагодарили: 37 раз
- Контактная информация:
Артём Мамзиков
Вернуться в «Математическая логика и теория алгоритмов»
Перейти
- Информационные технологии
- ↳ Заббикс Zabbix
- ↳ Навигация по разделам Zabbix
- ↳ Установка Debian
- ↳ Установка Заббикс и Дополнений
- ↳ Windows
- ↳ Шаблоны Заббикс
- ↳ Windows, Server
- ↳ Active Directory
- ↳ Аппаратное обеспечение Общее для всех систем
- ↳ СЕРВЕРА
- ↳ HP
- ↳ IBM
- ↳ INTEL
- ↳ DELL
- ↳ Kraftway
- ↳ Supermicro
- ↳ OS Операционные системы
- ↳ Virtual Machine Виртуальные Машины
- ↳ Proxmox
- ↳ Hyper-V
- ↳ KVM - Виртуальная машина
- ↳ VMware
- ↳ DNS Service
- ↳ JMX
- ↳ Мониторинг Сессий Пользователей в OS
- ↳ ВКС видеоконференцсвязь
- ↳ Zimbra
- ↳ Коммутаторы Маршрутизаторы Роутеры
- ↳ Питание: Измерение распределение блоки питания; ИБП
- ↳ Веб Проверки
- ↳ Файлы и Папки
- ↳ Файловые Хранилища NAS
- ↳ Базы Данных/Databases
- ↳ VipNet
- ↳ Офис OFFICE
- ↳ SNMP
- ↳ Прочие различные шаблоны
- ↳ Zabbix Прикладная программа
- ↳ Templates/Modules
- ↳ Преобразования в Zabbix
- ↳ API Zabbix
- ↳ Тестирование
- ↳ Вопросы по Zabbix
- ↳ Linux
- ↳ MySql
- ↳ Windows
- ↳ OCS INVENTORY
- ↳ Keenetic
- ↳ Скрипты
- ↳ Сканирование сети получение Логина пользователя
- ↳ Потоковое цифровое аудио и видеовещание
- ↳ PROXY Прокси
- ↳ Moodle
- ↳ PHPBB - Форумный Движок
- ↳ Расширения для PHPBB
- ТВ Фильмы Сериалы
- ↳ Smart TV
- ↳ Android
- ↳ Windows
- Прочее
- ↳ Из учёбы Информатика и вычислительная техника
- ↳ Операционные системы
- ↳ Инженерная графика
- ↳ Культурология
- ↳ Математика
- ↳ Физика
- ↳ Программирование
- ↳ Философия техники
- ↳ История автоматики и вычислительной техники
- ↳ Алгебра и Геометрия
- ↳ Дискретная математика
- ↳ Математическая логика и теория алгоритмов
- ↳ Электротехника
- ↳ Программирование
- ↳ Графическое программирование
- ↳ История
- ↳ Операционные системы
- ↳ Персональные компьютеры
- ↳ Программируемая логика
- ↳ ЭВМ и Периферийные устройства
- ↳ Электроника и схемотехника
- ↳ Базы данных
- ↳ микропроцессорные системы
- ↳ Основы теории надежности
- ↳ Основы теории управления ТАУ САУ
- ↳ Социология
- ↳ Теория вероятности
- ↳ Технология программирования
- ↳ Моделирование систем
- ↳ Объектно-орентир. программирование
- ↳ Программирование на АССЕМБЛЕРЕ
- ↳ САПР системы автоматизированного проектирования
- ↳ Программирование Web
- ↳ Сети и телекоммуникации
- ↳ Системное программное обеспечение
- ↳ Защита информации
- ↳ Системы организации производства
- ↳ Психология и педагогика
- ↳ ВКР
- Электрика
- ↳ 220V электрика
- Сантехника
- ↳ Раздел по сантехнике
- ↳ Ваша первая категория
- ↳ Ваш первый форум
- Другое
- Из рубрики частного дома