Лекции по математике. Том 6. От Диофанта до Тьюринга
КомКнига, 2010
Страниц: 208
Формат: 60x90/16
Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта - вот круг вопросов, рассматриваемых в данной книге. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Геделя, например, доказываются в несколько строчек. Для студентов, преподавателей, инженеров и научных работников.
Юннаты Кроноцкого заповедника изучили флору в районе горного массива Вачкажец и пришли к неутешительным выводам, сообщает ИА KamchatkaMedia со ссылкой на заповедник.
Южный океан поглощает больше тепла, чем любой другой
За последние 50 лет океаны усердно работали над замедлением глобального потепления, поглощая около 40 % выбросов углекислого газа и более 90 % избыточного тепла, оставшегося в атмосфере.