Formeel systeem: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Regel 7:
== Beschrijving ==
In de [[wiskunde]], [[logica]] en [[grammatica]] bestaan formele systemen uit de volgende elementen:
* Een [[eindige verzameling|eindige]] reeks symbolen (bijvoorbeeld een [[alfabet]]) met behulp waarvan [[formule]]s worden opgesteld.
Regel 14:
* Een reeks [[afleidingsregel]]s.
Een reeks is [[recursieve reeks|recursief]] als met behulp van [[algoritme]]n bepaalde eigenschappen van te voren kunnen worden voorspeld.
== Soorten formele systemen ==
| |||