Добро пожаловать! Вы можете войти или зарегистрироваться
Обратная связь
Visa MasterCard WebMoney Яндекс.Деньги PayPal
+7 (495) 638-5305
+7 (812) 380-5006
Мой регион
Жар холодных числ и пафос бесстрастной логики: Формализация мышления от античных времен до эпохи кибернетики






Б.В. Бирюков

Жар холодных числ и пафос бесстрастной логики: Формализация мышления от античных времен до эпохи кибернетики

бумажная книга

     0
0 (0 голосов )
  • ISBN: 978-5-397-00134-2
  • 232 страницы
  • январь 2009
  • Либроком
  • 230 г
С 2004 года книга «Жар холодных числ и пафос бесстрастной логики: Формализация мышления от античных времен до эпохи кибернетики» переиздавалась 2 раза. Дата первого издания «Жар холодных числ и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики. 3-е издание»: май 2004 года, последнее, 2-е издание вышло в январе 2009 года.

Аннотация к книге "Жар холодных числ и пафос бесстрастной логики: Формализация мышления от античных времен до эпохи кибернетики"

Настоящая книга рисует картину развития логико-математических аспектов кибернетики и информатики. Авторы рассказывают о длительной истории науки логики, возникшей еще в Древней Греции, прослеживают непрерывную нить преемственности, тянущейся от Аристотеля и Лейбница к современным информационным системам. Показано становление идей вычислимости и алгоритмизации, связанных с такими титанами науки XX века, как Давид Гильберт и Курт Гедель. В заключительных главах обсуждается вопрос о современном...