Logika vyššieho rádu a teória typov

Recenzie čitateľov

Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 7 hlasoch.

Pôvodný názov:

Higher-Order Logic and Type Theory

Obsah knihy:

Výklad logiky druhého a vyššieho rádu a teórie typov.

Obsahuje syntax a sémantiku klasickej logiky druhého rádu a diskusiu o logike vyššieho rádu založenej na pojme typu. Skúmajú sa tiež pôvod a povaha teórie typov, jej vzťah k teórii množín a opis súčasných foriem teórie typov.

Ďalšie údaje o knihe:

ISBN:	9781108986908
Autor:	L. Bell John
Vydavateľ:	Cambridge
Väzba:	Mäkká väzba
Rok vydania:	2022
Počet strán:	75

Nákup:

Momentálne k dispozícii, na sklade.

Ďalšie knihy autora:

Život so žalmami - Living with the Psalms

SPCK Publishing

Táto kniha, ktorú vytvoril počas svojej učiteľskej služby po celom svete, je výsledkom jeho celoživotného štúdia žalmov. Ako...

Život so žalmami - Living with the Psalms

Axióma voľby - The Axiom of Choice

Kings College Pubn

Táto kniha predstavuje prehľad vývoja Axiómy voľby od jej zavedenia Zermeľom na začiatku minulého storočia. Kniha skúma Axiómu voľby z...

Logika vyššieho rádu a teória typov - Higher-Order Logic and Type Theory

Cambridge

Výklad logiky druhého a vyššieho rádu a teórie typov. Obsahuje syntax a sémantiku klasickej...

Logika vyššieho rádu a teória typov - Higher-Order Logic and Type Theory

Logické možnosti: Úvod do klasickej a alternatívnej logiky - Logical Options: An Introduction to...

Broadview Pr Inc

Logické možnosti predstavujú rozšírenia a...

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

Intuicionistická teória množín - Intuitionistic Set Theory

Kings College Pubn

Hoci intuicionistickej (alebo konštruktívnej) teórii množín IST venujú matematickí logici určitú...

Intuicionistická teória množín - Intuitionistic Set Theory

Základy nekonečne malej analýzy - A Primer of Infinistesimal Analysis

Cambridge

Jednou z najpozoruhodnejších udalostí v matematike v poslednom čase je opätovné založenie...

Základy nekonečne malej analýzy - A Primer of Infinistesimal Analysis

Spojité, diskrétne a nekonečne malé vo filozofii a matematike - The Continuous, the Discrete and the...

Springer Nature

Táto kniha skúma a vyjadruje pojmy spojitého a...

Spojité, diskrétne a nekonečne malé vo filozofii a matematike - The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics

Ťažké časy: Začiatky veľkej hospodárskej krízy v Severnej Karolíne, 1929 - 1933 - Hard Times:...

Univ Of North Carolina Pr

Podrobnosti o hospodárskych otrasoch v Severnej...

Ťažké časy: Začiatky veľkej hospodárskej krízy v Severnej Karolíne, 1929 - 1933 - Hard Times: Beginnings of the Great Depression in North Carolina, 1929-1933