математическая логика и теория алгоритмов. уч.пособ


E-Book Content

МИНИСТЕРСТВО НАУКИ И ОБРАЗОВАНИЯ РФ ФЕДЕРАЛЬНОЕ АГЕНТСВО ПО ОБРАЗОВАНИЮ БЕЛГОРОДСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНОЛОГИЧЕСКИЙ УНИВЕРСИТЕТ ИМ В.Г.ШУХОВА Математическая логика и теория алгоритмов Учебное пособие Терехов Д.В., Куценко Д.А. Белгород 2007 (v 1.0.0b) Учебное пособие посвящено изложению основ математической логике и теории алгоритмов. Учебное пособие предназначено для студентов, обучающихся по направлению «Информатика и вычислительная техника». Высказывания, логика высказываний Высказывание - это утверждение об изучаемых объектах имеющее однозначное и точно определенное значение. В русском языке высказывание представляет собой повествовательное предложение, о котором можно сказать, что оно сообщает нам нечто верное либо нечто совершенно неверное. Следовательно, высказывание может быть либо истинным, либо ложным. Иначе говоря, каждому высказыванию приписывается истинностное значение. В классической (двузначной) логике рассматривается всего два истинностных значения: Т – «истина» и ⊥ «ложь». Если даны два высказывания А и В, то логика, во-первых, говорит нам, как из них построить новое высказывание, а во-вторых, учит, как найти его истинностное значение, Для построения новых высказывании используются логические связки &, ∨, ⇒, ⇔, ¬ : A & B , A ∨ B , A ⇒ B , A ⇔ B , ¬ A , ¬B Связка & интерпретируется как союз «и» (конъюнкция); связка ∨ - «или» (дизъюнкция); связка ⇒ как глаголы «следует» (импликация); «вытекает», связка ⇔ - «тогда и только тогда, когда»; и, наконец, ¬ - понимается как отрицание высказывания А («не А»). Для установления истинностного применяют таблицы истинности: значения нового A B A& B A∨ B A⇒ B A⇔ B ¬A Т Т Т Т Т Т ⊥ Т ⊥ ⊥ Т ⊥ ⊥ ⊥
You might also like

Introduction To Computing With Geometry
Authors: Adrian Bowyer , John Woodwark    320    0


Information Theory And Statistics: A Tutorial
Authors: Imre Csisz´ar , Paul Shields    182    0


The Geometry Of Information Retrieval
Authors: C. J. van Rijsbergen    173    0


Logic For Concurrency And Synchronisation
Authors: R.J. De Queiroz    197    0




Surveys In Modern Mathematics
Authors: Victor Prasolov , Yulij Ilyashenko    169    0


Problèmes Combinatoires De Commutation Et Réarrangements
Authors: P. Cartier , D. Foata (auth.)    198    0


Graphs And Homomorphisms
Authors: Pavol Hell , Jaroslav Ne%set%ril    163    0