Київ, Видавниче об'єднання "Вища школа", 1978, 160 с.
Розділ
1. Алгебра висловлень
Розділ
2. Числення висловлень
Розділ
3. Логіка предикатів
Відповіді
Символи і позначення
Список літератури Сборник составлен соответственно программе по математической логике для педагогических институтов, поэтому его содержание ограничизается алгеброй высказьваний, исчислением высказываний, теоретико-множественной логикой предикатов и не включает упражнений на формальное исчисление предикатов.
Сборник предназначен для студентов физико-математических факультетов педагогических институтов. Его могут использовать также учителя математики средних общеобразовательнмх школ.
1. Алгебра висловлень
Розділ
2. Числення висловлень
Розділ
3. Логіка предикатів
Відповіді
Символи і позначення
Список літератури Сборник составлен соответственно программе по математической логике для педагогических институтов, поэтому его содержание ограничизается алгеброй высказьваний, исчислением высказываний, теоретико-множественной логикой предикатов и не включает упражнений на формальное исчисление предикатов.
Сборник предназначен для студентов физико-математических факультетов педагогических институтов. Его могут использовать также учителя математики средних общеобразовательнмх школ.