[Все] [А] [Б] [В] [Г] [Д] [Е] [Ж] [З] [И] [Й] [К] [Л] [М] [Н] [О] [П] [Р] [С] [Т] [У] [Ф] [Х] [Ц] [Ч] [Ш] [Щ] [Э] [Ю] [Я] [Прочее] | [Рекомендации сообщества] [Книжный торрент] |
Борис Владимирович Бирюков

Впечатления
john_0 про Тростников: Жар холодных числ и пафос бесстрастной логики (Математика) в 10:50 (+02:00) / 19-04-2015Отлично!
Gryphon про Тростников: Жар холодных числ и пафос бесстрастной логики (Математика) в 12:25 (+02:00) / 15-04-2015
Отличная вводная книга. В ней в эволюционном порядке (т.е. проблема-решение-вывод-применение) рассказывается об основах логики, поэтому читается интересно, запоминается легко, а не как большинство учебников - сборников формул, связанных фразами "легко показать что" и "отсюда очевидно следует". Особенно мне понравилось объяснение равной мощности машины Тьюринга, функторов Чёрча и алгоритмов Маркова - частой темы холиваров среди поклонников разных парадигм программирования.
Книга может быть интересна программистам на Прологе, Рефале и Хаскеле, специалистам по анализу текста, и вообще всем, кому интересно, как смыкается логика и математика, и что вообще творилось у Веерштрасса в голове, когда он формулировал свои теоремы.
AK2F про Тростников: Жар холодных числ и пафос бесстрастной логики (Математика) в 03:55 (+02:00) / 29-03-2015
Редко, когда научно-популярные книги бывают так интересны, как эта.
Последние комментарии
9 минут 4 секунды назад
14 минут 29 секунд назад
21 минута 37 секунд назад
22 минуты 31 секунда назад
25 минут 38 секунд назад
37 минут 42 секунды назад
39 минут 31 секунда назад
45 минут 37 секунд назад
1 час 1 минута назад
1 час 3 минуты назад