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

ЛИЧНЫЙ КАБИНЕТ 

 

Здравствуйте гость!

 

Логин:

Пароль:

 

Запомнить

 

 

Забыли пароль? Регистрация

Повышение уникальности

Предлагаем нашим посетителям воспользоваться бесплатным программным обеспечением «StudentHelp», которое позволит вам всего за несколько минут, выполнить повышение уникальности любого файла в формате MS Word. После такого повышения уникальности, ваша работа легко пройдете проверку в системах антиплагиат вуз, antiplagiat.ru, etxt.ru или advego.ru. Программа «StudentHelp» работает по уникальной технологии и при повышении уникальности не вставляет в текст скрытых символов, и даже если препод скопирует текст в блокнот – не увидит ни каких отличий от текста в Word файле.

Результат поиска


Наименование:


Курсовик Аналитическое и формальное доказательство теоремы в ИВ

Информация:

Тип работы: Курсовик. Добавлен: 24.12.2012. Сдан: 2012. Страниц: 30. Уникальность по antiplagiat.ru: < 30%

Описание (план):


Оглавление
Введение…………………………………………….…………………………… 3
Исходные данные……………………………………………………………….. 4
1. Таблица истинности…………………………………………………………. 5
2. Аналитическое прямое и формальное доказательство
истинности заключения (теоремы) ……………………………………… 7
3. Аналитическое и формальное доказательство истинности
заключения (теоремы) от противного…………………………………… 9
4. Содержательный словесный алгоритм и граф – схема
алгоритма доказательства по Вонгу ……………….…………..………11
5. Содержательный словесный алгоритм и граф – схема
алгоритма доказательства методом пропозициональной
резолюции…………………………………………………………………….. 13
6. Сравнительный анализ формальных алгоритмов доказательства
по Вонгу и метода пропорциональной резолюции…………….……15
Заключение…………………………………………………………………….17
Разработка программы………………………………………………….18
1. Приложение 1 (рабочая программа по методу пропозициональ-ной резолюции)…………………………………………………….…………… 19
2. Результат работы программы…………………………………………… 28
Список литературы…………………………………………

В данной курсовой работе рассматриваются разделы мате-матической логики и теории алгоритмов, необходимые для освоения общепрофессиональных и специальных дисциплин специальности ПОВТ и АС.
Подробно описаны построения таблицы истинности, пря-мое и обратное доказательство, построение которого основы-вается на тринадцати законах, которые так же входят в дан-ную курсовую. А также, достаточно подробно, описываются построения алгоритма Вонга и метода резолюции, проводить-ся сравнение этих методов на удобство реализации програм-мы, которая входит в данную курсовую..............

Список литературы
1. Гусейнова Л.А. Курс лекций по дисциплине «МЛиТА». 2012 г.
2. Гаджиев А.А. Методические указания к выполнению лаборатор-ного практикума по дисциплине “Математическая логика и теория алгоритмов” (для специальностей 22.01 – ВМКСиС и ПОВТиАС). Махачкала, 2003 г.



Перейти к полному тексту работы


Скачать работу с онлайн повышением уникальности до 90% по antiplagiat.ru, etxt.ru или advego.ru


Смотреть похожие работы


* Примечание. Уникальность работы указана на дату публикации, текущее значение может отличаться от указанного.