- Main
- Mathematics - Logic
- 復刊 数理論理学
復刊 数理論理学
松本 和夫Quanto ti piace questo libro?
Qual è la qualità del file?
Scarica il libro per la valutazione della qualità
Qual è la qualità dei file scaricati?
論理学は言うまでもなく,真な命題から別の真な命題を導く推論法則を一般的に研究する学問であり,数理論理学は,数学的な方法を用いて研究される論理学と考えることができます。
また数理論理学は,数学における証明の構造を的確に表現することもできるので,数学の種々の体系の無矛盾など,数学基礎論の研究に対する強力な手段として重要であり,また一方で,電子回路の解析や合成,さらにオートマトンの研究など工学的な面にも大切な役割を演じています。
本書は,数理論理学の一般的な解説,および証明論の紹介を目的としていますが,取り扱われる結果は,数理論理学の中では最も基本的な部分であり,しかもその大部分はすでに,古典に属しているものです。
なお本書は,『共立講座 現代の数学 1.数理論理学』として1970年2月に初版が発行されましたが,多くの読者からの要望を受け,単行本に改装し発行したものです。
また数理論理学は,数学における証明の構造を的確に表現することもできるので,数学の種々の体系の無矛盾など,数学基礎論の研究に対する強力な手段として重要であり,また一方で,電子回路の解析や合成,さらにオートマトンの研究など工学的な面にも大切な役割を演じています。
本書は,数理論理学の一般的な解説,および証明論の紹介を目的としていますが,取り扱われる結果は,数理論理学の中では最も基本的な部分であり,しかもその大部分はすでに,古典に属しているものです。
なお本書は,『共立講座 現代の数学 1.数理論理学』として1970年2月に初版が発行されましたが,多くの読者からの要望を受け,単行本に改装し発行したものです。
Categorie:
Anno:
2001
Casa editrice:
共立出版
Lingua:
japanese
File:
PDF, 30.42 MB
I tuoi tag:
IPFS:
CID , CID Blake2b
japanese, 2001
Leggi Online
- Scaricare
- pdf 30.42 MB Current page
- Checking other formats...
- Convertire a
- Sbloccare file di conversione di dimensioni maggiori di 8 MB Premium
Il file verrà inviato al tuo indirizzo email. Ci vogliono fino a 1-5 minuti prima di riceverlo.
Entro 1-5 minuti il file verrà consegnato al tuo account Telegram.
Attenzione: assicurati di aver collegato il tuo account al bot Z-Library Telegram.
Entro 1-5 minuti il file verrà consegnato al tuo dispositivo Kindle.
Nota: devi verificare ogni libro che desideri inviare al tuo Kindle. Controlla la tua casella di posta per l'e-mail di verifica da Amazon Kindle Support.
La conversione in è in corso
La conversione in non è riuscita
Vantaggi dello status Premium
- Inviare a lettori di e-book
- Limite aumentato di download
- Converti i file
- Più risultati di ricerca
- Altri vantaggi