Страницу Назад
Поискать другие аналоги этой работы
900 Онлайн-тест по дисциплине: Математическая логика и теория алгоритмов. Помогу пройти БЕСПЛАТНО!ID: 220373Дата закачки: 03 Октября 2021 Продавец: IT-STUDHELP (Напишите, если есть вопросы) Посмотреть другие работы этого продавца Тип работы: Тесты Форматы файлов: Microsoft Word Сдано в учебном заведении: СибГУТИ Описание: Вопрос №1 На множестве натуральных чисел задан предикат P(x,y)="x+4=y". Определить область истинности предиката ∃xP(x,y): пустое множество все натуральные числа целые числа, большие или равные 4 все целые числа целые числа, большие 4 Вопрос №2 На множестве вещественных чисел задан предикат P(x,y)="x+4=y". Определить область истинности предиката ∃xP(x,y): пустое множество все целые числа числа, большие или равные 4 все вещественные числа Вопрос №3 Верно ли, что ∀x∃yP(x,y)≡∃y∀xP(x,y): нельзя определить верно зависит от определения предиката P не верно Вопрос №4 Какие переменные в формуле являются свободными : x y, z x, z, p z нет свободных переменных Вопрос №5 Дана машина Тьюринга с алфавитом и программой Определить, через сколько шагов машина Тьюринга перейдет в заключительное состояние, если начальная конфигурация была 5 3 2 никогда не перейдет Вопрос №6 Укажите формулы, которые не в предваренной форме: нет ни одной формулы в предваренной форме Вопрос №7 Какие из формул представлены в предваренной форме : нет ни одной формулы в предваренной форме Вопрос №8 Выяснить, является ли следующая формула тождественно истинной или тождественно ложной: (x&y → z) → (x → (y → z)): является тождественно истинной является тождественно ложной невозможно определить Вопрос №9 Если в логическом исчислении найдется такая выводимая формула А, что формула ¬А также выводима, то логическое исчисление называется: противоречивым непротиворечивым невыполнимым Вопрос №10 Какие из выражений являются формулами исчисления предикатов: 1. P(x) 2.∀xQ(x) 3. ∃x∀xR(x,y) 1 и 2 2 и 3 все нет формул ИП Вопрос №11 Если алгоритмическое преобразование начальных данных происходит по шагам и на каждом шаге алгоритма из данных, имевшихся на предыдущем шаге, по предписанным правилам получается новая совокупность величин, можно говорить о: дискретности алгоритма непрерывности алгоритма выполнимости алгоритма Вопрос №12 Дана машина Тьюринга с алфавитом и программой Определить сколько единиц будет на ленте машины Тьюринга через 2 шага после начала работы, если начальная конфигурация была 4 3 2 1 Вопрос №13 Функция F(x,y) получена операцией суперпозиции функций f(x,y,z) и g1(x,y), g2(x,y), g3(x,y). f(x,y,z)=(x+y)z, g1(x,y)=x, g2(x,y)=y-x, g3(x,y)=x+y. Определите значение F(2,3): 10 15 9 6 значение функции неопределено Вопрос №14 Функция F(x,y) получена операцией суперпозиции функций f(x,y,z) и g1(x,y), g2(x,y), g3(x,y). f(x,y,z)=(x+y)z, g1(x,y)=x, g2(x,y)=x-y, g3(x,y)=x+y. Определите значение F(5,3): 15 56 9 32 значение функции неопределено Вопрос №15 Дана машина Тьюринга с алфавитом и программой Определить сколько единиц будет на ленте машины Тьюринга через 2 шага после начала работы, если начальная конфигурация была 4 3 2 1 Вопрос №16 Что из указанного НЕ является свойством алгоритма: направленность дискретность детерминированность вычислимость Вопрос №17 Если имеется критерий, позволяющий определить, что является результатом работы алгоритма, значит алгоритм: предсказуемый элементарный направленный дискретный Вопрос №18 Укажите неверные соотношения с кванторами: ∀x∀yQ(x,y)≡∀y∀xQ(x,y) ∀x∃yQ(x,y)≡∀y∃xQ(x,y) ¬∀xP(x)≡∃x¬P(x) Вопрос №19 Чтобы узнать, выводима ли некоторая формула в исчислении высказываний, достаточно выяснить, является ли формула: тождественно ложной тождественно истинной выводимой Вопрос №20 На множестве целых чисел задан предикат P(x,y)="x+4=y". Определить область истинности предиката ∃xP(x,y): пустое множество все натуральные числа целые числа, большие или равные 4 все целые числа целые числа, большие 4 Комментарии: Оценка: отлично - 100% верно Дата оценки: 03.10.2021 Не нашли нужный ответ на тесты СибГУТИ? Пишите, пройду тест БЕСПЛАТНО! Помогу с вашим онлайн тестом, другой работой или дисциплиной. E-mail: sneroy20@gmail.com E-mail: ego178@mail.ru Размер файла: 131,7 Кбайт Фаил: 
(.docx)
Скачано: 4 Коментариев: 0 |
||||
Есть вопросы? Посмотри часто задаваемые вопросы и ответы на них. Опять не то? Мы можем помочь сделать! |
||||
Вход в аккаунт:
Страницу Назад
Cодержание / Математическая логика и теория алгоритмов / Онлайн-тест по дисциплине: Математическая логика и теория алгоритмов. Помогу пройти БЕСПЛАТНО!
Вход в аккаунт: