Сергей Викторович Попов

Произведения автора 1

Только полные версии книг

РОМАНЫ и ПОВЕСТИ

электронная книга
4.5
Год написания книги 2011
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический – установление выполнимости логических функций – и...