Gentzens Problem pdf epub mobi txt 電子書 下載 2024


Gentzens Problem

簡體網頁||繁體網頁
Eckart Menzler-Trott
Birkhäuser Basel
2001-11-23
429
USD 69.95
Hardcover
9783764365745

圖書標籤:  


喜歡 Gentzens Problem 的讀者還喜歡




點擊這裡下載
    


想要找書就要到 小哈圖書下載中心
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

发表于2024-11-29

Gentzens Problem epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2024

Gentzens Problem epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2024

Gentzens Problem pdf epub mobi txt 電子書 下載 2024



圖書描述

Gerhard Gentzen (1909-1945) ist der BegrA1/4nder der modernen mathematischen Beweistheorie. Die nachhaltige Bedeutung der von ihm entwickelten Methoden, Regeln und Strukturen zeigt sich heute in wichtigen Teilgebieten der Informatik, in der Verifikation von Programmen. Die Arbeiten Gentzens A1/4ber das natA1/4rliche Schliessen, der SequenzenkalkA1/4l und die Ordinal-Beweistheorie beeindrucken noch heute durch ihre Einsicht und Eleganz. Der Autor dokumentiert in dieser ersten umfassenden Biografie Leben und Werk Gerhard Gentzens, seinen tragischen Lebensweg, Festnahme 1945 in Prag, Gefangenschaft und Tod. Die Bedingungen wissenschaftlicher Forschung, in diesem Fall der mathematischen Logik, im nationalsozialistischen Deutschland, den ideologischen Kampf um eine "Deutsche Logik" und deren Protagonisten ist ein weiterer Schwerpunkt des Buches. Zahlreiche, bislang unverAffentlichte Quellen, Fotos und Dokumente aus Korrespondenzen und Nachlass sowie der Abdruck dreier VortrAge von Gerhard Gentzen machen dieses Buch zu einer erstrangigen Informationsquelle A1/4ber diesen bedeutenden Mathematiker und seine Zeit. Der Band wird ergAnzt durch ein Essay von Jan von Plato A1/4ber Gentzens Beweistheorie und deren Entwicklung bis zur Gegenwart.

Gentzens Problem 下載 mobi epub pdf txt 電子書

著者簡介


圖書目錄


Gentzens Problem pdf epub mobi txt 電子書 下載
想要找書就要到 小哈圖書下載中心
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

用戶評價

評分

評分

評分

評分

評分

讀後感

評分

評分

評分

評分

評分

類似圖書 點擊查看全場最低價

Gentzens Problem pdf epub mobi txt 電子書 下載 2024


分享鏈接





相關圖書




本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

友情鏈接

© 2024 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有