Logicism Renewed

Autor Paul C. Gilmore

0.0 z 5 hvězdiček 0 hodnocení čtenářů

Kniha ( měkká vazba )

Dostupné u dodavatele
Doručení ZDARMA od 1299 Kč, do 25. 5. předáme dopravci
Osobní odběr ZDARMA ( Vyberte prodejnu )

Do košíku

1 650 Kč s DPH
Jsme transparentní

Při zaslání zboží balíčkem

K nákupu nad 99 Kč dárek zdarma v hodnotě 19 Kč

E-shopové listy

Při zaslání zboží balíčkem

K nákupu nad 499 Kč dárek zdarma v hodnotě 299 Kč

Gump: Jsme dvojka

Přidali jsme další knihy a prodloužili akci do 31. května. Více informací

K tomuto produktu zákazníci kupují

Short Cuts: Maths

Katie Steckles
0.0 z 5 hvězdiček
pevná vazba

449 Kč

Do košíku
The Secret Lives of Numbers

Kate Kitagawa
0.0 z 5 hvězdiček
měkká vazba

499 Kč

Do košíku
Playing with Reality

Kelly Clancy
0.0 z 5 hvězdiček
pevná vazba

738 Kč

Běžně 825 Kč
Do košíku
How AI Thinks

Nigel Toon
0.0 z 5 hvězdiček
měkká vazba

399 Kč

Do košíku
Memorix Anatomy - 3. vydání

Radovan Hudák, David Kachlík
5.0 z 5 hvězdiček
pevná vazba

1 521 Kč

Běžně 1 699 Kč
Do košíku

Předchozí Následující

Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamental logical principles. In Logicism Renewed, the author revisits this concept in light of advances in mathematical logic and the need for languages that can be understood by both humans and computers that require distinguishing between the intension and extension of predicates. Using Intensional Type Theory (ITT) the author provides a unified foundation for mathematics and computer science, yielding a much simpler foundation for recursion theory and the semantics of computer programs than that currently provided by category theory.