Математическая логика и теория алгоритмов. Контрольная работа. Вариант №8

Цена:
80 руб.

Состав работы

material.view.file_icon 6153363D-2D12-4710-813B-876E56E93C8B.zip [57 KB]
material.view.file_icon кр1.doc [Office 2010, 5 стр., 314 KB]

Необходимые программы

Работа представляет собой zip архив с файлами (распаковать онлайн), которые открываются в программах:
  • Microsoft Word

Описание

Математическая логика и теория алгоритмов.
Контрольная работа. Вариант 8.

1. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций: |-AvB -> (-A -> B)
2. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты. С использованием предикатов записать формулы, выражающие следующие утверждения: X – кузен
3.Привести формулу к предваренной форме: (VxEyQ(x,y)) -> ((EyQ(x,y)VR(x,y))
4.Построить машину Тьюринга для перевода из конфигурации : 1^(x) в 1^(x) 01^(x) 01^(x)
5.Показать примитивную рекурсивность функции f(x,y)={3,2<y<6} ; {x+1,иначе}

Дополнительная информация

Состояние: Зачет
Преподаватель: Мачикина Е. П.
- СибГУТИ
- 2014 г

Похожие материалы

Контрольная работа. Математическая логика и теория алгоритмов. Вариант №8.
1. Исчисление высказываний Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой. (A (BC))((AB)C) 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций Если бы он ей не сказал, она бы не узнала. А не спроси она его, он бы и не сказал ей. Но она узнала. Значит, она его спросила. 3. Пользуясь определением формулы логики предикатов проверить, что выражение являе
СибГУТИ Математическая логика и теория алгоритмов Работа Контрольная
User murlika : 1 января 2015
800 руб.
Математическая логика и теория алгоритмов. контрольная работа. вариант №8
Владивостокский государственный университет экономики и сервиса ____________________________________________________ А.А. СТЕПАНОВА Т.Ю. ПЛЕШКОВА Е.Г. ГУСЕВ МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ Практикум 1. ПЕРЕЧЕНЬ ТЕМ Тема 1. «Совершенные дизъюнктивные нормальные формы (СДНФ) и совершенные конъюнктивные нормальные формы (СКНФ) в алгебре высказываний (АВ)». Формулы АВ. Эквивалент-ность формул АВ. Понятия дизъюнктивной нормальной формы (ДНФ), конъюнктивной нормальной формы (КНФ), СДНФ,
ВГУЭС Работа Контрольная Дискретная математика
User Максим102 : 15 июля 2014
400 руб.
Математическая логика и теория алгоритмов. Контрольная работа. Вариант №8
I. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций. (задача 1.18) II. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты: a. E(x, y) = И <=> x и y – один и тот же человек; b. P(x, y) = И <=> x родитель y; c. C(x, y) = И <=> x и y – супруги; d. M(x) = И <=> x – мужчина; e. W(x) = И <=> x – женщина. С использованием этих предикатов записать формулы, выражающие следующие утверждения: У некоторых людей есть дочь III.Приве
СибГУТИ Логика Работа Контрольная
User Shamrock : 3 июля 2013
250 руб.
Математическая логика и теория алгоритмов. Контрольная работа. Вариант 8
Математическая логика и теория алгоритмов. Контрольная работа. Вариант 8. 1. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций: |-AvB -> (-A -> B) 2. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты. С использованием предикатов записать формулы, выражающие следующие утверждения: X – кузен 3.Привести формулу к предваренной форме: (VxEyQ(x,y)) -> ((EyQ(x,y)VR(x,y)) 4.Построить машину Тьюринга для перевода из конфиг
СибГУТИ Математика вычислительная Работа Контрольная
User shanti : 7 марта 2012
90 руб.
"Математическая Логика и Теория Алгоритмов". Вариант №8
Уважаемый студент дистанционного обучения, Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов Вид работы: Контрольная работа 1 Оценка:Зачет Дата оценки: 12.09.2021 Рецензия:Уважаемый ---------, Зырянов Кирилл Игоревич
ДО СИБГУТИ Математическая логика и теория алгоритмов Работа Контрольная
User Daniil2001 : 13 сентября 2021
100 руб.
"Математическая Логика и Теория Алгоритмов". Вариант №8
Математическая логика и теория алгоритмов. Вариант №8
1. Исчисление высказываний Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой. (A (BC))((AB)C) 2. Записать рассуждение в логической символике и проверить правильность рассу-ждения методом Куайна, методом редукции и методом резолюций 3. Пользуясь определением формулы логики предикатов проверить, что выражение является формулой. в формуле указать свободные и связанные переменные. Привес-ти формулу к предваренной форме: (xyQ(x,y))((yxP(x,
Математическая логика и теория алгоритмов Сибирский государственный университет телекоммуникаций и информатики Работа Контрольная
User Efimenko250793 : 6 января 2018
300 руб.
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант 8
Вариант 8 1. Следующее утверждение докажите или опровергните (опровергнуть можно на частном примере): A B и B C A C. 2. Является ли тавтологией формула ((P  Q) & (R  Q) & (T  (P ∩ R)) & T)  Q? 3. Переведите с естественного языка на язык логики предикатов: Зайцы не всегда глупее лис. 4. Переведите с естественного языка на язык логики предикатов: Все честные ученые уважают друг друга. 5. Для бинарного отношения x y «y = |x|», определенного на множе- стве вещественных чисел, выясните, ка
Математическая логика и теория алгоритмов Работа Контрольная ТУСУР
User IT-STUDHELP : 9 апреля 2022
500 руб.
Математическая логика и теория алгоритмов - Контрольная работа
Контрольная работа "Математическая логика и теория алгоритмов" вариант 2
СибГУТИ Математическая логика и теория алгоритмов Работа Контрольная
User Дарья140 : 4 января 2024
300 руб.
Математическая логика и теория алгоритмов - Контрольная работа

Другие работы

Разработка телеграм-бота для автоматизации взаимодействия клиента с отелем
Содержание ВВЕДЕНИЕ................................................................................................... 4 1 ОПИСАНИЕ ПРЕДМЕТНОЙ ОБЛАСТИ............................................... 5 2 ПОСТАНОВКА ЗАДАЧИ ........................................................................ 6 3 ВЫБОР ИНСТРУМЕНТАЛЬНЫХ СРЕДСТВ ....................................... 8 3.1 Средства разработки .......................................................................... 8 3.2 BotFather................
Диплом и связанное с ним СибГУТИ Дипломные проекты
User Сергей38 : 3 апреля 2024
1000 руб.
Разработка телеграм-бота для автоматизации взаимодействия клиента с отелем
Вал 2020134-18 ЧЕРТЕЖ
Вал 2020134-18 ЧЕРТЕЖ Начертить главный вид вала. Выполнить необходимые сечения. Чертеж выполнен на формате А3 + 3d модель + pdf (все на скриншотах показано и присутствует в архиве) выполнены в КОМПАС 3D. Также открывать и просматривать, печатать чертежи и 3D-модели, выполненные в КОМПАСЕ можно просмоторщиком КОМПАС-3D Viewer. По другим вариантам и всем вопросам пишите в Л/С.
Чертежи ПНИПУ Инженерная и компьютерная графика
User coolns : 24 ноября 2024
150 руб.
Вал 2020134-18 ЧЕРТЕЖ
Муфта
В современном машиностроении большинство машин состоит из сборочных единиц (узлов) и механизмов. Для обеспечения кинематической и силовой связи валы узлов соединяют муфтами. Муфтой называется устройство для соединения концов валов со свободно сидящими на них деталями (зубчатые колёса, звездочки и т.д.). Муфта предназначена для передачи крутящих моментов. Муфта соединяется с валом при помощи шпоночного соединения. На 46f9мм насаживается зубчатое колесо, которое крепится к полумуфте при помощи па
Технология машиностроения ЧПТ Работа Курсовая
User Schweppes : 1 декабря 2008
2 руб.
Контрольная работа по дисциплине: Беспроводные технологии передачи данных. Вариант 13
«Шифрование в сетях 802.11» Вариант определяется последними двумя цифрами Вашего пароля. XY=13 Задание 1 1. Исходные данные для всех вариантов: a. Метод аутентификации PSK. b. Название сети SSID: sibsutis c. MAC-адрес точки доступа(шестн.): 000726404eff d. MAC-адрес клиента (шестн.): 9439e5b014e5 2. Пароль к Wi-Fi сети: kursovik13, где 13 – мой вариант. 3. Сгенерировать самостоятельно (придумать) последовательности Anonce и Snonce таким образом, чтобы первый и последний байт был равен ваше
Беспроводные технологии передачи данных ДО СИБГУТИ Работа Контрольная
User Roma967 : 21 мая 2025
1000 руб.
promo
up Наверх