Экзаменационная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №15
-
Категории:
СибГУТИ, Математическая логика и теория алгоритмов, Работа Экзаменационная
-
Добавлен:
24.01.2015
-
Размер:
58 KB
-
Покупок:
2
-
Добавил:
karlson087
Написать сообщение
Скачать
Состав работы
CF6A9406-D84D-4A1C-92F8-61B9A5ED664A.doc
|
Работа представляет собой файл, который можно открыть в программе:
- Microsoft Word
Описание
Задание.
Переведите данное рассуждение в логическую символику и проверьте его правильность.
Высказывание: Иванов не сделает эту работу, если ее сделает Петров. Петров и Сидоров сделают эту работу в том и только том случае, если ее сделает Иванов. Сидоров эту работу сделает, а Иванов нет. Следовательно, Петров не сделает эту работу.
Переведите данное рассуждение в логическую символику и проверьте его правильность.
Высказывание: Иванов не сделает эту работу, если ее сделает Петров. Петров и Сидоров сделают эту работу в том и только том случае, если ее сделает Иванов. Сидоров эту работу сделает, а Иванов нет. Следовательно, Петров не сделает эту работу.
Дополнительная информация
20.09.2014 Зачет
Похожие материалы
Математическая логика и теория алгоритмов Вариант 15
Aleksandr20
: 1 ноября 2023
Задача 1
Построить таблицу истинности логической формулы.
Задача 2
Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции
Если Оля продолжит смотреть аниме, то друзья не помогут с учебой и ее отчислят из вуза. Друзья помогли Оле с учебой, и Оля продолжает учиться в вузе. Значит, Оля не смотрит больше аниме.
Задача 3
В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме. Для каждого преобразования у
Aleksandr20
: 1 ноября 2023
900 руб.
Математическая логика и теория алгоритмов. Вариант №15
gnv1979
: 5 июня 2016
1. Пользуясь определением формулы исчисления высказываний проверить, является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
Муравей поднимет соломинку, если ее вес не превышает собственный вес муравья более, чем в 10 раз. Муравей не будет поднимать соломинку, если она ему не нужна. Муравей не стал поднимать соломинку. Значит, соломинка слишком тяжелая.
3. Пользуясь опреде
gnv1979
: 5 июня 2016
100 руб.
Экзаменационная работа по дисциплине: Математическая логика и теория алгоритмов
Necron04
: 30 марта 2021
Билет №14
А – день даты (от 1 до 31) отправки экзаменационного задания, В – месяц даты (от 1 до 12) отправки экзаменационного задания.
A = 7
B = 6
Necron04
: 30 марта 2021
500 руб.
Экзаменационная работа По дисциплине: Математическая логика и теория алгоритмов Билет 10
Nitros
: 28 июня 2025
А – день даты (от 1 до 31) отправки экзаменационного задания, В – месяц даты (от 1 до 12) отправки экзаменационного задания.
1. Функция получена операцией суперпозиции функций , , ,
Вычислить , если , , ,
.
2. Функция получена операцией примитивной рекурсии из функций и .
Вычислить , если ,
3. Проверить правильность рассуждения (метод любой)
Если бы на стадо не напал волк, овечка Долли не сбежала бы. Если бы пастух был внимательным, на стадо не напал бы волк. Пастух был н
Nitros
: 28 июня 2025
300 руб.
Экзаменационная работа по дисциплине: Математическая логика и теория алгоритмов. Билет 1
SibGOODy
: 29 июля 2023
Билет №1
А – день даты (от 1 до 31) отправки экзаменационного задания, В – месяц даты (от 1 до 12) отправки экзаменационного задания.
A=18; B=6
Задание 1.
Функция g(x,y) получена операцией суперпозиции функций f(x,y,z), f1(x,y), f2(x,y), f3(x,y)
Вычислить g(A,B), если f(x,y,z)=x+y+z, f1(x,y)=3x, f2(x,y)=xy, f3(x,y)=y+5.
Задание 2.
Функция f(x,y) получена операцией примитивной рекурсии из функций g(x) и h(x,y,z).
Вычислить f(A,B), если g(x)=x+1, h(x,y,z)=x+y+z
Задание 3.
Проверить правильно
SibGOODy
: 29 июля 2023
300 руб.
Экзаменационная работа по дисциплине: Математическая логика и теория алгоритмов. Билет №15
SibGOODy
: 15 июля 2023
Билет №15
А – день даты (от 1 до 31) отправки экзаменационного задания, В – месяц даты (от 1 до 12) отправки экзаменационного задания.
A=20, B=9
1. Функция f(x) получена операцией примитивной рекурсии из константы C и функции h(x,y).
Вычислить f(B), если C=1, h(x,y)=x+6y
2. Функция g(x,y) получена операцией суперпозиции функций f(x,y,z), f1(x,y), f2(x,y), f3(x,y)
Вычислить g(A,B), если f(x,y,z)=xy+z, f1(x,y)=x, f2(x,y)=xy, f3(x,y)=5.
3. Проверить правильность рассуждения (метод любой)
Стра
SibGOODy
: 15 июля 2023
300 руб.
Экзаменационная работа по дисциплине: Математическая логика и теория алгоритмов. Билет №7
SibGOODy
: 15 июля 2023
Билет №7
А – день даты (от 1 до 31) отправки экзаменационного задания, В – месяц даты (от 1 до 12) отправки экзаменационного задания.
A=21; B=1
1. Функция g(x,y) получена операцией суперпозиции функций f(x,y,z), f1(x,y), f2(x,y), f3(x,y)
Вычислить g(A,B), если f(x,y,z)=x+y+z, f1(x,y)=3y, f2(x,y)=x+y, f3(x,y)=y+15.
2. Функция f(x,y) получена операцией примитивной рекурсии из функций g(x) и h(x,y,z).
Вычислить f(A,B), если g(x)=1, h(x,y,z)=x+y+z
3. Проверить правильность рассуждения (метод люб
SibGOODy
: 15 июля 2023
300 руб.
Экзаменационная работа по дисциплине: Математическая логика и теория алгоритмов. Билет №11
SibGOODy
: 10 июля 2023
Билет №11
А – день даты (от 1 до 31) отправки экзаменационного задания, В – месяц даты (от 1 до 12) отправки экзаменационного задания.
A=19, B=1
1. Функция f(x) получена операцией примитивной рекурсии из константы C и функции h(x,y).
Вычислить f(B), если C=10, h(x,y)=2x+y
2. Функция g(x,y)получена операцией суперпозиции функций f(x,y,z), f1(x,y), f2(x,y), f3(x,y)
Вычислить g(A,B), если f(x,y,z)=x, f1(x,y)=3x+y, f2(x,y)=xy, f3(x,y)=y+5.
3. Проверить правильность рассуждения (метод любой)
Роуте
SibGOODy
: 10 июля 2023
300 руб.
Другие работы
Насос водокольцевой вакуумный ВВН2 дегазатора ДВС-3-Чертеж-Оборудование для бурения нефтяных и газовых скважин-Курсовая работа-Дипломная работа
https://vk.com/aleksey.nakonechnyy27
: 11 июня 2016
Насос водокольцевой вакуумный ВВН2 дегазатора ДВС-3-(Формат Компас-CDW, Autocad-DWG, Adobe-PDF, Picture-Jpeg)-Чертеж-Оборудование для бурения нефтяных и газовых скважин-Курсовая работа-Дипломная работа
https://vk.com/aleksey.nakonechnyy27
: 11 июня 2016
400 руб.
Расчёт режима работы сцепления автомобиля ГАЗ 3110
GnobYTEL
: 3 марта 2012
На автомобиле размещено сухое, однодисковое, всегда включенное сцепление, с гидравлическим приводом устройства выключения (рисунок 1).
Сцепление состоит из алюминиевого картера, муфты выключения с подшипником и вилкой, основного диска в комплекте (корзины), ведомого диска, главного и рабочего цилиндров, соединенных между собой трубопроводом и трубкой. На автомобилях, оборудованных двигателем Змз-4062, размещается сцепление с диафрагменной пружиной.
На моделях с двигателем Змз-402 возможна монт
GnobYTEL
: 3 марта 2012
44 руб.
Аудиторские доказательства и источники их получения
Elfa254
: 6 сентября 2013
Содержание
1. Теоретическая часть
1.1 Аудиторские доказательства и источники их получения.
2. Практическая часть
Теоретическая часть
1.1 Аудиторские доказательства и источники их получения
Федеральный аудиторский стандарт «Аудиторские доказательства» устанавливает единые требования к количеству и качеству доказательств, которые необходимо получить при аудите финансовой (бухгалтерской) отчетности, а также к процедурам, выполняемым с целью получения доказательств.
Понятия достаточности и на
Elfa254
: 6 сентября 2013
5 руб.
Экзамен по статистике. Тест. Билет № 17
love14
: 6 июня 2013
Вопросы:
1. Численность работников предприятия составила по годам:
1-й год – 900 3-й год – 922
2-й год – 920 4-й год – 940
Чему равен темп прироста в 4-м году (цепной):
1.101,9%; 3. 1,9%;
2.104,4%; 4. 4,4%.
3. Для определения коэффициента асимметрии не используется:
1.среднее квадратическое отклонение
2.дисперсия
3.мода
4.средняя величина
11.В каком направлении прибыль не используется:
1.на развитие предприятия
2.на выплату зараб
love14
: 6 июня 2013
180 руб.
