Квант...
Формат:
только полные версии
Год: 1998
полная версия
Книга содержит решения задач повышенной трудности, предлагавшиеся на выпускных и вступительных экзаменах по математике....
Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика,...
Квант...
Касаткин В. Н. Логическое программирование в занимательных задачах.— К-: Техника, 1980.— 79 с., ил. В пер.: 1 р. 10 к. 26 000 экз.
В книге в популярной...
Квант...
Квант...