Математическая логика и теория алгоритмов. Билет №4
-
Категории:
СибГУТИ, Математическая логика и теория алгоритмов, Работа Экзаменационная
-
Добавлен:
19.06.2020
-
Размер:
21 KB
-
Покупок:
2
-
Добавил:
Zla
Написать сообщение
Скачать
Состав работы
|
экз_Матлогика и теория алгоритмов(Б4).docx
|
Необходимые программы
Работа представляет собой zip архив с файлами (распаковать онлайн), которые открываются в программах:
- Microsoft Word
Описание
Экзаменационная работа
По дисциплине: Математическая логика и теория алгоритмов
Билет: 4
В прикрепленном файле скрин Билета
1) Функция f(x,y) получена операцией примитивной рекурсии из функций g(x) и h(x,y,z).
Вычислить g(A,B), если f(x,y,z)=xy+z, f_1 (x,y)=x+y, f_2 (x,y)=xy, f_3 (x,y)=x+5.
2)Функция f(x,y) получена операцией примитивной рекурсии из функций g(x) и h(x,y,z).
Вычислить f(A,B), если g(x)=2x+1, h(x,y,z)=x+3y+z
3)Проверить правильность рассуждения (метод любой)
Франция выйдет на чемпионат мира по футболу только если Германия не попадет на чемпионат мира. Бразилия выйдет на чемпионат мира, если Франция не попадет на чемпионат мира. Бразилия не попала на чемпионат мира. Значит, Германия не выйдет на чемпионат мира по футболу.
По дисциплине: Математическая логика и теория алгоритмов
Билет: 4
В прикрепленном файле скрин Билета
1) Функция f(x,y) получена операцией примитивной рекурсии из функций g(x) и h(x,y,z).
Вычислить g(A,B), если f(x,y,z)=xy+z, f_1 (x,y)=x+y, f_2 (x,y)=xy, f_3 (x,y)=x+5.
2)Функция f(x,y) получена операцией примитивной рекурсии из функций g(x) и h(x,y,z).
Вычислить f(A,B), если g(x)=2x+1, h(x,y,z)=x+3y+z
3)Проверить правильность рассуждения (метод любой)
Франция выйдет на чемпионат мира по футболу только если Германия не попадет на чемпионат мира. Бразилия выйдет на чемпионат мира, если Франция не попадет на чемпионат мира. Бразилия не попала на чемпионат мира. Значит, Германия не выйдет на чемпионат мира по футболу.
Дополнительная информация
Уважаемый студент дистанционного обучения,
Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов
Вид работы: Экзамен
Оценка:Отлично
Дата оценки: 11.02.2020
Мачикина Елена Павловна
Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов
Вид работы: Экзамен
Оценка:Отлично
Дата оценки: 11.02.2020
Мачикина Елена Павловна
Похожие материалы
Математическая логика и теория алгоритмов. Экзамен. Билет №4.
nik200511
: 3 февраля 2022
1) Функция f(x,y) получена операцией примитивной рекурсии из функций g(x) и h(x,y,z).
Вычислить g(A,B), если f(x,y,z)=xy+z, f1 (x,y)=x+y, f2 (x,y)=xy, f3 (x,y)=x+5.
2)Функция f(x,y) получена операцией примитивной рекурсии из функций g(x) и h(x,y,z).
Вычислить f(A,B), если g(x)=2x+1, h(x,y,z)=x+3y+z
3)Проверить правильность рассуждения (метод любой)
Франция выйдет на чемпионат мира по футболу только если Германия не попадет на чемпионат мира. Бразилия выйдет на чемпионат мира, если Франция не п
nik200511
: 3 февраля 2022
151 руб.
Экзамен по дисциплине: Математическая логика и теория алгоритмов. Билет №4
IT-STUDHELP
: 7 декабря 2020
Билет №4
А – день даты (от 1 до 31) отправки экзаменационного задания, В – месяц даты (от 1 до 12) отправки экзаменационного задания.
A = 6
B = 12
1. Функция f(x,y) получена операцией примитивной рекурсии из функций g(x) и h(x,y,z).
Вычислить g(A,B), еслиf(x,y,z)=xy+z,f_1 (x,y)=x+y,f_2 (x,y)=xy,
f_3 (x,y)=x+5.
2. Функция f(x,y) получена операцией примитивной рекурсии из функций g(x) и h(x,y,z).
Вычислить f(A,B), еслиg(x)=2x+1,h(x,y,z)=x+3y+z
3. Проверить правильность рассуждения (метод любо
IT-STUDHELP
: 7 декабря 2020
160 руб.
Экзамен по дисциплине: Математическая логика и теория алгоритмов. Билет №4
Cherebas
: 13 января 2013
Проверить являются ли формулами ИВ выражения:
(А & В)СD
(А & В)->С
(A->B)->(C->D)
(((A)->D)->C)
Cherebas
: 13 января 2013
100 руб.
Математическая логика и теория алгоритмов
Илья272
: 24 мая 2021
Задача 1
Построить таблицу истинности логической формулы.
Задача 2
Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции
Если Оля продолжит смотреть аниме, то друзья не помогут с учебой и ее отчислят из вуза. Друзья помогли Оле с учебой, и Оля продолжает учиться в вузе. Значит, Оля не смотрит больше аниме.
Задача 3
В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме. Для каждого преобразован
Илья272
: 24 мая 2021
1200 руб.
Математическая логика и теория алгоритмов
Aleksey0697
: 19 марта 2019
1)Проверить полноту системы логических функций, используя критерий Поста.
Заполнение таблицы Поста должно быть обоснованным. Если система не
полна, то достроить ее до полной. К системе добавить функции {0, 1, }
(константу 0, константу 1, отрицание) Из полученного множества функций
выбрать все полные подсистемы. (5б.)
2)Когда у меня есть свободное время, я читаю книги. Если книга попадается скучная, я
засыпаю. Сегодня у меня есть свободное время и мне посоветовали интересную книгу.
Значит, сегодн
Aleksey0697
: 19 марта 2019
120 руб.
Математическая логика и теория алгоритмов
vohmin
: 3 июня 2018
2. Является ли следующее рассуждение верным?
Если Джон не встречал этой ночью Смита, то либо Смит был убийцей, либо Джон лжет. Если Смит не был убийцей, то Джон не встречал Смита этой ночью, и убийство произошло после полуночи. Если убийство произошло после полуночи, то либо Смит был убийцей, либо Джон лжет. Следовательно, убийцей был Смит.
Решение
Суть применения методов алгебры логики к решению логических задач состоит в том, что, имея конкретные условия логической задачи, необходимо записа
vohmin
: 3 июня 2018
50 руб.
Математическая логика и теория алгоритмов
TehBlok
: 26 февраля 2017
1. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
2. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
E(x, y) = И <=> x и y – один и тот же человек;
P(x, y) = И <=> x родитель y;
C(x, y) = И <=> x и y – супруги;
M(x) = И <=> x – мужчина;
W(x) = И <=> x – женщина.
С использованием этих предикатов записать формулы, выражающие следующие утверждения:
X – прадедушка
3. Привести формулу к предваренной форме
4. Постр
TehBlok
: 26 февраля 2017
100 руб.
Математическая логика и теория алгоритмов
style2off
: 12 января 2016
ПРАВИЛА ВЫПОЛНЕНИЯ И ОФОРМЛЕНИЯ КОНТРОЛЬНОЙ РАБОТЫ
При выполнении контрольной работы необходимо строго придерживаться указанных ниже правил. Работы, выполненные без соблюдения этих правил, не засчитываются и возвращаются студенту для переработки.
Контрольную работу следует выполнять в редакторе Microsoft Word. Формулы следует набирать в специальном редакторе Microsoft Equation.
На титульном листе должны быть ясно написаны фамилия студента, его инициалы, номер варианта, название дисцип
style2off
: 12 января 2016
800 руб.
Другие работы
Инженерная графика. Задание №45. Вариант №9. Деталь №3
Чертежи
: 23 марта 2020
Все выполнено в программе КОМПАС 3D v16.
Боголюбов С.К. Индивидуальные задания по курсу черчения.
Задание 45. Вариант 9. Задача 3.
Тема: Проекционные виды.
Построить третью проекцию модели по двум заданным. Нанести размеры.
В состав работы входят три файла:
– 3D модель детали;
- ассоциативный чертеж в трёх видах, а так же изометрия и диметрия с действительными коэффициентами;
– обычный чертеж в трёх видах, а так же изометрия с коэффициентом 1 и диметрия с коэффициентами 1/0.5/1.
Помогу с др
Чертежи
: 23 марта 2020
50 руб.
Использование ЭВМ. Билет 14
Seraphim
: 22 апреля 2015
Ответы на вопросы к зачету по курсу «Использование ЭВМ в исследовании функциональных узлов и блоков телекоммуникационного оборудования»
Вопросы:
1. Какие функции выполняет мультиметр?
2. Перечислите виды анализа схем, которые можно выполнить с помощью программы Electronics WorkBench?
3. Сколько каналов имеет осциллограф?
4. Опишите органы управления осциллографа программы Electronics WorkBench.
5. Изобразите схему подключения измерителя АЧХ к измеряемому объекту.
6. Можно ли рассчитать АЧХ без
Seraphim
: 22 апреля 2015
200 руб.
Выпускная квалификационная работа. ВКР. Тема: Разработка алгоритма выбора состава мер по обеспечению безопасности значимых объектов КИИ РФ
SibGUTI2
: 24 мая 2020
СОДЕРЖАНИЕ
Введение 7
1. Анализ базовых нормативно-правовых регламентирующих актов обеспечения безопасности информационной инфраструктуры 9
1.1 Постановка задачи 9
1.2 Проведение анализа действующих нормативно-правовых актов 9
1.3 Определение принадлежности государственных органов и организаций к субъектам критической информационной инфраструктуры 14
1.4 Вывод по главе 15
2. Характеристика объекта критической информационной инфраструктуры 17
2.1 Постановка задачи 17
2.2 Выявление критических п
SibGUTI2
: 24 мая 2020
500 руб.
Методы принятия управленческого решения
alfFRED
: 22 октября 2013
СОДЕРЖАНИЕ......................................................................................................................................................................................................... 2
ВВЕДЕHИЕ............................................................................................................................................................................................................... 3
1.ОСНОВНЫЕ СТАДИИ ПОДГОТОВКИ ПРИНЯТИЯ РЕШЕНИЯ.....................
alfFRED
: 22 октября 2013
10 руб.
