Zoekresultaten
Naar navigatie springen
Naar zoeken springen
Overeenkomst met onderwerp
- …serie=18 |nummer=8 |doi=10.1145/360933.360975 |pagina's=EWD472}}</ref>. De semantiek van imperatieve programma's wordt hierin gekenmerkt door bij elke mogelijke Predicaat-transformer-semantiek vormt de basis voor een verificatietechniek genaamd ''[[Symbolische uitvoer …3 kB (348 woorden) - 15 nov 2024 21:30
Overeenkomst met inhoud
- …naamwoorden onderscheiden. Het begrip kwantisatie/kwantisering is in de [[semantiek]] voor het eerst gebruikt door [[Manfred Krifka]]. [[Categorie:Semantiek]] …2 kB (250 woorden) - 6 jun 2024 16:35
- …serie=18 |nummer=8 |doi=10.1145/360933.360975 |pagina's=EWD472}}</ref>. De semantiek van imperatieve programma's wordt hierin gekenmerkt door bij elke mogelijke Predicaat-transformer-semantiek vormt de basis voor een verificatietechniek genaamd ''[[Symbolische uitvoer …3 kB (348 woorden) - 15 nov 2024 21:30
- In de [[semantiek]] en de [[logica]] wordt van een taaluiting ''X'' gezegd dat ze '''cumulati [[Categorie:Semantiek]] …2 kB (316 woorden) - 14 mrt 2022 13:36
- Voor de [[semantiek]] van modale logica's worden vaak [[Kripkemodel]]len gebruikt. === Semantiek === …7 kB (1.014 woorden) - 19 dec 2023 23:27
- …sp. <math>\varphi_2</math> ''waar'' toekenennen. Dat betekent volgens de [[semantiek]] van <math>\wedge</math> dat <math>\varphi_1\wedge\varphi_2</math> vervuld …resp. <math>\varphi_2</math> ''waar'' toekenennen. Dat betekent volgens de semantiek van <math>\vee</math> dat <math>\varphi_1\vee\varphi_2</math> vervuld wordt …5 kB (670 woorden) - 31 jan 2025 16:07
- {{Zie hoofdartikel|Interpretatie (logica)|Formele semantiek}} …van het formele systeem in. Formele semantiek (niet te verwarren met de [[semantiek]] als onderdeel van de taalkunde) behelst de studie van formele interpretat …6 kB (901 woorden) - 26 sep 2023 22:16
- De [[Semantiek (informatica)|semantiek]] van de meeste repetities is dat de conditionele expressie geëvalueerd wor De semantiek van deze constructie is als volgt: ze wordt uitgevoerd door ''V'' (een voor …8 kB (1.186 woorden) - 21 mrt 2024 18:54
- Voor de [[semantiek]] van de epistemische logica wordt gebruikgemaakt van [[kripkemodel]]len,… …2 kB (278 woorden) - 28 jun 2023 20:43
- === Semantiek === …8 kB (1.092 woorden) - 12 jul 2022 13:53
- …ankelijkheidsrelatie een onderdeel van een [[Kripkemodel]]len waarmee de [[semantiek]] van modale logica uitgedrukt kan worden. Een Kripkemodel <math>\mathcal{M De semantiek van een formule in deze modale logica kan worden geïnterpreteerd met behulp …8 kB (1.188 woorden) - 1 sep 2022 18:20
- ==Semantiek== …11 kB (1.649 woorden) - 23 jun 2023 16:20
- == Syntaxis en semantiek == …ssieke logica|klassieke propositielogica]]. Hieronder wordt de syntaxis en semantiek van deze logica gegeven. …19 kB (3.042 woorden) - 15 mrt 2025 10:35
- …structure grammar]] is een taalkundig model om zowel de syntaxis als de [[semantiek]] van natuurlijke talen te beschrijven. Een van de principes van het model …4 kB (608 woorden) - 30 jul 2022 13:51
- …n ook nuttig in de [[typetheorie]] en de beschrijving van de denotationele semantiek van [[Imperatief programmeren|imperatieve programmeertalen]]. In het bijzon …6 kB (932 woorden) - 1 nov 2024 13:52
- …rde, kunstmatige taal waarvan vorm (de syntaxis) en vaak ook betekenis (de semantiek) exact is vastgelegd, vaak door middel van wiskundige definities. Formele… …rukkingen in formele talen mee te beschrijven. De ''inhoud'' (betekenis, [[semantiek]]) van uitdrukkingen wordt meestal volkomen buiten beschouwing gelaten. …12 kB (1.702 woorden) - 20 jan 2025 18:34
- …rijke eigenschap in verschillende benaderingen van de bewijstheoretische [[semantiek]]. …6 kB (858 woorden) - 11 okt 2024 09:52
- …van de [[universele algebra]], die diverse nieuwe onderdelen heeft, die [[semantiek|semantische]] flexibiliteit en [[hogere-orde logica]] toestaat, kwam pas la …7 kB (994 woorden) - 22 mrt 2019 02:18
- Tarski werd vooral bekend door zijn ''semantic theory of truth'' (''[[Semantiek|semantische]] waarheidstheorie''), waarmee hij een geldige en bruikbare def …8 kB (1.211 woorden) - 27 mei 2024 18:38
- …oor een beschrijving, waarbij gebruik wordt gemaakt van een regel of een [[Semantiek|semantische]] beschrijving van de elementen: …17 kB (2.525 woorden) - 13 jan 2025 00:35
- …uwe probleemstellingen ontwikkeld op het grensgebied van de logica en de [[semantiek]]. Deze worden in van elkaar onafhankelijke traktaten bediscuseerd. Enige… De moderne logica brengt uiteindelijk de ontwikkeling van een semantiek van de predicaatlogica voort. Belangrijk voorwerk hiervoor is de [[stelling …24 kB (3.349 woorden) - 11 jun 2024 22:11