Logika vyššího řádu a teorie typů

Recenze čtenářů

Aktuálně nejsou k dispozici žádné recenze čtenářů. Hodnocení je založeno na 7 hlasů.

Původní název:

Higher-Order Logic and Type Theory

Obsah knihy:

Výklad logiky druhého a vyššího řádu a teorie typů.

Zahrnuje syntaxi a sémantiku klasické logiky druhého řádu a diskusi o logice vyššího řádu založené na pojmu typu. Zkoumá také původ a povahu teorie typů, její vztah k teorii množin a popis současných forem teorie typů.

Další údaje o knize:

ISBN:	9781108986908
Autor:	L. Bell John
Vydavatel:	Cambridge
Vazba:	Měkká vazba
Rok vydání:	2022
Počet stran:	75

Nákup:

Nyní dostupné, na skladě.

Další knihy od autora:

Život s žalmy - Living with the Psalms

SPCK Publishing

Tato kniha je výsledkem jeho celoživotní práce s žalmy, kterou rozvinul během své učitelské služby po celém světě. Jako hlasatel a...

Axiom volby - The Axiom of Choice

Kings College Pubn

Tato kniha přináší přehled vývoje axiomu volby od jeho zavedení Zermelem na počátku minulého století. Kniha zkoumá axiom volby ze tří...

Logika vyššího řádu a teorie typů - Higher-Order Logic and Type Theory

Cambridge

Výklad logiky druhého a vyššího řádu a teorie typů. Zahrnuje syntaxi a sémantiku klasické...

Logika vyššího řádu a teorie typů - Higher-Order Logic and Type Theory

Logické možnosti: Úvod do klasické a alternativní logiky - Logical Options: An Introduction to...

Broadview Pr Inc

Logické možnosti představují rozšíření a...

Logické možnosti: Úvod do klasické a alternativní logiky - Logical Options: An Introduction to Classical and Alternative Logics

Intuicionistická teorie množin - Intuitionistic Set Theory

Kings College Pubn

Ačkoli intuicionistické (nebo konstruktivní) teorii množin IST věnují matematičtí logici určitou...

Intuicionistická teorie množin - Intuitionistic Set Theory

Základy infinistimální analýzy - A Primer of Infinistesimal Analysis

Cambridge

Jednou z nejpozoruhodnějších událostí poslední doby v matematice je znovuobnovení myšlenky...

Základy infinistimální analýzy - A Primer of Infinistesimal Analysis

Spojité, diskrétní a nekonečně malé ve filozofii a matematice - The Continuous, the Discrete and the...

Springer Nature

Tato kniha zkoumá a vyjadřuje pojmy spojitého a...

Spojité, diskrétní a nekonečně malé ve filozofii a matematice - The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics

Těžké časy: Počátky velké hospodářské krize v Severní Karolíně, 1929-1933 - Hard Times: Beginnings...

Univ Of North Carolina Pr

Podrobnosti o hospodářských problémech v Severní...

Těžké časy: Počátky velké hospodářské krize v Severní Karolíně, 1929-1933 - Hard Times: Beginnings of the Great Depression in North Carolina, 1929-1933