Збірник вправ і задач з математичної логіки
Хромой Я.В.
Київ, Видавниче об'єднання "Вища школа", 1978, 160 с.Розділ
1. Алгебра висловлень
Розділ
2. Числення висловлень
Розділ
3. Логіка предикатів
Відповіді
Символи і позначення
Список літературиСборник составлен соответственно программе по математической логике для педагогических институтов, поэтому его содержание ограничизается алгеброй высказьваний, исчислением высказываний, теоретико-множественной логикой предикатов и не включает упражнений на формальное исчисление предикатов.
Сборник предназначен для студентов физико-математических факультетов педагогических институтов. Его могут использовать также учителя математики средних общеобразовательнмх школ.
1. Алгебра висловлень
Розділ
2. Числення висловлень
Розділ
3. Логіка предикатів
Відповіді
Символи і позначення
Список літературиСборник составлен соответственно программе по математической логике для педагогических институтов, поэтому его содержание ограничизается алгеброй высказьваний, исчислением высказываний, теоретико-множественной логикой предикатов и не включает упражнений на формальное исчисление предикатов.
Сборник предназначен для студентов физико-математических факультетов педагогических институтов. Его могут использовать также учителя математики средних общеобразовательнмх школ.
Amazon 
Barnes & Noble 
Bookshop.org 
File converter
More search results
More benefits 
