redeneren aan de hand van een aantal gegeven premissen

het openbaar en het bijzonder onderwijs

Esprit project voor de ontwikkeling van een prototype van een algemeen bruikbare omgeving voor systeembeschrijving, gebaseerd op de zogenaamde ‘ systeemsemantiek’

controle die betrekking heeft op de vorm van een procedure of document. Voorbeeld: aanwezigheid en rechtsgeldigheid van een handtekening, een stempel of een datum

maker, schepper

syntactisch manipuleren van gegevensstructuren, dat kunnen zinnen of beweringen zijn, ten einde nieuwe gegevensstructuren af te leiden volgens bepaalde afleidingsregels

verzameling proposities, of axioma`s, waaruit nieuwe proposities, of stellingen, worden afgeleid volgens passende afleidingsregels; de geldigheid hiervan wordt bepaald door de syntax van het systeem

F.A.

for` meel, («Frans«Latijn), I, bijvoeglijk naamwoord en bijwoord,

plan dat het doel,de leerinhoud,de werkvorm en de media aangeeft voor een reeks educatieve activiteiten.alsmede de tijdsperiode waarin deze gerealiseerd dienen te worden