In diesem Lehrbuch werden die grundlegenden Begriffe der Theoretischen Informatik - Berechenbarkeit, Entscheidbarkeit, rekursive Funktionen, Regelsprachen, Turingmaschinen, Komplexitat - auf der Basis der Programmiersprache PASCAL motiviert, abgeleitet und in einer einheitlichen Betrachtungsweise dargestellt. Ferner wird die Aquivalenz verschiedener Ansatze zu einer Theorie der Berechenbarkeit - Programme, rekursive Funktionen, Regelsprachen und Turingmaschinen - als weiteres zentrales Konzept herausgestellt. Wahrend in den Kapiteln 1-7 qualitative Aspekte der Berechenbarkeit behandelt...
In diesem Lehrbuch werden die grundlegenden Begriffe der Theoretischen Informatik - Berechenbarkeit, Entscheidbarkeit, rekursive Funktionen, Regelspra...
Dieses Buch enthalt die Beitrage einer Tagung, die gemeinsam vom Fachbereich "Ausbildung und Beruf" der Gesellschaft fur Informatik und dem Institut fur Film und Bild in Wissenschaft und Unterricht FWU veranstaltet wurde. Die absehbare technische Weiterentwicklung des Computers in der Hardware und der Software offnet der Ausbildung viele Wege in die Zukunft. Dies belegt eindrucksvoll der Themenkatalog der Tagung: Ausbildung an allgemeinen und berufsbildenden Schulen, betriebliche Ausbildung, Netze und Telekommunikation, Computer-unterstutztes Lernen und Anwenden im Schulunterricht."
Dieses Buch enthalt die Beitrage einer Tagung, die gemeinsam vom Fachbereich "Ausbildung und Beruf" der Gesellschaft fur Informatik und dem Institut f...
