Математическая логика и теория алгоритмов. Контрольная работа. 3-й семестр. 1-й вариант
-
Категории:
ДО СИБГУТИ, Математическая логика и теория алгоритмов, Работа Контрольная
-
Добавлен:
31.05.2016
-
Размер:
318 KB
-
Покупок:
2
-
Добавил:
karapulka
Написать сообщение
Скачать
Состав работы
D4FA6414-74A0-424C-8665-2E00E60487D1.doc
|
Работа представляет собой файл, который можно открыть в программе:
- Microsoft Word
Описание
1.Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
1. A>B|(C>A)>(C>B)
2.Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
1.E(x, y) = И <=> x и y – один и тот же человек;
С использованием этих предикатов записать формулы, выражающие следующие утверждения:
У каждого есть отец и мать.
3. Привести формулу к предваренной форме
3.1.
4.Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. ( x , y ,z 1) Проверить работу машины Тьюринга для конкретных значений x , y , z .
q11x01y0 => q01y001x0.
5. Показать примитивную рекурсивность функции f(x,y)
f(x,y)=(xxy+x)
1. A>B|(C>A)>(C>B)
2.Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
1.E(x, y) = И <=> x и y – один и тот же человек;
С использованием этих предикатов записать формулы, выражающие следующие утверждения:
У каждого есть отец и мать.
3. Привести формулу к предваренной форме
3.1.
4.Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. ( x , y ,z 1) Проверить работу машины Тьюринга для конкретных значений x , y , z .
q11x01y0 => q01y001x0.
5. Показать примитивную рекурсивность функции f(x,y)
f(x,y)=(xxy+x)
Дополнительная информация
Сдавалась в 2014 г.
Оценка: зачёт
Оценка: зачёт
Похожие материалы
Контрольная работа. Математическая логика и теория алгоритмов. II-й семестр. вариант №17
Madam
: 19 февраля 2017
Контрольная работа Математическая логика и теория алгоритмов II семестр вариант 17
Исчисление высказываний.
1. Пользуясь определением формулы исчисления высказываний проверить, является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
Исчисление предикатов
3. Пользуясь определением формулы логики предикатов проверить, что выражение является формулой. В формуле указать сво
Madam
: 19 февраля 2017
300 руб.
Контрольная работа работа по математической логике и теории алгоритмов 3-й семестр
sanrus72
: 31 марта 2015
I. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
II. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
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 – женщина.
С использованием этих предикатов записать формулу, выражающую следующее утверждение: X – шурин.
III. Привести формулу к предвар
sanrus72
: 31 марта 2015
150 руб.
Математическая логика и теория алгоритмов. Контрольная работа. 8-й вариант.
Coder
: 7 июня 2018
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
(A→(B→C))→((A→B)→C)
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
Если бы он ей не сказал, она бы не узнала. А не спроси она его, он бы и не сказал ей. Но она узнала. Значит, она его спросила.
3. Пользуясь определением формулы логики предикатов проверить, что выражение является формулой. В формуле
Coder
: 7 июня 2018
100 руб.
Математическая логика и теория алгоритмов. Контрольная работа. 13-й вариант.
Elnadrion
: 30 апреля 2015
13 вариант. Задания в скриншотах:
http://joxi.ru/LmG8ljdfDd4Z2l
http://joxi.ru/YmE8ON6fq6bDr6
http://joxi.ru/E2pV0bNSxeO8rY
http://joxi.ru/bmokGv8cd0N0my
http://joxi.ru/krD83x5fx5Myrp
http://joxi.ru/xAeJk5Ru5eJKry
Elnadrion
: 30 апреля 2015
200 руб.
Математическая логика и теория алгоритмов, 11-й вариант
GFox
: 10 апреля 2021
Задача 1
Построить таблицу истинности логической формулы.
Задача 2
Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции
Если юноша счастлив, то либо он получил хорошую оценку, либо у него день рождения. Если юноша получил плохую оценку, то у него плохое настроение. Юноша получил плохую оценку и настроение у него хорошее. Значит, у него день рождения.
Задача 3
В формуле указать свободные и связанные переменные. Привести формулу к пред
GFox
: 10 апреля 2021
200 руб.
Математическая логика и теория алгоритмов(20-й вариант)
puzirki
: 15 марта 2015
I. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
II. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
3.Привести формулу к предваренной форме
IV. Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. ( x , y ,z 1) Проверить работу машины Тьюринга для конкретных значений x , y , z .
V.Показать п
puzirki
: 15 марта 2015
250 руб.
Математическая логика и теория алгоритмов - Контрольная работа
Дарья140
: 4 января 2024
Контрольная работа "Математическая логика и теория алгоритмов" вариант 2
Дарья140
: 4 января 2024
300 руб.
Математическая логика и теория алгоритмов. Контрольная работа
m9c1k
: 18 ноября 2009
Контрольная работа
по дисциплине
«Математическая логика и теория алгоритмов»
Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. . Проверить работу машины Тьюринга для конкретных значений .
5.Показать примитивную рекурсивность функции :
m9c1k
: 18 ноября 2009
100 руб.
Другие работы
Компьютерные технологии в науке и производстве - контрольная 20 вариант (LaTeX)
vlanproekt
: 24 августа 2019
Задание контрольной работы содержит один теоретический вопрос и два практических задания, для выполнения которых используется настольная издательская система LaTeX.
Вопрос.
Меры длины LATEX и их изменение.
Задача 1.
Создайте нумерованный список следущего вида
Задача 2.
Наберите матрицу в виде выключной формулы c левосторонней нумерацией
vlanproekt
: 24 августа 2019
290 руб.
Гидравлика и нефтегазовая гидромеханика Хабаровск ТОГУ Задача 14 Вариант 4
Z24
: 26 ноября 2025
Вода из открытого резервуара с расходом Q вытекает по трубопроводу переменного сечения с диаметрами d1, d2 и d3 (рис.13). Определить необходимый напор H, гидравлическими потерями пренебречь. Построить пьезометрическую кривую.
Z24
: 26 ноября 2025
180 руб.
Контрольная работа по дисциплине: Психология. Тема: "Воображение. Техники развития воображения"
Елена22
: 3 мая 2016
Реферат на тему: "Воображение. Техники развития воображения".
Оглавление:
Вступление: значение воображения
1. Определение воображения
2. Функции воображения
3. Виды воображения
4. «Техника» воображения
Заключение
Список использованной литературы
Елена22
: 3 мая 2016
100 руб.
Курсовая работа по сетевые базы данных
zalexz95
: 17 октября 2017
Архив содержит отчет и 4 программы в sql
Создать две таблицы, каждая из которых должна иметь первичный ключ и, по крайней мере, один столбец с ограничением NOT NULL. Таблицы должны быть связаны внешним ключом; тип связи - "один-ко-многим". Создать пакет, содержащий процедуру начального заполнения таблиц данными и процедуру очистки таблиц (удаления записей).
Для одной из таблиц разработать триггер для обеспечения дополнительных ограничений на изменение данных таблицы. Создать представление, котор
zalexz95
: 17 октября 2017
400 руб.
