Страницу Назад
Поискать другие аналоги этой работы
350 Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №9ID: 248087Дата закачки: 20 Ноября 2024 Продавец: holm4enko87 (Напишите, если есть вопросы) Посмотреть другие работы этого продавца Тип работы: Работа Контрольная Форматы файлов: Microsoft Word Сдано в учебном заведении: ДО СИБГУТИ Описание: ЗАДАНИЕ №1: ЛОГИКА ВЫСКАЗЫВАНИЙ. Данное высказывание записать в виде формулы логики высказываний. Построить отрицание данного высказывания в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык. Вариант 9. Если число делится на 3, то сумма его цифр делится на 3. ЗАДАНИЕ №2: ЛОГИКА ПРЕДИКАТОВ. Данное суждение записать в виде формулы логики предикатов. Построить отрицание данного суждения в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык. Вариант 9. Некоторые книги полезны. ЗАДАНИЕ №3: ФОРМАЛЬНЫЕ АКСИОМАТИЧЕСКИЕ ТЕОРИИ (ИСЧИСЛЕНИЯ). Установить правильность рассуждения, построив вывод исчисления высказываний. Вариант 9. Если эта собака не обучена, ее нельзя отпускать без поводка. Эту собаку можно отпускать без поводка. Значит, эта собака обучена. ЗАДАНИЕ №4: НЕЧЕТКАЯ ЛОГИКА. Определить степень равносильности формул A ̃ и B ̃ при условии, что X ̃ и Y ̃ принимают значения степеней истинности из множества {0,2;0,3}. № A ̃ B ̃ 9 Y ̃X ̃ Y ̃X ̃ ЗАДАНИЕ №5: АЛГОРИТМЫ. Составить программу машины Тьюринга, которая заданное слово Pвх преобразует в слово Pвых. № Pвх Pвых 9 111 1111 Комментарии: Комментарии: Оценка: отлично Дата оценки: 02.11.2024 Размер файла: 19,9 Кбайт Фаил: 
(.rar)
------------------- Обратите внимание, что преподаватели часто переставляют варианты и меняют исходные данные! Если вы хотите, чтобы работа точно соответствовала, смотрите исходные данные. Если их нет, обратитесь к продавцу или к нам в тех. поддержку. Имейте ввиду, что согласно гарантии возврата средств, мы не возвращаем деньги если вариант окажется не тот. -------------------
Коментариев: 0 |
||||
Есть вопросы? Посмотри часто задаваемые вопросы и ответы на них. Опять не то? Мы можем помочь сделать! |
||||
Вход в аккаунт:
Страницу Назад
Cодержание / Математическая логика и теория алгоритмов / Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №9
Вход в аккаунт: