курсовая работа «Математична логіка»
Вид:курсовая работа
Описание
Побудова математичної логіки як алгебри висловлень і алгебри предикатів. Основні поняття логіки висловлювань та їх закони і нормальні форми. Основні поняття логіки предикатів і її закони, випереджена нормальна форма. Процедури доведення законів.
Скачать бесплатно [151 K]