Поиск

Полнотекстовый поиск:
Где искать:
везде
только в названии
только в тексте
Выводить:
описание
слова в тексте
только заголовок

Рекомендуем ознакомиться

'Урок'
Проблема внедрения Федеральных государственных образовательных стандартов (ФГОС ООО) последнее время, безусловно, является одной из обсуждаемых пробле...полностью>>
'Документ'
Мы с вами постоянно должны повышать свою квалификацию, перестраивать мышление на здоровый образ жизни, пополнять собственный багаж теоретических знани...полностью>>
'Документ'
Экологичный городской автобус MAN Lion’s City A21 CNG с газовым двигателем, проходящий опытную эксплуатацию в предприятии ГУП МО МОСТРАНСАВТО МАП №2 А...полностью>>
'Документ'
00 100430 Салфетки диспенсерные ALBA ECONOM, белые, однослойные 300 листов 4 09,00 5 01 ,00 ТУАЛЕТНАЯ БУМАГА 1 1003318 Туалетная Бумага ALBA Extra, бе...полностью>>

Главная > Документ

Сохрани ссылку в одной из сетей:
Информация о документе
Дата добавления:
Размер:
Доступные форматы для скачивания:

Контрольная работа по дисциплине

«Математическая логика и теория алгоритмов»

Задание 1.

Доказать или опровергнуть умозаключение по заданному модусу путём построения диаграмм Эйлера.

Варианты заданий в формате: (номер фигуры силлогизма, название фигуры).

2-Cesare.

Задание №2.

Формализовать высказывание. Получить СДНФ, СКНФ, ДНФ, КНФ. Представить высказывание в виде суперпозиции только следующих операций 1) «Штрих Шеффера», 2) «Стрелка Пирса», 3) «Импликация» и «Константа нуля»(«0»).

«Студент сдает зачет на 4 или на 5 тогда и только тогда, когда добросовестно решает задачи по математической логике».

Задание №3.

Доказать или опровергнуть общезначимость формулы, используя законы алгебры логики и формулы равносильных преобразований, а также путем построения дерева доказательства (дерева редукции).

Задание №4.

Проверить аргумент методом резолюций. Получить все следствия из данных посылок.

«Если сегодня вечером будет дождь, то я пойду в казино. Если завтра будет снег, то я пойду на дискотеку. Сегодня вечером будет дождь или завтра будет снег. Следовательно, я пойду в казино или на дискотеку».

Задание №5.

По вариантам задания №1 формализовать умозаключение по заданному модусу в логике предикатов. Доказать или опровергнуть умозаключение по заданному модусу методом резолюций с использованием двух моделей формализации.



Похожие документы:

  1. Методические указания по выполнению контрольной работы по дисциплине «Математическая логика»

    Методические указания
    ... информатики и математики МЕТОДИЧЕСКИЕ УКАЗАНИЯ по выполнению контрольной работы по дисциплине «Математическая логика» Направление подготовки: 050100.62 ... что алгоритм сходится. Любая практическая задача требует предварительного задания исходных данных ...
  2. Аннотация к рабочей программе дисциплины «Математическая логика и теория алгоритмов» по направлению 230100. 62 Информатика и вычислительная техника

    Документ
    ... рабочей программе дисциплины «Математическая логика и теория алгоритмов» по направлению 230100. ... . Свойства алгоритмов и способы их задания. Алгоритмы типовых вычислительных ... работы. Режим трассировки выполнения программ. Использование контрольных ...
  3. Программа дисциплины Математическая логика и теория алгоритмов  для направления 035800. 62 «Фундаментальная и прикладная лингвистика» подготовки бакалавра Автор программы

    Программа дисциплины
    ... 1Тематика заданий текущего контроля Пример контрольной работы по теме Логика ... дисциплине. 11Учебно-методическое и информационное обеспечение дисциплины 11.1Базовый учебник Верещагин Н.К., Шень А. Лекции по математической логике и теории алгоритмов ...
  4. Методические рекомендации для выполнения контрольной работы по дисциплине "Элементы математической логики". Врезультате освоения учебной дисциплины обучающийся должен уметь

    Методические рекомендации
    ... выполнения контрольной работы по дисциплине "Элементы математической логики". В результате освоения учебной дисциплины обучающийся ... дисциплины обучающийся должен знать: основные принципы математической логики, теории множеств и теории алгоритмов; ...
  5. Операционные системы методические указания по контрольной работе по дисциплине

    Документ
    ... 201__г. М ОПЕРАЦИОННЫЕ СИСТЕМЫ етодические указания по контрольной работе по дисциплине Направление подготовки: 230100 – Информатика и ... строгий математический аппарат лямбда-исчисления Чёрча, алгебра списочных структур (S-списки) и теория рекурсивных ...

Другие похожие документы..