Математическая логика. Контрольная работа
-
Категории:
Математика, СибГУТИ, Работа Контрольная
-
Добавлен:
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 руб.
Другие работы
Операционные системы Unix и Windows NT
Elfa254
: 5 октября 2013
Операционная система (ОС) связывает аппаратное обеспечение и прикладные программы. Многие свойства различных программ похожи, и операционная система обычно предоставляет этот общий сервис. Например, практически все программы считывают и записывают информацию на диск или отображают ее на дисплее. И хотя каждая программа в принципе может содержать инструкции, выполняющие эти повторяющиеся задачи, использование в этих целях операционной системы более практично.
Операционная система может взаимодей
Elfa254
: 5 октября 2013
10 руб.
Гидравлика УГЛТУ Задача 11 Вариант 4
Z24
: 8 декабря 2025
В магистральном пневмоприводе, содержащем вентиль, распределитель и пневмоцилиндр с поршнем, известны следующие величины: диаметр поршня Д; диаметр труб d; температура воздуха t = 20ºС; подводимое давление р0 = 0,63 МПа; сила, приложенная к поршню Р; сумма коэффициентов местных сопротивлений Σζ = 12; общая длина труб l; эквивалентная шероховатость Δ = 0,02 мм. Определить массовый расход воздуха Мр.
Z24
: 8 декабря 2025
180 руб.
Задачи по гидрогазодинамике ТвГТУ Задача 1 Вариант 4
Z24
: 1 апреля 2026
В закрытом доверху наполненном резервуаре вода плотностью ρ = 1000 кг/м3 находится в абсолютном покое под действием силы тяжести и внешнего давления р0. Манометр, подключенный в точке Д резервуара на высоте hм показывает давление рм. Глубина воды в резервуаре hж. Определить внешнее избыточное давление р0, построить эпюру избыточного гидростатического давления на правую стенку сосуда, вычислить гидростатический напор, отвечающий избыточному давлению.
Z24
: 1 апреля 2026
200 руб.
07.000 Привод стартера деталировка
coolns
: 29 января 2019
07.000 Привод стартера деталировка
07.000 Привод стартера чертежи
07.000 Привод стартера 3д модель
Приводное устройство стартера представляет собой муфту обгона, передающую вращение с вала стартера при его включении на коленчатый вал двигателя и разъединяющую их после пуска двигателя. При вращении вала 4 ролики 6, перемещаясь, заклинивают зубчатое колесо 10 привода, которое вращает маховик. После пуска двигателя зубчатое колесо привода начинает вращаться быстрее, чем внешняя обойма. При этом ро
coolns
: 29 января 2019
190 руб.
