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

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

 

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

 

Логин:

Пароль:

 

Запомнить

 

 

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

Повышение оригинальности

Предлагаем нашим посетителям воспользоваться бесплатным программным обеспечением «StudentHelp», которое позволит вам всего за несколько минут, выполнить повышение оригинальности любого файла в формате MS Word. После такого повышения оригинальности, ваша работа легко пройдете проверку в системах антиплагиат вуз, antiplagiat.ru, РУКОНТЕКСТ, etxt.ru или advego.ru. Программа «StudentHelp» работает по уникальной технологии так, что на внешний вид, файл с повышенной оригинальностью не отличается от исходного.

Работа № 108856


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


Курсовик Исчисление высказываний. Понятие формулы исчисления высказываний. Понятие вывода

Информация:

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

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


СОДЕРЖАНИЕ
Введение ..............................................................................................................3
Глава 1. Понятие исчисления высказываний. Язык логики высказываний. Понятие формулы исчисления высказываний и вывода ..........................................5
1.1. Понятие исчисления высказываний............................................................5
1.2. Язык логики высказываний. Алфавит исчисления …………………......6
1.3. Понятие формулы исчисления высказываний и аксиомы ………….....11
1.4. Понятие вывода………..…………………………………...….................12
Заключение ………………………….. ……………………………………….16
Список использованной литературы ………………………………………..18



Введение
Все сведения как в науке, так и в повседневной жизни формулируются в виде высказываний. Математическая логика дает возможность устанавливать истинность высказываний с помощью истинности других высказываний чисто формально путем рассуждений (выводов). Возможны и другие подходы, например, языковой - по средством правильно построенных формул, или аксиоматический, который, собственно, и является исчислением.
Согласно определению П. С. Порецкого, «математическая логика есть логика по предмету, математика по методу». Характерным для нее является использование формальных языков с точным синтаксисом и чёткой семантикой, однозначно определяющими понимание формул. Основу современной математической логики составляют исчисление высказываний и исчисление предикатов, на которых базируется любой язык программирования.
Научный интерес к математической логике возник в 19 веке с необходимостью представить логические теории в новой удобной форме и применить вычислительный аппарат к решению задач, малодоступных человеческому мышлению, что, конечно, расширило область логических исследований.
Данная тема является крайне актуальной и, на наш взгляд, довольно распространненой на сегодняшний день, так как без исчисления высказываний невозможен язык программирования.
Объектом исследования выступает логика высказываний.
Основной целью данного исследования является рассмотрение и изучение основных понятий исчисления высказываний.
Задачи исследования:
1. изучить понятие исчисление высказываний;
2. рассмотреть формулы высказываний;
3. изучить правила вывода.
Материалом исследования послужила специальная литература по данной тематике.
Структура работы: настоящая работа состоит из введения, одной главы, заключения и списка литературы.



Глава 1. Понятие исчисления высказываний. Язык логики высказываний. Понятие формулы исчисления высказываний и вывода.

1.1. Понятие исчисления высказываний
Исчисление - это дедуктивная система, то есть способ задания того или иного множества путем указания исходных элементов, или аксиом исчисления, и правил вывода, каждое из которых описывает, как строить новые элементы из исходных и уже построенных.
Исследования в алгебре логики тесно связаны с изучением высказываний (хотя высказывание - предмет изучения формальной логики). Высказывание - это языковое образование, в отношении которого имеет смысл говорить о его истинности или ложности (Аристотель).
Простым высказыванием называют повествовательное предложение, относительно которого имеет смысл говорить, истинно оно или ложно.
Считается, что каждое высказывание либо ист........

Список использованной литературы
1. Герасимов А.С. Курс математической логики и теории вычислимости. - СПб.: Лема, 2011. - 284с.
2. Гуров С.И. Исчисления высказываний классической логики.- М.: МГУ, 2008. - 135 с.
3. Клини С. К., Введение в математику. пер. с англ., М., 1957. - 527 с.
4. Кольман Э., Зих О. Занимательная логика. - М.: Наука, 1966. - 127 с.
5. Лихтарников Л.М. Занимательные логические задачи. - СПб.: Мик, 1997. - 302 с.
6. Новиков П.С. Элементы математической логики. - М.: Наука, 1973. - 400 с.
7. Пономарев В.Ф. Математическая логика. Часть 1. Логика высказываний. Логика предикатов. Учебное пособие. - Калининград: КГТУ, 2001. - 140 с.
8. Черняк Н.А.. Логика: Учебное пособие. - Омск: Омск. гос. ун-т,2004. -84 с.



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


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


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

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