Первая пропаганда всеобъемлющей серии логики серии Мартина Дэвиса Хунань науки и технологий издательство Наука Наука Наука Наука Книга
Вес товара: ~0.7 кг. Указан усредненный вес, который может отличаться от фактического. Не включен в цену, оплачивается при получении.
Описание товара
 |
| ||||||||||||||||||||||
| Дисплей продукта |
 |
| Основная информация |
Название книги: |  &Middot; |
Автор: | Мартин&Миддот; Дэвис |
Цены: | 49.00 |
Номер ISBN: | 9787535794420 |
Издательство: | Hunan Science and Technology Press |
формат: | 32 |
Фрагментация: |   Установка |
Дата публикации: | 2018-2-1 |
Дата печати: | 2018-2-1 |
| Выбор редактора |
Эта книга известна как одна из известных чтения книг с точки зрения логических перспектив. Прочитав эту книгу, у вас будет более глубокое понимание основной логики западной культуры, помогая сформировать острое видение и сознание проблемы. В 2018 году новая версия «The Book of Promoting Series» представляет собой недавно спроектированную и охватывающую обложку, простую личность, улучшает опыт чтения и пусть популярная наука даст вам больше воображения. С книгой книга 39,6 Юань, а Ву Цзинпинг сломана и раздавлено Ван Цзе и Ву Цзинпином. |
| Введение |
| Эта книга рассказывает историю компьютерной идеологии. был выдвинут. |
| об авторе |
Об авторе: Мартин&Миддот; Дэвис (Martin Davis), Пионер в истории компьютерных наук, ее книга «Вычисление и необратимость» известна как одна из немногих реальных классических работ в области компьютерных наук. Введение переводчика: Чжан Буоц, родившийся в сентябре 1979 года, учитель подчинялсяУ ГошэнСущностьПеревод философии и истории науки - это направление исследования истории средневековья Запада и ранней современной научной мысли. |
| Оглавление |
| введение Глава 1 мечта Лабница Глава 2 Boolete превращает логику в алгебраику Глава III Фредс: От прорыва до отчаяния Глава 4 Contol: Найти в Infinite Глава 5 Спасение Хилберта Глава VI Goth План по четкому плану ГЛАВА VII TURING Я хочу общего компьютера Глава 8 Разработайте первую партию общих компьютеров Глава 9 Помимо мечты Лейбница Эпилог Аннотация Библиография индекс Постмодель |
| Прочтите некоторые главы онлайн. |
Глава 1 Мечта о Лейбнизе (часть) Замечательные мысли Лейбниза В 1646 году Лейбниц родился в Лейпциге, Германия.В то время Германия была разделена на более чем 1000 полуавтономных политических подразделений, которые были разрушены почти 30 -летними войнами.30 -летняя война не закончилась до 1648 года. Хотя все основные силы в Европе участвовали в этой войне, она была в основном проводилась в Германии.Отец Лейбниза был профессором философии в Университете Лейпцига, который умер, когда ребенку было всего 6 лет.К 8 годам Лейбниц начал читать коллекцию библиотеки своего отца независимо от оппозиции своего учителя. Лейбницу суждено быть одним из величайших математиков в истории человечества.Он получил просветление математической мысли от своего учителя, но учителя ничего не знали о революционной математике в других частях Европы.В то время основная геометрия Европы была более высокой дисциплиной даже в основной геометрии Европы, и люди обычно начали изучать ее на университетской стадии.Однако, когда Лейбницу было всего 10 лет, его учитель представил логическую систему, предложенную Аристотелем Лейбницу 2000 до 2000 года. Этот предмет вызвал его талант и страсть математики.Лейбниц разделил концепцию на фиксированную&Ldquo; категория”“&Rdquo;С такой системой символов мы можем разработать язык.Лейбниц был зависим от теории Аристотеля на протяжении всей своей жизни, и он недоволен этим. Фактически, диссертация бакалавра Лейбница в Лейпциге посвящена Аристотелу.Его учитель обсуждает отношения между философией и законом в том же университете.Лейбниц был явно привлечен к институту права.Первый вклад Лейбница в математику возник из его квалификационной статьи, которую он преподавал в философии в университете (Habilitionsschrift): как его первый шаг в своей концептуальной системе символов, Лейбниц предвидит его.Это позволило ему систематически изучить количество сложных договоренностей для основных элементов.Работа в этой области впервые видно в его университетских квалификационных документах, а затем в более обширной монографии «Dissertatio de Arte Combinatoria». В процессе продолжающихся юридических исследований Лейбниц представил документ, чтобы получить докторскую степень по закону Университета Лейпцига.Его тема имеет типичный стиль Leibniz, то есть с использованием рациональности для решения юридических случаев, с которыми трудно рассмотреть в общих методах.По разным причинам Университет Лейпцига не принял эту статью, поэтому Лейбниц перевел его в Университет Атадорфа недалеко от Нюрнберга, где газета была хорошо принята.В возрасте 22 лет было завершено формальное образование Лейбница. Париж Лейбниц не очень заинтересован в преподавании в университете в Германии.Он нашел Джона, племянника императора Мейнца, Джона·Feng&Middot;Вскоре Лейбниц был назначен судьей Апелляционного суда, а также участвовал в некоторых дипломатических стратегиях, включая неудачное вмешательство избрания нового короля Польши и дворец Людовика XIV для выполнения задачи. 30 -летняя война сделала Францию гегемоном европейского континента.Меридц, расположенный на берегах Рейна, попробовал вкус быть вооруженным во время войны.В результате люди Меридцы очень ясны, чтобы не допустить, чтобы противник не выполнял военные операции и поддержал хорошие отношения с Францией.Именно в этом случае Бойнабург и Лейбниц планировали убедить Людовика XIV и его сотрудников реализовать огромные интересы Египта как военную цель.Это предложение———— Лейбниц приехал в Париж в 1672 году, чтобы продвигать египетский план и помочь решить некоторые экономические проблемы в Боябурге.Только в этом году новости о Боасабурге погибли в результате инсульта.Хотя Лейбниц все еще обслуживает семью Боисаба, он потерял надежный источник дохода.Тем не менее, он оставался в Париже еще 4 года.В 1673 году он показал компьютерную модель, которая могла выполнить четыре арифметических основных операция в первом визите, что сделало его единогласно избранным в качестве члена Королевского лондонского общества.Хотя Pascal разработал машину, которая может выполнять добавление и вычитание, машина Leibniz может умножить операцию, которая впервые в истории.Эта машина включает в себя гениальный компонент——“&Rdquo;Что касается своей машины, Лейбниц написал: Если мы хотим дать этой машине окончательную похвалу, то мы можем сказать, что она сделает всех, кто занимается компьютерной работой. и бизнесмены, а также бизнесмены, бизнесмены и бизнесмены, а также бизнесмены, бизнесмены, а также бизнесмены, а также бизнесмены, бизнесмены, а также бизнесмены, а также бизнесмены, бизнесмены, а также бизнесмены, а также бизнесмены, бизнесмены, а также бизнесмены, бизнесмены, бизнесмены и бизнесмены, бизнесмены, бизнесмены, а также бизнесмены, бизнесмены и бизнесмен , и бизнесмены, а также бизнесмены, бизнесмены, бизнесмены и бизнесмены, а также торговцы, а также бизнесмены, они измерения, география, навигатор, астроном…&Hellip;…&Hellip;…&Hellip;…&Hellip; Машина Лейбница может делать только обычную арифметику, но он понял значение более глубокого расчета машины.В 1674 году он описал машину, которая может решить цифровое уравнение.Год спустя он написал соответствующее логическое рассуждение для механического устройства, которое указывало на цель, то есть рассуждение атрибута расчета и в конечном итоге создает машину, которая может завершить эти расчеты. Для Лейбница, которому было 26 лет, жизненно важным событием было то, что он видел Кристиана, голландского ученого, который жил в Париже в то время&Миддот;43 -летний Хуачангс ранее изобрел часы и нашел Сатурн.Его самый важный вклад——Huyatus считает, что он состоит из волн, точно так же, как волнистый распространяющийся в пруду в пруду.Его мысли были полностью оставлены в Великий Ньютон, и последний полагал, что он состоит из куча пулеподобного потока частиц.3 Wynos передал Лейбнизу, что заставило молодого человека быстро понять текущий статус математического исследования.Вскоре Лейбниц внес важный вклад. |