Контрольная работа По дисциплине:Математическая логика и теория алгоритмов. Вариант 6
-
Категории:
СибГУТИ, Математическая логика и теория алгоритмов, Работа Контрольная
-
Добавлен:
04.09.2015
-
Размер:
105 KB
-
Покупок:
0
-
Добавил:
ASSASSIN
Написать сообщение
Скачать
Состав работы
|
245196.doc
|
Работа представляет собой rar архив с файлами (распаковать онлайн), которые открываются в программах:
- Microsoft Word
Описание
ЗАДАЧА 1
Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций:
см. скриншот 1
ЗАДАЧА 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 – женщина.
С использованием этих предикатов записать формулы, выражающие следующие утверждения:
X – деверь
ЗАДАЧА 3
Привести формулу к предваренной форме:
см. скриншот 2
ЗАДАЧА 4
Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. ( x , y ,z 1) Проверить работу машины Тьюринга для конкретных значений x , y , z .
q11x01y01z => q01x+z
ЗАДАЧА 5
Показать примитивную рекурсивность функции f(x,y):
см. скриншот 3
Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций:
см. скриншот 1
ЗАДАЧА 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 – женщина.
С использованием этих предикатов записать формулы, выражающие следующие утверждения:
X – деверь
ЗАДАЧА 3
Привести формулу к предваренной форме:
см. скриншот 2
ЗАДАЧА 4
Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. ( x , y ,z 1) Проверить работу машины Тьюринга для конкретных значений x , y , z .
q11x01y01z => q01x+z
ЗАДАЧА 5
Показать примитивную рекурсивность функции f(x,y):
см. скриншот 3
Дополнительная информация
Уважаемый слушатель, дистанционного обучения,
Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов
Вид работы: Контрольная работа 1
Оценка:Зачет
Дата оценки: 27.04.2015
Рецензия:Уважаемый,
Мачикина Елена Павловна
Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов
Вид работы: Контрольная работа 1
Оценка:Зачет
Дата оценки: 27.04.2015
Рецензия:Уважаемый,
Мачикина Елена Павловна
Похожие материалы
КОНТРОЛЬНАЯ РАБОТА по дисциплине «Математическая логика и теория алгоритмов» Вариант 6
MehVV
: 31 октября 2025
Вариант №6
Задача 1. Построить таблицу истинности логической формулы.
Задача 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции.
Задача 3. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме. Для каждого преобразования указать, какие равносильности были использованы. Для итоговой формулы указать свободные и связанные переменные.
Задача 4. На координатной плоскости даны множества A и B
MehVV
: 31 октября 2025
300 руб.
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №6
Jack
: 8 декабря 2014
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 – женщина.
С использованием этих предикатов записать формулы, выражающие следующие утверждения:
6. X - деверь
III. Привести формулу к предварител
Jack
: 8 декабря 2014
500 руб.
Контрольная работа по дисциплине: математическая логика и теории алгоритмов
Necron04
: 30 марта 2021
Задание по математической логике и теории алгоритмов
Исчисление высказываний
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
Варианты
1. Если человек обедает в кафе быстрого питания, то он голоден и куда-то торопится. Человек не обедает в кафе быстрого питания, хотя и очень торопится. Значит, он не
Necron04
: 30 марта 2021
500 руб.
Контрольная работа по дисциплине «Математическая логика и теория алгоритмов»
m9c1k
: 16 июля 2010
1) Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
2) Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
E(x, y) = И <=> x и y – один и тот же человек;
P(x, y) = И <=> x родитель y;
C(x, y) = И <=> x и y – супруги;
M(x) = И <=> x – мужчина;
W(x) = И <=> x – женщина.
С использованием этих предикатов записать формулы, выражающие следующие утверждения:
X – прабабушка.
3) Привести формулу к предваренной форме
4) Пос
m9c1k
: 16 июля 2010
270 руб.
Математическая логика и теория алгоритмов. Вариант № 6
najdac
: 15 октября 2021
Задача 1
Построить таблицу истинности логической формулы:
Задача 2
Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции
Задача 3
В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме. Для каждого преобразования указать, какие равносильности были использованы. Для итоговой формулы указать свободные и связанные переменные
Задача 4
На координатной плоскости даны множества А и В (А ограничено красн
najdac
: 15 октября 2021
200 руб.
КОНТРОЛЬНАЯ РАБОТА Вариант 6 по дисциплине «Математическая логика и теория алгоритмов»
SOKOLOV
: 19 января 2025
ЗАДАНИЕ No1: ЛОГИКА ВЫСКАЗЫВАНИЙ.
Данное высказывание записать в виде формулы логики высказываний. Построить отрицание данного высказывания в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык.
Вариант 6. Если собаку дразнить, она укусит.
ЗАДАНИЕ No2: ЛОГИКА ПРЕДИКАТОВ.
Данное суждение записать в виде формулы логики предикатов. Построить отрицание данного суждения в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык.
Вариант 6.
SOKOLOV
: 19 января 2025
412 руб.
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №6. Семестр 3.
студент-сибгути
: 14 сентября 2013
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 – женщина.
С использованием этих предикатов записать формулы, выражающие следующие утверждения:
6. X – деверь
III. Привести формулу к предва
студент-сибгути
: 14 сентября 2013
49 руб.
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. 6 вариант. СибГУТИ
BarneyL
: 16 мая 2018
Исчисление высказываний
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
Если человек обедает в кафе быстрого питания, то он голоден и куда-то торопится. Человек не обедает в кафе быстрого питания, хотя и очень торопится. Значит, он не голоден.
Исчисление предикатов
Пользуясь определением формулы логи
BarneyL
: 16 мая 2018
300 руб.
Другие работы
Товарознавча експертиза якості імпортних косметичних товарів
Lokard
: 16 октября 2013
ПЛАН
Вступ
1. Значення експертизи для підвищення якості товарів.
2. Класифікація та групова характеристика асортименту косметичних товарів.
Класифікація і асортимент засобів для догляду за шкірою.
Класифікація засобів для догляду за волоссям
Засоби для укладання, завивки і збереження зачіски
Декоративна косметика
Засоби для губ
Засоби для догляду за нігтями
3. Аналіз нормативно – техн
Lokard
: 16 октября 2013
15 руб.
Проект передатчика для цифрового радиовещания по стандарту DRM.
nat2744
: 17 июля 2010
СибГУТИ. Курсовая работа. Вариант 10.
1. Задание на курсовой проект
Разработать проект передатчика для цифрового радиовещания по стандарту DRM.
Исходные данные:
1. Мощность в антенне Р1А =5 кВт.
2. Коэффициент полезного действия колебательной системы ηкс=0,7.
3. Диапазон рабочих частот F1÷F2 = (0,4÷0,8)МГц.
4. Волновое сопротивление фидера W=75 Ом; Коэффициент бегущей волны фидера к.б.в.=0,8.
5. Выходная мощность возбудителя DRM Рв=0,5 Вт.
6. Выходной каскад передатчика проектируется на
nat2744
: 17 июля 2010
100 руб.
Основные тенденции развития современного российского федерализма
Elfa254
: 14 сентября 2013
Содержание
Введение
1. Этапы становления конституционно-правовой модели современного российского федерализма
2. Федеративная природа России
3. Основные подходы к определению конституционно-правовой модели современного российского федерализма
4. Российский федерализм: основные направления и закономерности развития
Заключение
Список используемой литературы
Введение
Грамотное разграничение предметов ведения и полномочий между разными уровнями публичной власти является одной из наиболее насущных пр
Elfa254
: 14 сентября 2013
Анализ методов управления персоналом на предприятии
alfFRED
: 24 марта 2014
ОГЛАВЛЕНИЕ:
ВВЕДЕНИЕ 3
ГЛАВА1. МЕТОДЫ УПРАВЛЕНИЯ ПЕРСОНАЛОМ НА ПРЕДПРИЯТИИ 6
1.1. Структура и функции системы управления 6
1.2. Методы управления персоналом 14
ГЛАВА 2. АНАЛИЗ МЕТОДОВ УПРАВЛЕНИЯ НА ОАО «ГОМЕЛЬОБОИ» 25
2.1. Организационно-экономическая характеристика
ОАО «Гомельобои» 25
2.2. Анализ методов управления персоналом на 27
2.3. Мероприятия по улучшению методов управления
персоналом
ГЛАВА 3. ПУТИ СОВЕРШЕНСТВОВАНИЯ МЕТОДОВ УПРАВЛЕНИЯ ПЕРСОНАЛОМ НА ОАО «ГОМЕЛЬОБОИ» 35
ЗАКЛЮЧЕНИЕ 40
СПИ
alfFRED
: 24 марта 2014
10 руб.
