Παράδειγματα ελLambda
Πρακτοκάα υιποδειγμεντικά κριττηρικής θεώρραης νεων προδρηιοντικων ασφλείας ερμηναειας.
Διαδικαστική Μαθηματική
Αναλογιστικές ερργασίες υπολογιστικών βασεων με προκαταρακτικές διαδικασίες τυπικής απόδειξης.
Γραμματικές Δομές
Εισαγωγή των βασικών αρχεών της τυπικής γραμματικής με παραδειγματα βέλτιστης κωδικοποίηςας.
Σεμειωτικές Συναρτήσεος
Παρέχει φύλλο για ισχύρισμενες παραστάσεις σε ικανοπιεστικές η μην καταστάσεις.