Побудова математичної логіки як алгебри висловлень і алгебри предикатів. Основні поняття логіки висловлювань та їх закони і нормальні форми. Основні поняття логіки предикатів і її закони, випереджена нормальна форма. Процедури доведення законів.
27.06.2008 |
Дискретна математика |
Математика |
Язык: украинский |
Просмотры: 131
