Экзаменационная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №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 руб.
Экзаменационная работа по дисциплине: Математическая логика и теория алгоритмов. Билет №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 руб.
Экзаменационная работа по дисциплине: Математическая логика и теория алгоритмов. Билет №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 руб.
Экзаменационная работа по дисциплине: Математическая логика и теория алгоритмов. Билет №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 руб.
Другие работы
Комплексный анализ финансового рынка факторинговой услуги
Lokard
: 24 ноября 2013
Введение
1. Методическое содержание исследования
1.1 Особенности маркетинга в банковской сфере услуг
1.2 Комплексный анализ РБУ
2. Анализ факторинговой банковской услуги
Сущность факторинга
Спрос на факторинг как фактор оптимального управления дебиторской задолженностью для промышленного предприятия
3. Анализ рыночной ситуации осуществления факторинговых услуг
3.1 Эволюция факторинга
3.2 Плюсы и минусы факторинга в аспекте конкурентоспособности на РБУ
4. Разработка услуги факторинга на примере П
Lokard
: 24 ноября 2013
10 руб.
Умножения чисел в прямом коде в формате с плавающей запятой
VikkiROY
: 19 октября 2012
Разработан алгоритм умножения чисел в прямом коде в формате с плавающей запятой.
разрядность операндов – мантисс M = 16, порядков P = 6;
математическая модель – автомат Мили;
элементный базис – Булевый базис;
в качестве элементов памяти использовать D – триггеры;
Угату, Фрид А.И., ВТиЗи, 2012, ВМ, 5 семестр.
VikkiROY
: 19 октября 2012
20 руб.
Инфологическая модель базы данных технологического процесса
Elfa254
: 4 октября 2013
Введение. 3
1. Анализ предметной области. 4
1.1. Описание предметной области. 4
1.2. Сущность инфологического моделирования. 6
2. База данных технологического процесса. 10
Заключение. 13
Список литературы.. 15
Введение
Данная курсовая работа посвящена анализу проектирования инфологической модели базы данных технологического процесса.
Целью курсовой работы является проектирование инфологической модели базы данных технологического процесса.
Задачами, которые следует решить для раскрытия
Elfa254
: 4 октября 2013
10 руб.
