Математическая логика. Контрольная работа
-
Категории:
Математика, СибГУТИ, Работа Контрольная
-
Добавлен:
05.04.2011
-
Размер:
17 KB
-
Покупок:
8
-
Добавил:
zhdv
Написать сообщение
Скачать
Состав работы
|
Контр_логика_исправ.doc
|
Работа представляет собой rar архив с файлами (распаковать онлайн), которые открываются в программах:
- Microsoft Word
Описание
Вариант 5.
1.Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
2. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
3. Привести формулу к предваренной форме
4. Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. ( x , y ,z ≥ 1) Проверить работу машины Тьюринга для конкретных значений x , y , z .
5.Показать примитивную рекурсивность функции f(x,y)
1.Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
2. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
3. Привести формулу к предваренной форме
4. Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. ( x , y ,z ≥ 1) Проверить работу машины Тьюринга для конкретных значений x , y , z .
5.Показать примитивную рекурсивность функции f(x,y)
Дополнительная информация
Вариант 5.
Оценка Отлично.
Оценка Отлично.
Похожие материалы
Контрольная работа по дисциплине: Математическая логика.
IT-STUDHELP
: 5 октября 2023
Задание 2. Привести следующие формулы к минимальной КНФ.
3. ;
Задание 3.Проверить правильность логического вывода методом прямого преобразования, методом семантических таблиц и методом резолюций.
15. ;
Задание 4.Минимизировать логическую функцию F(a, b, c), заданную ТИ (табл.1), с помощью четырех методов:
1. Методом Квайна;
2. Методом испытания импликант;
3. Методом импликантных матриц;
4. Методом карт Карно.
Сравнить полученные минимизированные формы функции.
Таблица 1- ТИ функции Fi,
IT-STUDHELP
: 5 октября 2023
350 руб.
Математическая логика и теория алгоритмов - Контрольная работа
Дарья140
: 4 января 2024
Контрольная работа "Математическая логика и теория алгоритмов" вариант 2
Дарья140
: 4 января 2024
300 руб.
Контрольная работа по математической логике. Вариант №1
Druzhba1356
: 2 декабря 2014
Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций
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. Привести формулу к предваренной форме
4. Построить машину Тьюринга для перевода из одной конфигурации в другую.
. На ленте всех ма
Druzhba1356
: 2 декабря 2014
100 руб.
Математическая логика. Контрольная работа (вариант 20)
margarit04ka
: 7 февраля 2014
Контрольная работа
Задание к контрольной работе № 1
Исследовать на равносильность формулы f1, f2 и f3, заданные в дизъюнктивной нормальной форме, двумя способами:
1) путем их представления (на основе равносильных формул алгебры логики) в виде совершенных конъюнктивных нормальных форм с подтверждением правильности реструктуризации исходных формул построением их таблиц истинности;
2) путем представления заданных формул f1, f2 и f3 в виде полиномов Жегалкина, формируемых двояко: а) на основе форм
margarit04ka
: 7 февраля 2014
400 руб.
Контрольная работа по математической логике. Вариант №1
Nicola90
: 28 апреля 2013
Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций
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. Привести формулу к предваренной форме
4. Построить машину Тьюринга для перевода из одной конфигурации в другую.
. На ленте всех
Nicola90
: 28 апреля 2013
120 руб.
Математическая логика и теория алгоритмов. Контрольная работа
m9c1k
: 18 ноября 2009
Контрольная работа
по дисциплине
«Математическая логика и теория алгоритмов»
Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. . Проверить работу машины Тьюринга для конкретных значений .
5.Показать примитивную рекурсивность функции :
m9c1k
: 18 ноября 2009
100 руб.
Контрольная работа по дисциплине: математическая логика и теории алгоритмов
Necron04
: 30 марта 2021
Задание по математической логике и теории алгоритмов
Исчисление высказываний
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
Варианты
1. Если человек обедает в кафе быстрого питания, то он голоден и куда-то торопится. Человек не обедает в кафе быстрого питания, хотя и очень торопится. Значит, он не
Necron04
: 30 марта 2021
500 руб.
Элементы математической логики. 5 контрольных работ по разделам.
IVANOVA
: 5 февраля 2019
Контрольная работа к разделу 1.
1. Определите ,какие из следующих предложений являются высказываниями ,а какие нет и почему?
A Математика- царица наук;
B Ты знаешь теорию вероятности?
C Выучи урок, заданный по алгебре.
D Есть школьники, которые знают математику на «5».
E Все школьники любят математику.
2.Даны высказывания:
А= Идёт дождь;
В= Прогулка отменяется.
С=Я вымокну.
D= Я остаюсь дома.
а)Запишите следующее сложное высказывание на языке алгебры логики:
E =Я не вымокну, если на улице нет до
IVANOVA
: 5 февраля 2019
390 руб.
Другие работы
Криминология
gnv1979
: 22 июня 2016
1.Каковы цели, задачи, функции и проблемы криминологии?
2. Изложите классификацию преступников.
3. Изложите правовое регулирование предупреждения преступности.
4. Каковы меры предупреждения насильственных преступлений и хулиганства?
5. Дайте характеристику личности несовершеннолетних преступников.
gnv1979
: 22 июня 2016
30 руб.
Лабораторная работа №3 «Работа со строками и файлами в языке SWI-PROLOG»
sarekuwa
: 3 февраля 2020
Задание
Напишите на языке SWI-PROLOG программу для работы с текстовым файлом, состоящим из нескольких строк. При преобразовании файла должны быть сохранены переводы строк исходного файла. Номер варианта выбирается по последней цифре пароля.
Вариант 5
В каждой строке текстового файла, состоящего из нескольких строк, переставьте слова в обратном порядке. Сформируйте новый файл.
sarekuwa
: 3 февраля 2020
500 руб.
Автоматизация вентиляционной системы жилого дома
Рики-Тики-Та
: 3 марта 2012
Введение
Краткое описание технологического процесса
Выбор и описание функциональной схемы автоматизации
Описание принципиальной электрической схемы
Выбор и описание используемых средств автоматизации
Заключение
Список литературы
Рики-Тики-Та
: 3 марта 2012
55 руб.
«исследование эффективности экранирующих устройств в диапазоне СВЧ»
vovan1441
: 10 апреля 2019
Изучить гигиенические предельно-допустимые
интенсивности электромагнитных полей радиочастот на рабочих местах,
принцип действия экранирующих устройств.
Исследовать эффективность экранирования счетных экранов.
vovan1441
: 10 апреля 2019
200 руб.
