Mat_Logika_Algebra_i_ischislenie_vyskazyvany
.pdf
|
111 |
ЛИТЕРАТУРА |
42 |
ПРИЛОЖЕНИЯ |
43 |
Приложение 1. Контрольные задания для построения таблиц истинности и
нормальных форм |
44 |
Приложение 2. Программный модуль в математическом пакете «Maple 6» для проверки правильности найденных таблиц истинности и нормальных
форм |
|
47 |
Приложение 3. |
Контрольные задания по аксиоматическим теориям и |
|
переключательным схемам |
92 |
|
Приложение 4. |
Пример решения вариантов контрольных заданий по |
|
аксиоматическим теориям и переключательным схемам |
104 |
|
Приложение 5. |
F1 к аксиоматическим теориям |
108 |
Нырков Анатолий Павлович Нырков Андрей Анатольевич Соколов Сергей Сергеевич
АЛГЕБРА И ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
Учебное пособие
Лицензия ЛР № 020593 от 07.08.97
Налоговая льгота –Общероссийский классификатор продукции ОК 005–93, т. 2; 95 3005 – учебная литература
Подписано в печать |
.2008. Формат 60х84 /16. Печать цифровая. |
||
Усл. печ. л. |
. Уч.-изд. л. |
. Тираж 100 . Заказ |
. |
Отпечатано с готового оригинал–макета, предоставленного авторами,
в Цифровом типографском центре Издательства Политехнического университета. 195251, Санкт-Петербург, Политехническая ул., 29.
Тел.: (812) 550–40–14 Тел./факс: (812) 297–57–76