400

Математическая логика. Контрольная работа (вариант 20)

ID: 135637
Дата закачки: 07 Февраля 2014
Продавец: margarit04ka (Напишите, если есть вопросы)
    Посмотреть другие работы этого продавца

Тип работы: Задачи
Форматы файлов: Microsoft Word
Сдано в учебном заведении: Санкт – Петербургский государственный технический университет

Описание:
Контрольная работа

Задание к контрольной работе № 1
Исследовать на равносильность формулы f1, f2 и f3, заданные в дизъюнктивной нормальной форме, двумя способами:
1) путем их представления (на основе равносильных формул алгебры логики) в виде совершенных конъюнктивных нормальных форм с подтверждением правильности реструктуризации исходных формул построением их таблиц истинности;
2) путем представления заданных формул f1, f2 и f3 в виде полиномов Жегалкина, формируемых двояко: а) на основе формулы Жегалкина; б) на основе метода неопределенных коэффициентов.

Задание к контрольной работе № 2. Часть 1.
1) Методом от противного выяснить, верно ли предложенное логическое следование. Справедливость полученного вывода подтвердить решением этой же задачи на основе определения понятия логического следования.
2) Найти все не равносильные между собой и не тождественно истинные формулы алгебры высказываний, являющиеся логическими следствиями заданных формул-посылок F1, F2,….
3) Найти все не равносильные между собой и не тождественно ложные формулы алгебры высказываний, для которых заданная формула G является логическим следствием.
Задание к контрольной работе № 2. Часть 2.
4) Построить релейно-контактную схему, заданную формулой А, и определить ее функцию проводимости; провести минимизацию схемы.
5) Вывести формулу для указанного ряда Sn и обосновать ее справедливость методом математической индукции.

Задание к контрольной работе № 3
1. Составить программу, таблицу соответствия и граф алгоритма для машины Тьюринга по заданной начальной и конечной конфигурации, используя алфавит A={|,#}.
2. Проверить решение на некоторых значениях аргументов.

Комментарии: Методические указания к выполнению контрольных работ для студентов заочной формы обучения
направления подготовки "Информатика и вычислительная техника"

Размер файла: 113,8 Кбайт
Фаил: (.rar)
-------------------
Обратите внимание, что преподаватели часто переставляют варианты и меняют исходные данные!
Если вы хотите, чтобы работа точно соответствовала, смотрите исходные данные. Если их нет, обратитесь к продавцу или к нам в тех. поддержку.
Имейте ввиду, что согласно гарантии возврата средств, мы не возвращаем деньги если вариант окажется не тот.
-------------------

Скачать

Добавить в корзину

Занесено в корзину

        Коментариев: 0

Есть вопросы? Посмотри часто задаваемые вопросы и ответы на них.
Опять не то? Мы можем помочь сделать!

Некоторые похожие работы:

Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №20
Математическая логика и теория алгоритмов. Контрольная работа. Вариант №9
Контрольная работа и Лабораторные работы №1,2,3 по дисциплине: Теория риска и моделирование рисковых ситуаций. Вариант №6
Цифровая экономика /Тест 6 / Тест 7 / Тест 8 / Итоговый тест / Компетентностный тест (ответы на тесты Синергия, МОИ, МТИ, МосАП)
Цифровая экономика > Тест 6 / Тест 7 / Тест 8 / Итоговый тест / Компетентностный тест (ответы на тесты Синергия / МОИ / МТИ / МосАП).
Контрольная работа № 1 по дисциплине: Математическая логика и теория алгоритмов. Вариант №20
Контрольная работа по дисциплине "Математическая логика". Вариант №20
Ещё искать по базе с такими же ключевыми словами.