Zoekresultaten

Filosofie van de wiskunde
...ied is opgekomen in de eerste helft van de 20e eeuw, en omvat [[wiskundige logica]], [[modeltheorie]], [[recursietheorie]] en axiomatische [[verzamelingenlee ...et [[Gottlob Frege]] en [[Bertrand Russell]] wil de wiskunde baseren op de logica. ...

4 kB (570 woorden) - 10 nov 2019 22:45
Georg Cantor
...n het vraagstuk hebben beslist; op zijn hoogst zal het mogelijk zijn om de formele consequenties van de continuümhypothese of haar ontkenning te onderzoeken, ...e negentiende eeuw ontstonden er voor het eerst discussies over [[paradox (logica)|paradoxen]] binnen de verzamelingenleer. Sommige van deze paradoxen implic ...

35 kB (4.854 woorden) - 10 nov 2019 22:34
Robert Feys
...ruime tijd de enige uitgebreide Nederlandstalige handleiding in de formele logica. ...ritme]] voor de eenvoudig getypeerde [[lambdacalculus]] ([[combinatorische logica]]). ...

3 kB (433 woorden) - 5 feb 2018 07:52
Alexander Ollongren
...ssing, Scheme, [[Algol]]-68, [[PROLOG]], en toepassing van Constructieve [[Logica]] (meer in het bijzonder het Franse systeem [[Coq]]]). Na zijn emeritaat we ...iverseel interpreteerbaar, linguïstisch systeem gebaseerd op constructieve logica. Hij benoemde het relevante gebied met de term astrolinguïstiek. Hij leverd ...

15 kB (2.027 woorden) - 5 mrt 2021 11:06
Jan Land
* ''Beginselen der analytische logica: een schets, ten gebruike bij de academische lessen ontworpen'', Leiden: Br En verder over onderwerpen als: kritische [[zedenleer]], [[formele logica]] en ''Schotse wijsgeren aan Nederlandse hogescholen''. ...

3 kB (325 woorden) - 20 jun 2015 11:48
Johannes Eekels
...nderscheidde Johan Eekels (1985) zelf drie vormen methodologie: de formele logica met daarnaast de 'methodologie van de techniek' en de 'methodologie van de ...impliceert niet dat je ook weet hoe dat gebeurt."<ref>J. Eekels, "Over de logica en methodologie van het technisch ontwerpen." in ''Product'' (juli 2004) p. ...

9 kB (1.164 woorden) - 12 nov 2019 00:49
Waarheid (juistheid)
...jn oorspronkelijk in het Pools verschenen opzet van het waarheidsbegrip in formele talen (1933) de ''[[semantische waarheidstheorie]]'' ontwikkeld en bedoelt Natuurlijk is deze [[Paradox (logica)|paradox]] alleen dan paradoxaal, als men aanneemt dat iemand die ooit lieg ...

19 kB (2.654 woorden) - 19 aug 2011 12:46
Nederlands
...vogala]] (het is echter allang niet meer de oudste zin), terwijl de oudste formele oorkonde die ooit in het Nederlands werd opgesteld, de [[schepenbrief]] van ...veranderingen leidden tot veel discussie, met als hoofdbezwaar dat er geen logica in de regels voor de tussen-n te ontdekken was. Daarnaast vonden critici ve ...

46 kB (6.229 woorden) - 4 aug 2018 20:59
Ethiek
...an de [[filosofie]]. Wanneer filosofie wordt ingedeeld in een natuurlijke, formele en morele discipline, dan behoort ethiek tot de laatste. Er zijn natuurlijk ...

3 kB (443 woorden) - 24 aug 2023 17:45
Alfabet (doorverwijspagina)
...reeks symbolen om in de [[computerwetenschap]] en [[wiskundige logica]] [[formele taal]] mee weer te geven; zie [[Alfabet (computerwetenschap)]]. ...

702 bytes (87 woorden) - 21 feb 2010 17:47
Taal (doorverwijspagina)
* In de [[logica]] en [[informatica]]: [[formele taal]] zoals [[programmeertaal]] ...

639 bytes (75 woorden) - 27 aug 2017 20:56
Semantiek
*De logica; zie : [[Formele semantiek]]. ...

529 bytes (52 woorden) - 18 apr 2010 12:48
Analytica posteriora
...het [[Organon (Aristoteles)|Organon]] van [[Aristoteles]]. Het is een heel formele bespreking over [[onderwijzer|onderwijzen]] en intellectueel [[leren]], opg [[Categorie:Logica]] ...

1 kB (163 woorden) - 19 nov 2010 23:59
Semantiek (doorverwijspagina)
*De logica; zie [[Formele semantiek]] ...

430 bytes (45 woorden) - 21 mei 2011 20:41
Adel
...vroeg-middeleeuwse]] ''nobilitas'', aangezien hier geen sprake was van een formele adelsverheffing. Daarnaast kwam een deel van de privileges voort uit de fun ...briefadel genoemd naar de adelsdiploma's die zij ontvingen. Met een zekere logica bedachten de burgers die een ambt vervulden waarvoor men een edelman moest ...

30 kB (4.364 woorden) - 21 mei 2018 05:12
Joost van den Vondel
...sgezinde lekentheologie, maar trof in de katholieke leer 'alle vastheid en logica (...) die hij bij zijn geloofsgenoten pijnlijk moet hebben gemist.'<ref nam ...te dichters van alle tijden behoort', met de kanttekening dat daarvoor de 'formele voortreffelijkheid' en niet de inhoud daarvoor borg staat, want volgens hem ...

60 kB (8.548 woorden) - 30 jun 2018 17:11
Mythologie
Het formalisme staat voor een formele, nauwgezette analyse van verhalen ([[narratie]]ven). Het gaat hier dan met ...rder uit. Het doel van dit onderzoek was om zonder twijfel de methodiek en logica van mythologieën vast te stellen.<ref>Gardner 1972, p. 147.</ref> Lévi-Stra ...

74 kB (10.630 woorden) - 10 mei 2020 13:42
Informatiekunde
...een multidisciplinaire wetenschap. en raakt aan de informatica, taalkunde, logica, kunstmatige intelligentie, wiskunde, geografie, enzovoort. Sinds het begin van de formele opleidingen [[Informatica]] aan universiteiten in Nederland in 1982 is er v ...

10 kB (1.188 woorden) - 10 nov 2019 20:10
Verzameling (wiskunde)
...et te voldoen binnen het theoretische kader van de [[Formalisme (wiskunde)|formele]] wiskunde. In plaats daarvan wordt het begrip 'verzameling' in de [[axioma ...le beschrijvingen van verzamelingen, omdat deze gemakkelijk tot [[Paradox (logica)#Wiskundige paradoxen|paradoxen]] kunnen leiden. De [[axiomatische verzamel ...

17 kB (2.566 woorden) - 10 nov 2019 22:37
Klasse (verzamelingenleer)
...e getallen]] en de klasse van alle verzamelingen zijn bijvoorbeeld in veel formele systemen echte klassen. ...aak om het begrip klasse in te voeren komt voort uit de wens om [[paradox (logica)|logische tegenspraak]] te vermijden (zie [[Russellparadox|paradox van Russ ...

3 kB (394 woorden) - 3 jan 2021 11:19

Zoekresultaten

Navigatiemenu

Zoeken