Die theoretische Informatik ist für viele Studierende ein Schreckgespenst, weil formale Einstiegshürden die Bezüge zur Praxis verschleiern. In diesem Lehrbuch wird das Theoretische aufgerollt, wie es ursprünglich entstanden ist: zur Lösung ganz praktischer Probleme. So ergeben sich Formalismen als logische Notwendigkeit, mathematische Eigenarten werden greifbar, komplexe Theorien verlieren ihren Schrecken. Radikal studierendenorientiert führt das Buch in Automatentheorie, Grammatiken, Berechenbarkeits- und Komplexitätstheorie ein.

Die Autoren erhielten 2013 gemeinsam den Fakultätslehrpreis für herausragende Lehre am Karlsruher Institut für Technologie (KIT).

Lukas König studierte Informatik an der Universität Stuttgart und promovierte 2014 am Institut für angewandte Informatik und formale Beschreibungsverfahren (AIFB) des KIT. Derzeit forscht er zum Einsatz computergestützter Methoden im Informatikunterricht.

Friederike Pfeiffer-Bohnen studierte Wirtschaftsingenieurwesen am KIT. Am Institut AIFB promoviert sie derzeit im Bereich Hochschuldidaktik mit Schwerpunkt eLearning. Im Jahr 2016 erlangte sie das Baden-Württemberg-Zertifikat für Hochschuldidaktik.

Hartmut Schmeck hat seit 1991 eine Professur am Institut AIFB des KIT. Er forscht und lehrt über Algorithmen und Architekturen, in den letzten Jahren vor allem für selbstorganisierende, adaptive Systeme mit Anwendungen in Energie- und Verkehrssystemen.

Die theoretische Informatik ist für viele Studierende ein Schreckgespenst, weil formale Einstiegshürden die Bezüge zur Praxis verschleiern. In diesem Lehrbuch wird das Theoretische aufgerollt, wie es ursprünglich entstanden ist: zur Lösung ganz praktischer Probleme. So ergeben sich Formalismen als logische Notwendigkeit, mathematische Eigenarten werden greifbar, komplexe Theorien verlieren ihren Schrecken. Radikal studierendenorientiert führt das Buch in Automatentheorie, Grammatiken, Berechenbarkeits- und Komplexitätstheorie ein.

Die Autoren erhielten 2013 gemeinsam den Fakultätslehrpreis für herausragende Lehre am Karlsruher Institut für Technologie (KIT).

Lukas König studierte Informatik an der Universität Stuttgart und promovierte 2014 am Institut für angewandte Informatik und formale Beschreibungsverfahren (AIFB) des KIT. Derzeit forscht er zum Einsatz computergestützter Methoden im Informatikunterricht.

Friederike Pfeiffer-Bohnen studierte Wirtschaftsingenieurwesen am KIT. Am Institut AIFB promoviert sie derzeit im Bereich Hochschuldidaktik mit Schwerpunkt eLearning. Im Jahr 2016 erlangte sie das Baden-Württemberg-Zertifikat für Hochschuldidaktik.

Hartmut Schmeck hat seit 1991 eine Professur am Institut AIFB des KIT. Er forscht und lehrt über Algorithmen und Architekturen, in den letzten Jahren vor allem für selbstorganisierende, adaptive Systeme mit Anwendungen in Energie- und Verkehrssystemen.

Die fortschreitende Digitalisierung hat in den letzten Jahrzehnten nie dagewesene gesellschaftliche Umstrukturierungen herbeigeführt. In der Hochschullehre spiegeln sich diese Veränderungen allerdings nur sehr zeitverzögert wider. Im Rahmen des »Shift from teaching to learning« wird erst in den letzten Jahren die studierendenzentrierte Lehre durch die Gestaltung neuer Lehr- und Lernbedingungen aktiv in den Mittelpunkt gerückt. Dieses Buch liefert Empfehlungen für den intelligenten Einsatz digitaler Systeme in universitären Lehrveranstaltungen sowie Hilfestellungen zu deren didaktischer Strukturierung, Planung und Durchführung. Zu diesem Zweck wird eine Metrik zur prozeduralen Qualitätsmessung einer Lehrveranstaltung vorgeschlagen und im Rahmen einer realen Großvorlesung evaluiert. Außerdem wird beispielhaft an drei digitalen Systemen dargelegt, wie durch deren Einsatz die Entwicklung vom Lehren zum Lernen unterstützt werden kann: das Kommunikationswerkzeug nuKIT-Tools, der interaktive Aufgabenpool zur asynchronen kontextsensitiven Kommunikation sowie der XWizard zur Unterstützung des Web-Based-Training.

Friederike Pfeifer-Bohnen

studierte Wirtschaftsingenieurwesen am Karlsruher Institut für Technologie (KIT). Dort promovierte sie im Bereich Hochschuldidaktik mit Schwerpunkt eLearning am Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB). Im Jahr 2013 erlangte sie das Baden- Württemberg-Zertifi kat für Hochschuldidaktik. Im Jahr 2016 erhielt sie den Fakultätslehrpreis für exzellente Lehre des KIT.

Die fortschreitende Digitalisierung hat in den letzten Jahrzehnten nie dagewesene gesellschaftliche Umstrukturierungen herbeigeführt. In der Hochschullehre spiegeln sich diese Veränderungen allerdings nur sehr zeitverzögert wider. Im Rahmen des »Shift from teaching to learning« wird erst in den letzten Jahren die studierendenzentrierte Lehre durch die Gestaltung neuer Lehr- und Lernbedingungen aktiv in den Mittelpunkt gerückt. Dieses Buch liefert Empfehlungen für den intelligenten Einsatz digitaler Systeme in universitären Lehrveranstaltungen sowie Hilfestellungen zu deren didaktischer Strukturierung, Planung und Durchführung. Zu diesem Zweck wird eine Metrik zur prozeduralen Qualitätsmessung einer Lehrveranstaltung vorgeschlagen und im Rahmen einer realen Großvorlesung evaluiert. Außerdem wird beispielhaft an drei digitalen Systemen dargelegt, wie durch deren Einsatz die Entwicklung vom Lehren zum Lernen unterstützt werden kann: das Kommunikationswerkzeug nuKIT-Tools, der interaktive Aufgabenpool zur asynchronen kontextsensitiven Kommunikation sowie der XWizard zur Unterstützung des Web-Based-Training.

Friederike Pfeifer-Bohnen

studierte Wirtschaftsingenieurwesen am Karlsruher Institut für Technologie (KIT). Dort promovierte sie im Bereich Hochschuldidaktik mit Schwerpunkt eLearning am Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB). Im Jahr 2013 erlangte sie das Baden- Württemberg-Zertifi kat für Hochschuldidaktik. Im Jahr 2016 erhielt sie den Fakultätslehrpreis für exzellente Lehre des KIT.

Die fortschreitende Digitalisierung hat in den letzten Jahrzehnten nie dagewesene gesellschaftliche Umstrukturierungen herbeigeführt. In der Hochschullehre spiegeln sich diese Veränderungen allerdings nur sehr zeitverzögert wider. Im Rahmen des »Shift from teaching to learning« wird erst in den letzten Jahren die studierendenzentrierte Lehre durch die Gestaltung neuer Lehr- und Lernbedingungen aktiv in den Mittelpunkt gerückt. Dieses Buch liefert Empfehlungen für den intelligenten Einsatz digitaler Systeme in universitären Lehrveranstaltungen sowie Hilfestellungen zu deren didaktischer Strukturierung, Planung und Durchführung. Zu diesem Zweck wird eine Metrik zur prozeduralen Qualitätsmessung einer Lehrveranstaltung vorgeschlagen und im Rahmen einer realen Großvorlesung evaluiert. Außerdem wird beispielhaft an drei digitalen Systemen dargelegt, wie durch deren Einsatz die Entwicklung vom Lehren zum Lernen unterstützt werden kann: das Kommunikationswerkzeug nuKIT-Tools, der interaktive Aufgabenpool zur asynchronen kontextsensitiven Kommunikation sowie der XWizard zur Unterstützung des Web-Based-Training.

Friederike Pfeifer-Bohnen

studierte Wirtschaftsingenieurwesen am Karlsruher Institut für Technologie (KIT). Dort promovierte sie im Bereich Hochschuldidaktik mit Schwerpunkt eLearning am Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB). Im Jahr 2013 erlangte sie das Baden- Württemberg-Zertifi kat für Hochschuldidaktik. Im Jahr 2016 erhielt sie den Fakultätslehrpreis für exzellente Lehre des KIT.

Die optimale Prüfungsvorbereitung anhand 100 Aufgaben zur Theoretischen Informatik mit ausführlicher Lösung. Zu jedem Kapitel wird eine Einleitung mit Link auf die Videoaufzeichnung einer zugehörigen Vorlesung am Karlsruher Institut für Technologie gegeben. Außerdem können in einem Forum Fragen und Probleme zu allen Aufgaben diskutiert werden. Behandelt werden die Themen: Formale Sprachen, endliche Automaten mit und ohne Ausgabe, Minimierung endlicher Automaten, Kellerautomaten, Turingmaschinen, rechtslineare, kontextfreie, monotone/kontextsensitive, allgemeine Grammatiken, Pumping-Lemmas, Berechenbarkeits- und Komplexitätstheorie und weitere.

Die optimale Prüfungsvorbereitung anhand 100 Aufgaben zur Technischen Informatik mit ausführlicher Lösung. Zu jedem Kapitel wird eine Einleitung mit Link auf die Videoaufzeichnung einer zugehörigen Vorlesung am Karlsruher Institut für Technologie gegeben. Außerdem können in einem Forum Fragen und Probleme zu allen Aufgaben diskutiert werden. Behandelt werden die Themen: Schaltnetze und Schaltwerke, Complementary Metal Oxide Semiconductor (CMOS), Binary Decision Diagram (BDD), Zahlendarstellung, Kodierung und Fehlererkennung, Verschlüsselung, Rechnerarchitektur, Programmierung, Assembler, Betriebssysteme, Dateiorganisation und weitere.

Die theoretische Informatik ist für viele Studierende ein Schreckgespenst, weil formale Einstiegshürden die Bezüge zur Praxis verschleiern. In diesem Lehrbuch wird das Theoretische aufgerollt, wie es ursprünglich entstanden ist: zur Lösung ganz praktischer Probleme. So ergeben sich Formalismen als logische Notwendigkeit, mathematische Eigenarten werden greifbar, komplexe Theorien verlieren ihren Schrecken. Radikal studierendenorientiert führt das Buch in Automatentheorie, Grammatiken, Berechenbarkeits- und Komplexitätstheorie ein.

Die Autoren erhielten 2013 gemeinsam den Fakultätslehrpreis für herausragende Lehre am Karlsruher Institut für Technologie (KIT).

Lukas König studierte Informatik an der Universität Stuttgart und promovierte 2014 am Institut für angewandte Informatik und formale Beschreibungsverfahren (AIFB) des KIT. Derzeit forscht er zum Einsatz computergestützter Methoden im Informatikunterricht.

Friederike Pfeiffer-Bohnen studierte Wirtschaftsingenieurwesen am KIT. Am Institut AIFB promoviert sie derzeit im Bereich Hochschuldidaktik mit Schwerpunkt eLearning. Im Jahr 2016 erlangte sie das Baden-Württemberg-Zertifikat für Hochschuldidaktik.

Hartmut Schmeck hat seit 1991 eine Professur am Institut AIFB des KIT. Er forscht und lehrt über Algorithmen und Architekturen, in den letzten Jahren vor allem für selbstorganisierende, adaptive Systeme mit Anwendungen in Energie- und Verkehrssystemen.

Die theoretische Informatik ist für viele Studierende ein Schreckgespenst, weil formale Einstiegshürden die Bezüge zur Praxis verschleiern. In diesem Lehrbuch wird das Theoretische aufgerollt, wie es ursprünglich entstanden ist: zur Lösung ganz praktischer Probleme. So ergeben sich Formalismen als logische Notwendigkeit, mathematische Eigenarten werden greifbar, komplexe Theorien verlieren ihren Schrecken. Radikal studierendenorientiert führt das Buch in Automatentheorie, Grammatiken, Berechenbarkeits- und Komplexitätstheorie ein.

Die Autoren erhielten 2013 gemeinsam den Fakultätslehrpreis für herausragende Lehre am Karlsruher Institut für Technologie (KIT).

Lukas König studierte Informatik an der Universität Stuttgart und promovierte 2014 am Institut für angewandte Informatik und formale Beschreibungsverfahren (AIFB) des KIT. Derzeit forscht er zum Einsatz computergestützter Methoden im Informatikunterricht.

Friederike Pfeiffer-Bohnen studierte Wirtschaftsingenieurwesen am KIT. Am Institut AIFB promoviert sie derzeit im Bereich Hochschuldidaktik mit Schwerpunkt eLearning. Im Jahr 2016 erlangte sie das Baden-Württemberg-Zertifikat für Hochschuldidaktik.

Hartmut Schmeck hat seit 1991 eine Professur am Institut AIFB des KIT. Er forscht und lehrt über Algorithmen und Architekturen, in den letzten Jahren vor allem für selbstorganisierende, adaptive Systeme mit Anwendungen in Energie- und Verkehrssystemen.

Die fortschreitende Digitalisierung hat in den letzten Jahrzehnten nie dagewesene gesellschaftliche Umstrukturierungen herbeigeführt. In der Hochschullehre spiegeln sich diese Veränderungen allerdings nur sehr zeitverzögert wider. Im Rahmen des »Shift from teaching to learning« wird erst in den letzten Jahren die studierendenzentrierte Lehre durch die Gestaltung neuer Lehr- und Lernbedingungen aktiv in den Mittelpunkt gerückt. Dieses Buch liefert Empfehlungen für den intelligenten Einsatz digitaler Systeme in universitären Lehrveranstaltungen sowie Hilfestellungen zu deren didaktischer Strukturierung, Planung und Durchführung. Zu diesem Zweck wird eine Metrik zur prozeduralen Qualitätsmessung einer Lehrveranstaltung vorgeschlagen und im Rahmen einer realen Großvorlesung evaluiert. Außerdem wird beispielhaft an drei digitalen Systemen dargelegt, wie durch deren Einsatz die Entwicklung vom Lehren zum Lernen unterstützt werden kann: das Kommunikationswerkzeug nuKIT-Tools, der interaktive Aufgabenpool zur asynchronen kontextsensitiven Kommunikation sowie der XWizard zur Unterstützung des Web-Based-Training.

Friederike Pfeifer-Bohnen

studierte Wirtschaftsingenieurwesen am Karlsruher Institut für Technologie (KIT). Dort promovierte sie im Bereich Hochschuldidaktik mit Schwerpunkt eLearning am Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB). Im Jahr 2013 erlangte sie das Baden- Württemberg-Zertifi kat für Hochschuldidaktik. Im Jahr 2016 erhielt sie den Fakultätslehrpreis für exzellente Lehre des KIT.

Die fortschreitende Digitalisierung hat in den letzten Jahrzehnten nie dagewesene gesellschaftliche Umstrukturierungen herbeigeführt. In der Hochschullehre spiegeln sich diese Veränderungen allerdings nur sehr zeitverzögert wider. Im Rahmen des »Shift from teaching to learning« wird erst in den letzten Jahren die studierendenzentrierte Lehre durch die Gestaltung neuer Lehr- und Lernbedingungen aktiv in den Mittelpunkt gerückt. Dieses Buch liefert Empfehlungen für den intelligenten Einsatz digitaler Systeme in universitären Lehrveranstaltungen sowie Hilfestellungen zu deren didaktischer Strukturierung, Planung und Durchführung. Zu diesem Zweck wird eine Metrik zur prozeduralen Qualitätsmessung einer Lehrveranstaltung vorgeschlagen und im Rahmen einer realen Großvorlesung evaluiert. Außerdem wird beispielhaft an drei digitalen Systemen dargelegt, wie durch deren Einsatz die Entwicklung vom Lehren zum Lernen unterstützt werden kann: das Kommunikationswerkzeug nuKIT-Tools, der interaktive Aufgabenpool zur asynchronen kontextsensitiven Kommunikation sowie der XWizard zur Unterstützung des Web-Based-Training.

Friederike Pfeifer-Bohnen

studierte Wirtschaftsingenieurwesen am Karlsruher Institut für Technologie (KIT). Dort promovierte sie im Bereich Hochschuldidaktik mit Schwerpunkt eLearning am Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB). Im Jahr 2013 erlangte sie das Baden- Württemberg-Zertifi kat für Hochschuldidaktik. Im Jahr 2016 erhielt sie den Fakultätslehrpreis für exzellente Lehre des KIT.

Die fortschreitende Digitalisierung hat in den letzten Jahrzehnten nie dagewesene gesellschaftliche Umstrukturierungen herbeigeführt. In der Hochschullehre spiegeln sich diese Veränderungen allerdings nur sehr zeitverzögert wider. Im Rahmen des »Shift from teaching to learning« wird erst in den letzten Jahren die studierendenzentrierte Lehre durch die Gestaltung neuer Lehr- und Lernbedingungen aktiv in den Mittelpunkt gerückt. Dieses Buch liefert Empfehlungen für den intelligenten Einsatz digitaler Systeme in universitären Lehrveranstaltungen sowie Hilfestellungen zu deren didaktischer Strukturierung, Planung und Durchführung. Zu diesem Zweck wird eine Metrik zur prozeduralen Qualitätsmessung einer Lehrveranstaltung vorgeschlagen und im Rahmen einer realen Großvorlesung evaluiert. Außerdem wird beispielhaft an drei digitalen Systemen dargelegt, wie durch deren Einsatz die Entwicklung vom Lehren zum Lernen unterstützt werden kann: das Kommunikationswerkzeug nuKIT-Tools, der interaktive Aufgabenpool zur asynchronen kontextsensitiven Kommunikation sowie der XWizard zur Unterstützung des Web-Based-Training.

Friederike Pfeifer-Bohnen

studierte Wirtschaftsingenieurwesen am Karlsruher Institut für Technologie (KIT). Dort promovierte sie im Bereich Hochschuldidaktik mit Schwerpunkt eLearning am Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB). Im Jahr 2013 erlangte sie das Baden- Württemberg-Zertifi kat für Hochschuldidaktik. Im Jahr 2016 erhielt sie den Fakultätslehrpreis für exzellente Lehre des KIT.

Die optimale Prüfungsvorbereitung anhand 100 Aufgaben zur Theoretischen Informatik mit ausführlicher Lösung. Zu jedem Kapitel wird eine Einleitung mit Link auf die Videoaufzeichnung einer zugehörigen Vorlesung am Karlsruher Institut für Technologie gegeben. Außerdem können in einem Forum Fragen und Probleme zu allen Aufgaben diskutiert werden. Behandelt werden die Themen: Formale Sprachen, endliche Automaten mit und ohne Ausgabe, Minimierung endlicher Automaten, Kellerautomaten, Turingmaschinen, rechtslineare, kontextfreie, monotone/kontextsensitive, allgemeine Grammatiken, Pumping-Lemmas, Berechenbarkeits- und Komplexitätstheorie und weitere.

Die optimale Prüfungsvorbereitung anhand 100 Aufgaben zur Technischen Informatik mit ausführlicher Lösung. Zu jedem Kapitel wird eine Einleitung mit Link auf die Videoaufzeichnung einer zugehörigen Vorlesung am Karlsruher Institut für Technologie gegeben. Außerdem können in einem Forum Fragen und Probleme zu allen Aufgaben diskutiert werden. Behandelt werden die Themen: Schaltnetze und Schaltwerke, Complementary Metal Oxide Semiconductor (CMOS), Binary Decision Diagram (BDD), Zahlendarstellung, Kodierung und Fehlererkennung, Verschlüsselung, Rechnerarchitektur, Programmierung, Assembler, Betriebssysteme, Dateiorganisation und weitere.