Математическая логика и теория алгоритмов. Билет №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 руб.
Другие работы
Механизм кулачковый ЛПЭТ КЧ0901.000 СБ. Сборочный чертеж
Laguz
: 11 марта 2024
Механизм кулачковый ЛПЭТ КЧ0901.000 СБ сделан в компас 16. Есть сборочный чертеж, спецификация и деталировка детали поз. 3 + ответы на вопросы
Laguz
: 11 марта 2024
200 руб.
Документальная электросвязь (ДЭС) - "Проектирование телеграфной станции СТИН-Э", вариант 12
vlanproekt
: 28 сентября 2013
Исходные данные
1. Телеграфный обмен
No п/п Наименование оконечного пункта Количество телеграмм
Исходящие Входящие
1 ГОС 1-2 490 600
2 ГОС 3-5 350 720
3 ГОС 6-9 600 840
4 ГОС 10 150 -
5 РУС 1-2 630 602
6 РУС 3-5 354 480
7 РУС 6-8 725 630
8 РУС 9-10 340 421
2. Направления телеграфного обмена
ЦКС 1 – 31% УК 1 – 41%
ЦКС 2 – 36% УК 2 – 31%
ЦКС 3 - 33% УК 3 – 28%
3. Надбавочный коэффициент, предназначенный для приведения суточной нагрузки к нагрузке наиболее нагруженных суток недели: Нс = 1,
vlanproekt
: 28 сентября 2013
390 руб.
Выпускная квалификационная работа на тему "Проект сети доступа по технологии GPON микрорайона Дружба г. Тюмени" МТС СИБГУТИ ДО
trtrt
: 29 марта 2018
ВКР на тему "Проект сети доступа по технологии GPON
микрорайона Дружба г. Тюмени"
Сибгути ДО
Факультет МТС
Содержит: 63с. + 2 Приложения + Анотация на 2 языках + Презентация + Титульный лист
Работа была защищена на отлично
Оснонвные главы(без подглав)
1 Характеристика зоны проектирования
2 Разработка основных проектных решений
3 Расчёт основных параметров проектируемой сети
4 Организация строительства сети доступа
5 Расчет технико-экономических показателей
Заключение
Приложение А. Технические
trtrt
: 29 марта 2018
500 руб.
Приближённые методы решения алгебраического уравнения
Qiwir
: 13 августа 2013
1. Численное решение уравнений с одним неизвестным
В данной работе рассматриваются метода приближённого вычисления действительных корней алгебраического или трансцендентного уравнения
f(x)=0 (1.1)
на заданном отрезке [a, b].
Уравнение называется алгебраическим, если заданная функция есть полином n-ой степени:
f(x) = P(x) = a0xn + a1xn- 1 + ... + an-1 x + an = 0, a0 1 0
Требование a0 1 0 обязательно, так как при невыполнении этого условия данное уравнение будет на порядок ниже.
Всякое уравнени
Qiwir
: 13 августа 2013
10 руб.
