Viser 1-5 af 5
gren af matematisk logik, der beskæftiger sig med forholdet mellem aksiomsystemer og mængdeteoretiske strukturer, som er modeller for disse, dvs. opfylder al... Læs mere
1902-1983, polsk logiker og matematiker, emigreret til USA i 1939; i 1942 blev han lektor ved Berkeley University efter anbefaling af W.V.O. Quine, 1949 profes... Læs mere
sætning i matematisk logik, bevist 1915 af tyskeren Leopold Löwenheim (1878-1957) og 1920 af Thoralf Skolem uafhængigt af hinanden. Den siger, at en modsige... Læs mere
... (via ty. eller fr. fra lat. modulus 'målestok, skala', dim. af modus 'måde, mål'), fysisk, billedlig, matematisk eller sproglig gengivelse af et objekt ... Læs mere
i matematikken en formel i modelteorien, hvori enhver variabel står under en kvantor. ... Læs mere
Viser 1-5 af 5
| Find Lydbøger hos Storytel | Find bøger på bogpriser.dk | Studiebøger på pensum.dk | E-bøger hos g.dk | ||||
© Gyldendal 2009-2013 - Powered by MindTouch Deki