Sibnet.ru — это информационно-развлекательный интернет-проект, ориентированный на широкий круг Сибирского региона. По данным Rambler Top100, Sibnet.ru является самым популярным порталом в Сибири.
Контакты: АО "Ринет" ОГРН 1025402475856 г. Новосибирск, ул. Якушева, д. 37, 3 этаж отдел рекламы: (383) 347-10-50, 347-06-78, 347-22-11, 347-03-97 reclame@support.sibnet.ru Редакция: (383) 347-86-84 info@sibnet.ru Техподдержка: help.sibnet.ru
Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта — вот рассматриваемый круг вопросов. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде.
Для студентов, преподавателей, инженеров и научных работников.
Alex Fast Reader 2.1.1
Программа для обучения быстрому чтению. Сам процесс обучения выглядит следующим образом: Alex...
Geometry Expressions
Палочка выручалочка для школьника и студента, у которых нелады с геометрией. Простой в...