Все разделы / Дискретная математика /


Страницу Назад
Поискать другие аналоги этой работы

За деньгиЗа деньги (400 руб.)

МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ. КОНТРОЛЬНАЯ РАБОТА. ВАРИАНТ №8

ID: 144039
Дата закачки: 15 Июля 2014

Автор: Максим
Продавец: Максим
    Посмотреть другие работы этого продавца

Тип работы: Работа Контрольная
Сдано в учебном заведении: ВГУЭС

Описание:
Владивостокский государственный университет
экономики и сервиса
____________________________________________________
А.А. СТЕПАНОВА
Т.Ю. ПЛЕШКОВА
Е.Г. ГУСЕВ

МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ

Практикум



1. ПЕРЕЧЕНЬ ТЕМ
Тема 1. «Совершенные дизъюнктивные нормальные формы (СДНФ) и совершенные конъюнктивные нормальные формы (СКНФ) в алгебре высказываний (АВ)». Формулы АВ. Эквивалент-ность формул АВ. Понятия дизъюнктивной нормальной формы (ДНФ), конъюнктивной нормальной формы (КНФ), СДНФ, СКНФ.
Тема 2. «Логическое следствие в алгебре высказываний». По-нятия логического следствия. Связь между понятиями логического следствия, противоречивого множества формул, тождественно ложной формулы и тождественно истинной формулы.
Тема 3. «Исчисление высказываний (ИВ). Доказуемые формулы ИВ». Понятие исчисления. Язык ИВ. Определение формулы ИВ. Ак-сиомы и правила вывода ИВ. Доказуемые и выводимые формулы ИВ. Примеры доказуемых и выводимых формул ИВ. Теорема о дедукции в ИВ. Эквивалентные формулы ИВ.
Тема 4. «Логика предикатов (ЛП). Алгебраические системы. Подсистемы». Понятия сигнатуры, алгебраической системы данной сигнатуры, подсистемы, подсистемы, порожденной множеством. При-меры. Понятия терма данной сигнатуры, значение терма на кортеже в алгебраической системе. Теорема о подсистеме, порожденной множест-вом.
Тема 5. «Формулы ЛП». Понятие формулы данной сигнатуры. Определение истинности формулы ЛП на кортеже элементов в алгеб-раической системе. Примеры.
Тема 6. «Истинность формулы ЛП в алгебраической системе».
Тема 7. «Логическое следствие в ЛП. Эквивалентные формулы ЛП». Понятия логического следствия, противоречивого множества формул ЛП, тождественно истинной формулы ЛП. Связь между этими понятиями. Определение эквивалентных формул ЛП. Основные эквива-лентности в ЛП.
Тема 8. «Исчисление предикатов (ИП). Доказуемые формулы ИП». Язык ИП. Определение формулы ИП. Аксиомы и правила вывода ИП. Доказуемые и выводимые формулы ИП. Примеры доказуемых и выводимых формул ИП. Тавтологии. Связь между тавтологией и дока-зуемой формулой. Эквивалентные формулы ИП.
Тема 9. «Пренексная нормальная форма для формул ИП». По-нятия ДНФ и ПНФ для формул ИП. Теорема о существовании для лю-бой формулы ИП эквивалентной ей ПНФ.
Тема 10. «Машины Тьюринга». Определение машины Тьюринга. Понятие функций, вычислимых по Тьюрингу. Примеры таких функций.
Тема 11. «Примитивно рекурсивные функции». Понятия базис-ных функций, операторов суперпозиции, примитивной рекурсии, при-митивно рекурсивных функций. Примеры.
Тема 12. «Частично рекурсивные функции». Понятия оператора минимизации, частично рекурсивных функций. Примеры. Эквивалент-ность классов функций, вычислимых по Тьюрингу, с классом частично рекурсивных функций.


Размер файла: Мбайт
Фаил: Microsoft Word (.doc)

 Скачать Скачать

 Добавить в корзину Добавить в корзину

        Коментариев: 0



Что бы написать комментарий, вам надо войти в аккаунт, либо зарегистрироваться.

Страницу Назад

  Cодержание / Дискретная математика / МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ. КОНТРОЛЬНАЯ РАБОТА. ВАРИАНТ №8

Вход в аккаунт:

Войти

Перейти в режим шифрования SSL

Забыли ваш пароль?

Вы еще не зарегистрированы?

Создать новый Аккаунт


Способы оплаты:
Z-PAYMENT VISA Card MasterCard Yandex деньги WebMoney Сбербанк или любой другой банк SMS оплата ПРИВАТ 24 qiwi PayPal

И еще более 50 способов оплаты...
Гарантии возврата денег

Как скачать и покупать?

Как скачивать и покупать в картинках

Здесь находится аттестат нашего WM идентификатора 782443000980
Проверить аттестат


Сайт помощи студентам, без посредников!