У зібранні розміщено підручники, навчальні посібники, практикуми, матеріали до курсів лекцій, програми дисциплін, авторами або укладачами яких є науково-педагогічні працівники кафедри.
Переглянути
Перегляд Навчально-методичні матеріали (ММЗІ) за Автор "Мороховець, Марина Костянтинівна"
Розділ «Елементи математичної логіки» є частиною курсу «Дискретний аналіз», що викладається студентам першого року навчання. Читачеві даного видання пропонується орієнтоване на початківців викладення базового розділу математичної логіки – логіки висловлень. Приділяється увага зв’язку між природною мовою та мовою логіки висловлень, підкреслено роль мови логіки висловлень як засобу подання міркувань. Розглянуто методи перевірки правильності міркувань, що можуть бути записані мовою логіки висловлень.
У даному навчальному виданні викладено базові поняття теорії графів, які необхідні кожному, хто використовує графові моделі або займається їх розробкою. Подання матеріалу розраховано на початківців.