Контрольная работа по дисциплине: Математическая логика.

Цена:
350 руб.

Состав работы

material.view.file_icon B8D26DC5-88E5-47F1-9190-1D54B72C3B97.doc [ 168 KB ]
Работа представляет собой файл, который можно открыть в программе:
  • Microsoft Word

Описание

Задание 2. Привести следующие формулы к минимальной КНФ.

3. ;

Задание 3.Проверить правильность логического вывода методом прямого преобразования, методом семантических таблиц и методом резолюций.
15. ;

Задание 4.Минимизировать логическую функцию F(a, b, c), заданную ТИ (табл.1), с помощью четырех методов:
1. Методом Квайна;
2. Методом испытания импликант;
3. Методом импликантных матриц;
4. Методом карт Карно.
Сравнить полученные минимизированные формы функции.

Таблица 1- ТИ функции Fi, i=21
a b c F21
0 0 0 1
0 0 1 1
0 1 0 0
0 1 1 0
1 0 0 0
1 0 1 1
1 1 0 0
1 1 1 1

 Задание 6.Привести формулы к предваренной нормальной форме (ПНФ) и сколемовской нормальной форме (СНФ)
21.


=============================================

Дополнительная информация

Оценка: Отлично
Дата оценки: 05.10.2023г.

Помогу с вашим онлайн тестом, другой работой или дисциплиной.
E-mail: sneroy20@gmail.com
E-mail: ego178@mail.ru

Похожие материалы

Контрольная работа по дисциплине: математическая логика и теории алгоритмов
Задание по математической логике и теории алгоритмов Исчисление высказываний 1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой. 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций. Варианты 1. Если человек обедает в кафе быстрого питания, то он голоден и куда-то торопится. Человек не обедает в кафе быстрого питания, хотя и очень торопится. Значит, он не
ДО СИБГУТИ Математическая логика и теория алгоритмов Работа Контрольная
User Necron04 : 30 марта 2021
500 руб.
Контрольная работа по дисциплине "Математическая логика". Вариант №20
1) Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций. 2) Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты: 1. E(x, y) = И <=> x и y – один и тот же человек; 2. P(x, y) = И <=> x родитель y; 3. C(x, y) = И <=> x и y – супруги; 4. M(x) = И <=> x – мужчина; 5. W(x) = И <=> x – женщина. С использованием этих предикатов записать формулы, выражающие следующее утверждения: Некоторые супруги бездетны 3) Привести формулу к п
Математика вычислительная Работа
User sinikiss : 19 сентября 2013
150 руб.
Контрольная работа по дисциплине "Математическая логика". Вариант №20
Контрольная работа по дисциплине «Математическая логика и теория алгоритмов»
1) Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций. 2) Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты: E(x, y) = И <=> x и y – один и тот же человек; P(x, y) = И <=> x родитель y; C(x, y) = И <=> x и y – супруги; M(x) = И <=> x – мужчина; W(x) = И <=> x – женщина. С использованием этих предикатов записать формулы, выражающие следующие утверждения: X – прабабушка. 3) Привести формулу к предваренной форме 4) Пос
Математика СибГУТИ Работа Контрольная
User m9c1k : 16 июля 2010
270 руб.
Контрольная работа по дисциплине «Математическая логика и теория алгоритмов»
КОНТРОЛЬНАЯ РАБОТА по дисциплине «Математическая логика и теория алгоритмов» Вариант 6
Вариант №6 Задача 1. Построить таблицу истинности логической формулы. Задача 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции. Задача 3. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме. Для каждого преобразования указать, какие равносильности были использованы. Для итоговой формулы указать свободные и связанные переменные. Задача 4. На координатной плоскости даны множества A и B
СибГУТИ Математическая логика и теория алгоритмов Работа Контрольная
User MehVV : 31 октября 2025
300 руб.
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант 2
Вариант 2 Задание №1. Логика высказываний Данное высказывание записать в виде формулы логики высказываний. Построить отрицание данного высказывания в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык. Тело, лишённое опоры, падает на землю. Задание №2. Логика предикатов Данное суждение записать в виде формулы логики предикатов. Построить отрицание данного суждения в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык. Некоторые
ДО СИБГУТИ Математическая логика и теория алгоритмов Работа Контрольная
User Учеба "Под ключ" : 7 июля 2025
1000 руб.
promo
Контрольная работа По дисциплине: Математическая логика и теория алгоритмов Вариант 4
Задание по математической логике и теории алгоритмов Исчисление высказываний 1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой. Варианты 4) 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций. Варианты 4. Если бы он хорошо знал английский язык или хотя бы она говорила помедленней, то он бы ее понял. Но он ее не понял. Значит, она как всегда го
ДО СИБГУТИ Математическая логика и теория алгоритмов Работа Контрольная
User Nitros : 28 июня 2025
450 руб.
Контрольная работа По дисциплине: Математическая логика и теория алгоритмов Вариант 4
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №9
ЗАДАНИЕ No1: ЛОГИКА ВЫСКАЗЫВАНИЙ. Данное высказывание записать в виде формулы логики высказываний. Построить отрицание данного высказывания в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык. Вариант 9. Если число делится на 3, то сумма его цифр делится на 3. ЗАДАНИЕ No2: ЛОГИКА ПРЕДИКАТОВ. Данное суждение записать в виде формулы логики предикатов. Построить отрицание данного суждения в виде формулы, не содержащей внешних знаков отрицания. Перевести на естест
ДО СИБГУТИ Математическая логика и теория алгоритмов Работа Контрольная
User holm4enko87 : 20 ноября 2024
350 руб.
promo
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант 12
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой (см. скрин). 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций. Намеченная атака удастся, только если захватить противника врасплох или же если он беспечен. Захватить его врасплох можно только, если он беспечен. Значит, атака удастся. 3. Пользуясь определением формулы логики предикатов проверить, что выраж
ДО СИБГУТИ Математическая логика и теория алгоритмов Работа Контрольная
User holm4enko87 : 11 ноября 2024
700 руб.
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант 12 promo

Другие работы

Проект участка мойки автомобиля в АТП ОАО «Автотранс» с разработкой установки для мойки легковых автомобилей
ВВЕДЕНИЕ 4 1.ОБОСНОВАНИЕ ТЕМЫ ПРОЕКТА 6 1.1. Места образования сточных вод. 6 1.2. Вещества, содержащиеся в сточных водах. 6 1.3. Основные направления в способах очистки сточных вод, образующихся в процессе мойки автомобилей. 6 1.4. Способы очистки сточных вод, обеспечивающие оборотное водоснабжение. 7 2. СХЕМЫ СИСТЕМ ОБОРОТНОГО ВОДОСНАБЖЕНИЯ. 12 2.1. Обзор систем. 12 2.2. Система рециркуляции воды для автомобильных моек фирмы Karcher (Германия). 12 2.3. Установка для мойки легковых автомобилей
******* Не известно Диплом и связанное с ним Дипломные проекты
User Рики-Тики-Та : 20 декабря 2015
825 руб.
Техническая термодинамика и теплопередача ГАУСЗ (ТГСХА) Задача 4 Вариант 19
Определить потери тепла за 1 час с одного метра длины горизон­тально расположенной цилиндрической трубы, охлаждаемой свободным потоком воздуха, если известны наружный диаметр d трубы, температура стенки трубы tc температура воздуха tв в помещении. Контрольный вопрос. Какими основными безразмерными числами (критериями) подобия определяется конвективная теплопередача и каков физический смысл этих чисел подобия?
Задачи Теплотехника
User Z24 : 25 декабря 2025
150 руб.
Техническая термодинамика и теплопередача ГАУСЗ (ТГСХА) Задача 4 Вариант 19
Основы гидравлики и теплотехники МИИТ Задача 2.4 Вариант 4
Компрессор всасывает 100 м³/ч воздуха при давлении р1. Конечное давление воздуха составляет р2. Определить мощность двигателя в кВт для привода компрессора при изотермическом сжатии.
Задачи Гидравлика
User Z24 : 16 октября 2025
120 руб.
Основы гидравлики и теплотехники МИИТ Задача 2.4 Вариант 4
Теплотехника Задача 21.30 Вариант 14
Определить холодильный коэффициент паровой аммиачной установки (с дросселем) по известной температуре влажного пара NH3 на входе в компрессор t1 и температуре сухого насыщенного пара NH3 за компрессором t2. По заданной холодопроизводительности Q0 определить также массовый расход аммиака и теоретическую мощность привода компрессора. Изобразить схему установки и её цикл в T-s диаграмме.
Задачи Теплотехника
User Z24 : 24 января 2026
200 руб.
Теплотехника Задача 21.30 Вариант 14
up Наверх