An introduction to type theory and the univalence axiom, aimed at advanced undergraduate and graduate students of mathematics and computer science with an interest in the foundations and formalization of mathematics. Prerequisites are minimal and over 200
RIJKE, EGBERT (THE JOHNS HOPKINS UNIVERSITY, MARYLAND)
Introduction to Homotopy Type Theory
An introduction to type theory and the univalence axiom, aimed at advanced undergraduate and graduate students of mathematics and computer science with an interest in the foundations and formalization of mathematics. Prerequisites are minimal and over 200
Zaloga po trgovinah
Rezultati:
Podrobnosti o izdelku
Poglej vseISBN
9781108844161Mladinska knjiga ID
9781108844161Leto izida
2025Datum izida
06.11.2025Število strani
386Status dobavljivosti
7-10 delovnih dniZbirka
Cambridge Studies in Advanced MathematicsZaložnik
Cambridge University PressAvtor
Rijke, Egbert (The Johns Hopkins University, Maryland)Dimenzije
161 x 237 x 29BIC
PBCD,PBM,PBP,UYFOpis
An introduction to type theory and the univalence axiom, aimed at advanced undergraduate and graduate students of mathematics and computer science with an interest in the foundations and formalization of mathematics. Prerequisites are minimal and over 200 exercises provide ample practice material.Pogosto kupljeno skupaj
Mladinska knjiga, Emka.si
www.emka.si
Trda vezava
Ostali so si ogledali tudi ...
Najbolj prodajano v tem trenutku!
Najbolj prodajane, brane in aktualne knjige ta trenutek, slovenske in angleške: romani, priročniki, vodniki, potopisi, poezija, slikanice, pravljice, kartonke, uganke, stripi, otroške knjige … Novosti in uspešnice na enem mestu. V spletni knjigarni www.emka.si!
Več kot pol milijona knjig
Največja ponudba slovenskih in tujih knjig na enem mestu.
Enostaven nakup
Do izbranega le z nekaj kliki na spletu ali v eni od več kot 50 knjigarn.
Strokoven nasvet
Pred nakupom nas pokličite za nasvet ali se oglasite v knjigarni.
Vse za šolo
Nagrajena izobraževalna gradiva in kakovostne potrebščine.
Celovita ponudba za dom in pisarno
Vrhunski izdelki priznanih blagovnih znamk.
Brezplačna dostava
Brezplačna dostava za vsa naročila nad 59 € (za šolske pakete nad 140 €)
Naslov
Slovenska cesta 29, 1000 Ljubljana
E-naslovSpletna knjigarna: info@emka.si, Mladinska knjiga Založba: info@mladinska-knjiga.si
Kontakt01 241 30 00
Brezplačna številka080 12 05
- Ko izberete elemente, se celotna stran osveži.
- Odpre se v novem oknu.