Мороховець, Марина Костянтинівна2010-09-102010-09-102010Дискретний аналіз. Ч. 2: Елементи математичної логіки [Електронний ресурс] : курс лекцій для студентів спеціальностей, пов’язаних з інформаційними технологіями та захистом інформації / НТУУ «КПІ» ; уклад. М. К. Мороховець. - Електронні текстові дані (1 файл: 1,05 Мбайт). - Київ : НТУУ «КПІ», 2010. - Назва з екрана.https://ela.kpi.ua/handle/123456789/441Повний текст документа доступний лише в локальній мережі університетуРозділ «Елементи математичної логіки» є частиною курсу «Дискретний аналіз», що викладається студентам першого року навчання. Читачеві даного видання пропонується орієнтоване на початківців викладення базового розділу математичної логіки – логіки висловлень. Приділяється увага зв’язку між природною мовою та мовою логіки висловлень, підкреслено роль мови логіки висловлень як засобу подання міркувань. Розглянуто методи перевірки правильності міркувань, що можуть бути записані мовою логіки висловлень.ukдискретний аналізелементи математичної логікиLearning Object