Вес товара: ~0.7 кг. Указан усредненный вес, который может отличаться от фактического. Не включен в цену, оплачивается при получении.
Описание товара
логический двигатель
 
краткое введение
«Машина логики» (Мартин&миддот; Дэвис) Эта книга о происхождении компьютеров анализирует историю компьютеров на идеологическом уровне. В нем используются увлекательные материалы для описания жизни и творчества таких гениев, как Лейбниц, Буль, Кантор, Гильберт, Гёдель и Тьюринг. В нем рассказывается, как математики пришли к идеям, лежащим в основе своих результатов, прежде чем они были использованы.
(США) Мартин&миддот; Написанный Мартином Дэвисом;Перевод Чжан Бутяня
Мартин&миддот; Дэвис — пионер в развитии информатики. Его книга «Вычислимость и неразрешимость» считается одной из немногих настоящих классических произведений в области информатики. Он является почетным профессором Института математических наук Куранта при Нью-Йоркском университете и в настоящее время является приглашенным научным сотрудником в Калифорнийском университете в Беркли.
Чжан Бутянь, родившийся в сентябре 1979 года, учился у У Гошэна. Я люблю перевод по философии и истории науки.Направление моих исследований — история научной мысли в западном средневековье и раннем Новом времени. Области моих исследований в основном сосредоточены на истоках современной науки и научной революции.
 
Эта книга посвящена фундаментальным концепциям, лежащим в основе наших современных компьютеров, и людям, которые их разработали.Весной 1951 года, когда я был в Алане&миддот; Сам Алан Тьюринг получил докторскую степень по математической логике в Принстонском университете, где он работал 10 лет назад, а я читал курс, основанный на его идеях, в Университете Иллинойса.Молодой математик, присутствовавший на моих лекциях, обратил мое внимание на две машины, построенные через дорогу от аудитории, которые, по его мнению, были физическим воплощением идей Тьюринга.Вскоре я начал писать программное обеспечение для этих первых компьютеров.Моя карьера, которая длилась более полувека, вращалась вокруг взаимосвязи между абстрактными логическими концепциями, лежащими в основе современных компьютеров, и их физической реализацией.Логика компьютеров оставалась неизменной на протяжении всей их эволюции от огромных гигантов 1950-х годов до сегодняшних легких и мощных машин, способных выполнять самые разные задачи.Эти логические концепции разрабатывались шаг за шагом несколькими талантливыми мыслителями на протяжении веков.В этой книге я расскажу истории из жизни этих людей и объясню некоторые их идеи.Сами истории увлекательны, и я надеюсь, что читатели не только...
