Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика,...
Формат:
только полные версии
Квант...
Квант...
Квант...
Квант...
Квант...
Учебное пособие для учащихся школ и классов с углублённым изучением...
Настоящая книга представляет собой учебное пособие для студентов-заочников педагогических институтов. Она написана в соответствии с...
Квант...
Квант...