Formeel systeem
Uit Wikipedia, de vrije encyclopedie
Een formeel systeem is een combinatie van een formele taal en een verzameling afleidings- of transformatieregels die zinnen in de formele taal omzetten in nieuwe zinnen. Voorbeelden van formele systemen zijn de propositie-, predikaten- en andere logica's.
Dit artikel is een beginnetje over wiskunde. U wordt uitgenodigd op bewerk te klikken om uw kennis aan dit artikel toe te voegen. |