Edukatico will keep you updated from time to time. (You can stop this at any time.)
Choose filter settings here or enter a search term above.
This video lecture discusses the computational complexity theory, including the Chomsky hierarchy, (un-) decidability,SPACE versus TIME, EXPSPACE and more advanced topics.
Diese Videovorlesung erläutert Logik und Verifikation.