Экзаменационная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №15
Состав работы
|
|
Работа представляет собой файл, который можно открыть в программе:
- Microsoft Word
Описание
Задание.
Переведите данное рассуждение в логическую символику и проверьте его правильность.
Высказывание: Иванов не сделает эту работу, если ее сделает Петров. Петров и Сидоров сделают эту работу в том и только том случае, если ее сделает Иванов. Сидоров эту работу сделает, а Иванов нет. Следовательно, Петров не сделает эту работу.
Переведите данное рассуждение в логическую символику и проверьте его правильность.
Высказывание: Иванов не сделает эту работу, если ее сделает Петров. Петров и Сидоров сделают эту работу в том и только том случае, если ее сделает Иванов. Сидоров эту работу сделает, а Иванов нет. Следовательно, Петров не сделает эту работу.
Дополнительная информация
20.09.2014 Зачет
Похожие материалы
Экзаменационная работа по дисциплине: Математическая логика и теория алгоритмов
Necron04
: 30 марта 2021
Билет №14
А – день даты (от 1 до 31) отправки экзаменационного задания, В – месяц даты (от 1 до 12) отправки экзаменационного задания.
A = 7
B = 6
500 руб.
Математическая логика и теория алгоритмов Вариант 15
Aleksandr20
: 1 ноября 2023
Задача 1
Построить таблицу истинности логической формулы.
Задача 2
Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции
Если Оля продолжит смотреть аниме, то друзья не помогут с учебой и ее отчислят из вуза. Друзья помогли Оле с учебой, и Оля продолжает учиться в вузе. Значит, Оля не смотрит больше аниме.
Задача 3
В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме. Для каждого преобразования у
900 руб.
Математическая логика и теория алгоритмов. Вариант №15
gnv1979
: 5 июня 2016
1. Пользуясь определением формулы исчисления высказываний проверить, является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
Муравей поднимет соломинку, если ее вес не превышает собственный вес муравья более, чем в 10 раз. Муравей не будет поднимать соломинку, если она ему не нужна. Муравей не стал поднимать соломинку. Значит, соломинка слишком тяжелая.
3. Пользуясь опреде
100 руб.
Экзаменационная работа По дисциплине: Математическая логика и теория алгоритмов Билет 10
Nitros
: 28 июня 2025
А – день даты (от 1 до 31) отправки экзаменационного задания, В – месяц даты (от 1 до 12) отправки экзаменационного задания.
1. Функция получена операцией суперпозиции функций , , ,
Вычислить , если , , ,
.
2. Функция получена операцией примитивной рекурсии из функций и .
Вычислить , если ,
3. Проверить правильность рассуждения (метод любой)
Если бы на стадо не напал волк, овечка Долли не сбежала бы. Если бы пастух был внимательным, на стадо не напал бы волк. Пастух был н
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.
Проверить правильно
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. Проверить правильность рассуждения (метод любой)
Стра
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. Проверить правильность рассуждения (метод люб
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. Проверить правильность рассуждения (метод любой)
Роуте
300 руб.
Другие работы
Теплотехника Задача 18.186 Вариант 00
Z24
: 13 января 2026
Перегретый пар с температурой t1 и давлением p1, подается в турбину паровой установки, работающей по теплофикационному циклу.
Мощность турбины, необходимая для привода электрогенератора, равна N = 10 МВт.
Определить: параметры pi, Ti, υi, ii, si для всех узловых точек цикла, КПД цикла, теплоту, отданную в систему отопления, полный и удельный расход пара.
250 руб.
Проектный практикум . Вариант №14
IT-STUDHELP
: 25 ноября 2021
Темы на проектирование ИС
Выставка: стенды, стендисты, экскурсии, посетители.
Оглавление
Реферат 3
Введение 5
1 Характеристика объекта информатизации 6
2 Анализ существующих компьютерных разработок 8
3 Выбор и обоснование средств и методов разработки 10
3.1. Выбор метода разработки 10
3.2. Выбор и обоснование языка программирования 11
3.3 Описание СУБД, содержащее наименование СУБД и причины её выбора 12
4 Техническое задание на создание ИС 14
5 Разработка функциональной структуры ИС 15
6 Раз
800 руб.
Итоговый тест Элементы математической логики
olgarost
: 4 января 2023
Элементы математической логики, тест
Формула, выражающая правило цепного заключения, имеет вид: ...
в столбце ... таблицы находятся значения импликации
Формула алгебры высказываний называется тождественно-ложной, если ...
Если при любой подстановке вместо переменных xi из mi предикат превращается в истинное высказывание, то он называется ...
в столбце ... таблицы находятся значения функции ↔
в столбце ... таблицы находятся значения функции конъюнкции
Формула ... выражает один из законов поглощен
100 руб.
Гидравлика Задача 3.35 Вариант 7
Z24
: 20 ноября 2025
Вертикальный щит А, перекрывающие водослив, может перемещаться в пазах В вверх и вниз. Глубина жидкости Н=1,1+(0,02·7) м, ширина щита b=2,6+(0,05·7) м.
Определить силу F, с которой щит прижимается к пазам.
130 руб.