Сергей Викторович Попов
Произведения автора 1
Только полные версии книг
РОМАНЫ и ПОВЕСТИ
аудиокнига
Год написания книги 2013
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический – установление выполнимости логических функций – …