Экзаменационная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №15
-
Категории:
СибГУТИ, Математическая логика и теория алгоритмов, Работа Экзаменационная
-
Добавлен:
24.01.2015
-
Размер:
58 KB
-
Покупок:
2
-
Добавил:
karlson087
Написать сообщение
Скачать
Состав работы
CF6A9406-D84D-4A1C-92F8-61B9A5ED664A.doc
|
Необходимые программы
Работа представляет собой файл, который можно открыть в программе:
- Microsoft Word
Описание
Задание.
Переведите данное рассуждение в логическую символику и проверьте его правильность.
Высказывание: Иванов не сделает эту работу, если ее сделает Петров. Петров и Сидоров сделают эту работу в том и только том случае, если ее сделает Иванов. Сидоров эту работу сделает, а Иванов нет. Следовательно, Петров не сделает эту работу.
Переведите данное рассуждение в логическую символику и проверьте его правильность.
Высказывание: Иванов не сделает эту работу, если ее сделает Петров. Петров и Сидоров сделают эту работу в том и только том случае, если ее сделает Иванов. Сидоров эту работу сделает, а Иванов нет. Следовательно, Петров не сделает эту работу.
Дополнительная информация
20.09.2014 Зачет
Похожие материалы
Экзаменационная работа по дисциплине: Математическая логика и теория алгоритмов
Necron04
: 30 марта 2021
Билет №14
А – день даты (от 1 до 31) отправки экзаменационного задания, В – месяц даты (от 1 до 12) отправки экзаменационного задания.
A = 7
B = 6
Necron04
: 30 марта 2021
500 руб.
Математическая логика и теория алгоритмов Вариант 15
Aleksandr20
: 1 ноября 2023
Задача 1
Построить таблицу истинности логической формулы.
Задача 2
Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции
Если Оля продолжит смотреть аниме, то друзья не помогут с учебой и ее отчислят из вуза. Друзья помогли Оле с учебой, и Оля продолжает учиться в вузе. Значит, Оля не смотрит больше аниме.
Задача 3
В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме. Для каждого преобразования у
Aleksandr20
: 1 ноября 2023
900 руб.
Математическая логика и теория алгоритмов. Вариант №15
gnv1979
: 5 июня 2016
1. Пользуясь определением формулы исчисления высказываний проверить, является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
Муравей поднимет соломинку, если ее вес не превышает собственный вес муравья более, чем в 10 раз. Муравей не будет поднимать соломинку, если она ему не нужна. Муравей не стал поднимать соломинку. Значит, соломинка слишком тяжелая.
3. Пользуясь опреде
gnv1979
: 5 июня 2016
100 руб.
Экзаменационная работа По дисциплине: Математическая логика и теория алгоритмов Билет 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 руб.
Другие работы
Жилищное право РФ
elementpio
: 21 марта 2013
Содержание
Введение
1. Основные положения жилищного права Российской Федерации
1.1 Жилищное законодательство РФ
1.2 Субъекты жилищных правоотношений
1.3 Самоуправление в области жилищных отношений
1.4 Основания возникновения жилищных прав и обязанностей, объекты жилищных прав
2. Пределы пользования жилым помещением
3. Жилищный фонд
Заключение
Список использованных источников
Введение
Жилищное право играет важную роль в формировании представлений о регулировании общественных отношений в жилищной
elementpio
: 21 марта 2013
Структуры и алгоритмы обработки данных (часть 2). ВАРИАНТ №5. Курсовая работа.
321
: 23 октября 2019
1. Хранящуюся в файле базу данных (файл определяется вариантом) загрузить в оперативную память компьютера и построить дерево поиска заданного типа, упорядочивающее данные сначала по первому полю, затем по второму и т.д.
Для варианта №5 число B = 1, следовательно файл базы данных – файл base1.dat.
Библиогpафическая база данных "Жизнь замечательных людей"
Стpуктуpа записи:
Автоp: текстовое поле 12 символов
фоpмат <Фамилия>_<буква>_<буква>
Заглавие: текстовое по
321
: 23 октября 2019
150 руб.
Кинематическая схема Уралмаш 4-Э 67-Плакат-Картинка-Фотография-Чертеж-Оборудование для бурения нефтяных и газовых скважин-Курсовая работа-Дипломная работа-Формат Picture-Jpeg
leha.nakonechnyy.92@mail.ru
: 19 декабря 2017
Кинематическая схема Уралмаш 4-Э 67-Плакат-Картинка-Фотография-Чертеж-Оборудование для бурения нефтяных и газовых скважин-Курсовая работа-Дипломная работа-Формат Picture-Jpeg
leha.nakonechnyy.92@mail.ru
: 19 декабря 2017
186 руб.
Обоснование и расчет искусственного освещения помещения здания закусочной
Nadya
: 18 мая 2009
Задание
1. Требования руководящих документов по вопросам производственной санитарии и гигиены труда
2. Анализ опасных и вредных факторов при строительстве и эксплуатации здания читального зала
3. Роль естественного освещения в создании комфортных
условий труда
4. Виды естественного освещения и обоснование целесообразности применения освещения данного типа
5. Нормирование освещенности.
6. Расчет естественного освещения.
7. Анализ результатов расчета
9. Вывод или предложение по совершенствованию
Nadya
: 18 мая 2009
