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