Экзаменационная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №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 руб.
Другие работы
Вопрос по организации ИВС
DocentMark
: 14 февраля 2013
На сегодняшний день в мире существует более 130 миллионов компьютеров и более 80 % из них объединены в различные информационно-вычислительные сети от малых локальных сетей в офисах до глобальных сетей типа Internet. Всемирная тенденция к объединению компьютеров в сети обусловлена рядом важных причин, таких как ускорение передачи информационных сообщений, возможность быстрого обмена информацией между пользователями, получение и передача сообщений (факсов,
E - Mail писем и прочего) не отходя от р
DocentMark
: 14 февраля 2013
15 руб.
Контрольная работа по дисциплине: Информатика. Вариант №
IT-STUDHELP
: 17 мая 2023
Контрольная работа
1. Обработка одномерных массивов.
Цель: изучение простейших алгоритмов организации и обработки одномерных массивов на языке С++.
Задание
1. Самостоятельно изучить возможности языка программирования C++ для описания, инициализации и обработки одномерных массивов.
2. Создать консольное приложение, в котором реализовать следующие вычисления:
объявление заданного массива целых чисел фиксированной длины;
инициализацию элементов массива посредством ввода с клавиатуры;
заданный
IT-STUDHELP
: 17 мая 2023
500 руб.
Понятие административного штрафа
Алёна51
: 1 ноября 2015
Введение 3
1. История возникновения административного штрафа 5
2. Административный штраф в системе современного института административного права 17
Заключение 30
Список использованной литературы 34
Алёна51
: 1 ноября 2015
50 руб.
Решение задач 1. Ввод излучения в оптическое волокно по дисциплине: «Оптические системы передачи» Вариант 3
Иван262
: 16 апреля 2023
Задача 1
Определите критический угол падения из стекла в воздух, если абсолютный показатель преломления стекла равен nc.
Задача 2
Рассчитать критический угол падения луча из сердцевины в оболочку ОВ, числовую апертуру ОВ, входную угловую апертуру (апертурный угол), согласно данным варианта
Задача 3
Излучение вводится из лазера в планарный оптический волновод с помощью прямоугольной равнобедренной призмы с показателем преломления n4. Определить, каким должен быть угол падения излучения на призму
Иван262
: 16 апреля 2023
200 руб.
