Математическая логика. Контрольная работа
-
Категории:
Математика, СибГУТИ, Работа Контрольная
-
Добавлен:
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 руб.
Другие работы
Контрольная работа по дисциплине: Всеобщая история. Древний Египет: основные черты и этапы развития цивилизации. Религия древних египтян. Важнейшие мифы и культы.
BEV
: 18 декабря 2019
КОНТРОЛЬНАЯ РАБОТА по дисциплине «Всеобщая история»
Тема: "Древний Египет: основные черты и этапы развития цивилизации. Религия древних египтян. Важнейшие мифы и культы."
Всемирная история [Электронный ресурс] : учебник / Г. Б. Поляк, А. Н. Маркова, И. А. Андреева, И. А. Айсина. — Электрон. текстовые данные. — М. : ЮНИТИ-ДАНА, 2012. — С 18-21. — Режим доступа: http://www.iprbookshop.ru/10494.html
Всемирная история в 2 ч. Часть 1. История Древнего мира и Средних веков : учебник для академическог
BEV
: 18 декабря 2019
100 руб.
Организация документооборота с помощью "Visual Basic for Application"
evelin
: 5 октября 2013
ВВЕДЕНИЕ
1. ТЕОРЕТИЧЕСКИЙ РАЗДЕЛ.
1.1 Обоснование языка программирования
1.2 Введение в Visual Basic for Application
1.2.1 Об объектах и коллекциях
1.2.2 Примеры использования VBA в среде Access.
1.3. Разработка и эксплуатация АИС
1.3.1 Основные понятия технологии проектирования ИС
1.3.2 Основы современной технологии проектирования АИС
1.3.3 Автоматизированное проектированиеCASE-технологий
1.3.4 Реинжиниринг бизнес-процессов и проектирование корпоративной ИС..
2. ЭКСПЕРИМЕНТАЛЬНЫЙ
evelin
: 5 октября 2013
5 руб.
07. Датчик давления
coolns
: 15 декабря 2018
07. Датчик давления
Датчик является элементом схемы автоматического регулирования давления в пневматических системах.
В центральное отверстие корпуса 2 вставляется шток 8 с надетой на него пружиной 7 и закрывается диафрагмой 4, после чего корпус соединяется крышкой 3 винтами 1 по ГОСТ 1491-80. В крышку 3 завинчивается штуцер 6 с надетой на него уплотнительной прокладкой 5.
Штуцер предназначен для присоединения входной трубки датчика. С другой стороны на корпусе 2 двумя винтами 1 закрепляется кр
coolns
: 15 декабря 2018
300 руб.
Проект расчета машин для ведения аварийно-спасательных работ.
GnobYTEL
: 1 сентября 2012
определение мощности двигателя автомобиля, затрачиваемую на преодоление сопротивлений движению.
Определение максимального преодолеваемого автомобилем уклона.
Определение коэффициента сопротивления качения дороги, при котором автомобиль может достичь максимальной скорости движения.
Определение максимальной скорости на выбеге (с выключенным двигателем) при движении под уклон =2°.
Определение сопротивления движению автомобиля при его движении без ускорения по горизонтальному участку дороги для скор
GnobYTEL
: 1 сентября 2012
20 руб.
