Дискретний аналіз. Ч. 2: Елементи математичної логіки
Ескіз недоступний
Дата
2010
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
Анотація
Розділ «Елементи математичної логіки» є частиною курсу «Дискретний аналіз», що викладається студентам першого року навчання. Читачеві даного видання пропонується орієнтоване на початківців викладення базового розділу математичної логіки – логіки висловлень. Приділяється увага зв’язку між природною мовою та мовою логіки висловлень, підкреслено роль мови логіки висловлень як засобу подання міркувань. Розглянуто методи перевірки правильності міркувань, що можуть бути записані мовою логіки висловлень.
Опис
Повний текст документа доступний лише в локальній мережі університету
Ключові слова
дискретний аналіз, елементи математичної логіки
Бібліографічний опис
Дискретний аналіз. Ч. 2: Елементи математичної логіки [Електронний ресурс] : курс лекцій для студентів спеціальностей, пов’язаних з інформаційними технологіями та захистом інформації / НТУУ «КПІ» ; уклад. М. К. Мороховець. - Електронні текстові дані (1 файл: 1,05 Мбайт). - Київ : НТУУ «КПІ», 2010. - Назва з екрана.