8 relaties: Defaultlogica, Formeel systeem, Interpretatie (logica), Literair begrip, Metaprogramma (software), Metaprogrammeren, Taal, Wilfrid Sellars.
Defaultlogica
Defaultlogica is een niet-monotone logica ontwikkeld door Raymond Reiter waarmee men kan redeneren over gangbare aannames, zoals vogels die doorgaans kunnen vliegen.
Nieuw!!: Objecttaal en Defaultlogica · Bekijk meer »
Formeel systeem
Een formeel systeem is een combinatie van een formele taal en een verzameling afleidings- of transformatieregels of axioma's die zinnen in de formele taal omzetten in nieuwe zinnen.
Nieuw!!: Objecttaal en Formeel systeem · Bekijk meer »
Interpretatie (logica)
Met interpretatie wordt in de logica de extensie van symbolen en strings aan de hand van tupels bedoeld.
Nieuw!!: Objecttaal en Interpretatie (logica) · Bekijk meer »
Literair begrip
Een literair begrip is een begrip dat wordt gebruikt om literaire teksten te analyseren.
Nieuw!!: Objecttaal en Literair begrip · Bekijk meer »
Metaprogramma (software)
Een metaprogramma is een programma dat andere programma's genereert, inschakelt, uitschakelt of aanstuurt.
Nieuw!!: Objecttaal en Metaprogramma (software) · Bekijk meer »
Metaprogrammeren
Metaprogrammeren is het schrijven van computerprogramma's die andere programma's kunnen lezen, genereren, analyseren en/of transformeren.
Nieuw!!: Objecttaal en Metaprogrammeren · Bekijk meer »
Taal
Spijkerschrift is de oudst overgeleverde vorm van geschreven taal. Taal is een systeem van tekens – zoals gesproken klanken, gebaren, of geschreven symbolen – waarvan de mens gebruikmaakt om zijn gedachten te articuleren, zijn wereld te ordenen en te communiceren.
Nieuw!!: Objecttaal en Taal · Bekijk meer »
Wilfrid Sellars
Wilfrid Stalker Sellars (Michigan, 20 mei 1912 – Pittsburgh, 2 juli 1989) was een Amerikaans filosoof en professor aan de Universiteit van Pittsburgh.
Nieuw!!: Objecttaal en Wilfrid Sellars · Bekijk meer »