курсовая работа «Математична логіка»

Вид:курсовая работа

Описание

Побудова математичної логіки як алгебри висловлень і алгебри предикатів. Основні поняття логіки висловлювань та їх закони і нормальні форми. Основні поняття логіки предикатів і її закони, випереджена нормальна форма. Процедури доведення законів.

Скачать бесплатно [151 K]