Математическая логика. Контрольная работа
-
Категории:
Математика, СибГУТИ, Работа Контрольная
-
Добавлен:
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 руб.
Другие работы
Экзаменационная работа по дисциплине: Математический анализ (часть 3). Дополнительные главы. Билет №2
Roma967
: 30 мая 2016
Билет №2
1. Вычислить интеграл (см. скрин) с точностью 0,001, раскладывая подынтегральную функцию в степенной ряд.
2. Разложить функцию (см. скрин) в ряд Фурье на данном отрезке (период Т).
3. Вычислить (см. скрин):
4. Вычислить интеграл по замкнутому контуру с помощью вычетов (см. скрин).
5. Найти решение дифференциального уравнения операторным методом (см. скрин)
Roma967
: 30 мая 2016
500 руб.
Л/р по БЖД (Громова О.Б.)«ОПРЕДЕЛЕНИЕ ИНТЕНСИВНОСТИ ТЕПЛОВОГО ИЗЛУЧЕНИЯ»
kazanzaki1
: 26 октября 2008
Измерение интенсивности теплового излучения, определение эффективности теплозащитных экранов.
kazanzaki1
: 26 октября 2008
Гидромеханика РГУ нефти и газа им. И. М. Губкина Гидростатика Задача 8 Вариант 8
Z24
: 6 декабря 2025
При условии задачи 6 определите величину х, если под щитом нет жидкости и величина Н1 равна нулю.
Задача 6
Щитовой затвор шириной k должен автоматически поворачиваться вокруг оси АВ, открываться при уровне воды Н2 и пропускать ее в левый отсек. Угол наклона щита равен α, температура жидкости tºС. Силой трения на цапфах при повороте пренебречь. Диаметр цапфы равен d.
Определить, на каком расстоянии х должна быть расположена ось АВ поворота щита, если под ним находится постоянный уровень
Z24
: 6 декабря 2025
150 руб.
РЕФЕРАТ по мировой экономике на тему: «Глобальные проблемы мирового хозяйства: истоки и перспективы».
ДО Сибгути
: 2 января 2015
Содержание:
Введение
1. История развития мирового хозяйства
2. Причины возникновения глобальных проблем
3. Демография
4. Проблема нищеты, голода и болезней в мире
5. Разоружение и конверсия военного производства
6. Проблемы экологии и природопользования
7. Состояние и тенденции развития хозяйственной конъюнктуры в странах с развитой рыночной экономикой
Заключение
Список литературы
ДО Сибгути
: 2 января 2015
50 руб.
