Dozent gesucht für Auftrag - Lehrbeauftragter Informatik (m/w/d)

Lehrbeauftragter Informatik (m/w/d)

- Theoretische Informatik und Mathematische Logik

▪ Aussagen- und Prädikatenlogik
▪ Endliche Automaten
▪ Formale Sprachen
▪ Berechenbarkeit und Turing-Maschinen
▪ Komplexitätstheorie
▪ Petri-Netze

1. Aussagenlogik
1.1 Grundbegriffe
1.2 Aussagenlogische Rechenregeln und Normalformen
1.3 Interpretation und Erfüllbarkeit
1.4 ndirekter Beweis und Resolution
1.5 Korrektheit und Vollständigkeit
2. Prädikatenlogik
2.1 Grundbegriffe
2.2 Resolution in der Prädikatenlogik
2.3 Vollständigkeit und Unvollständigkeit
2.4 Logik-Programmierung mit Prolog
3. Endliche Automaten und reguläre Ausdrücke
3.1 Grundbegriffe endlicher Automaten
3.2 Reguläre Ausdrücke und Sprachen
3.3 Praxisanwendungen
4. Formale Sprachen und Grammatiken
4.1 Grundbegriffe
4.2 Die Chomsky-Hierarchie
4.3 Kontextfreie Grammatiken (Typ-2-Grammatiken)
4.4 Kontextsensitive Grammatiken (Typ-1-Grammatiken)
5. Berechenbarkeit und Turing-Maschinen
5.1 Modelle der Berechenbarkeit
5.2 Turing-Maschinen
5.3 Einige weitere Berechnungsmodelle
5.4 Berechenbarkeit, Entscheidbarkeit und das Halteproblem
6. Komplexitätstheorie
6.1 Landau’sche O-Notation
6.2 Grundbegriffe der Komplexitätstheorie
6.3 P=NP?
6.4 NP-vollständige Probleme
7. Petri-Netze
7.1 Grundbegriffe von Graphen und Petri-Netzen
7.2 Modellierung von Eigenschaften nebenläufiger Systeme
7.3 Erreichbarkeit in Petri-Netzen
7.4 Invarianten von Petri-Netzen
8. Anwendungen der mathematischen Logik und der theoretischen Informatik
8.1 Compiler
8.2 Programmkorrektheit
8.3 Künstliche Intelligenz
8.4 Kryptologie

Sie suchen eine neue Herausforderung als freier Mitarbeiter im Bildungsbereich? Dann kommen Sie an Bord. Ihre Einsatzmöglichkeiten sind vielseitig, zum Beispiel in der Lehre als Dozent oder Autor. Übrigens: Auch als Freelancer sind Sie bei uns Teil des Teams, profitieren vom Kollegenzusammenhalt und können Ihre Fachkompetenz einbringen.

Unterstützen Sie uns zum nächstmöglichen Zeitpunkt als Online Lehrbeauftragter auf Honorarbasis (m/w/d) im Studiengang B.A. Informatik für das Modul:

Theoretische Informatik und Mathematische Logik

Ihre Aufgaben
- Selbstständige Durchführung von Lehrveranstaltungen,
- Vermittlung wissenschaftlich fundierter Kenntnisse mit hohem Praxisbezug
- Individuelle Betreuung der Studierenden bei allen Fragen rund um die Inhalte der Lehrveranstaltung

Ihr Profil
- Ein abgeschlossenes Hochschulstudium in einem der Fachqualifizierung entsprechenden Studiengang – gerne mit einschlägigen Weiterbildungen
- Kursspezifische Fachkenntnisse und Praxisbezug
- Pädagogische Eignung und didaktische Qualifikation - idealerweise in der akademischen Lehre
- Freude am Umgang mit Studierenden
- Zugriff auf einen Arbeitsplatz mit leistungsfähiger Internetverbindung

Interaktive Lehrveranstaltungen umfassen je Modul 18 Unterrichtseinheiten à 45 Minuten. Die Lehrveranstaltungen finden an zwei Abenden in drei aufeinanderfolgenden Wochen (zw. 18.00 - 22:00 Uhr) zu je 3 Unterrichtseinheiten statt.

Die Aufgaben können bequem von zu Hause aus erledigt werden, es ist keine persönliche Anwesenheit erforderlich.

Sie finden sich in diesem Profil wieder und Sie suchen nach einer neuen Herausforderung als Freelancer? Dann freuen wir uns auf Ihre Bewerbung!

Bitte beachten Sie, dass Bewerbungen via E-Mail nicht berücksichtigt werden können.

Weitere Informationen und die Modulbeschreibung finden Sie unter www.iu-fernstudium.de oder auf unserer Karriereseite https://www.iu-careers.com/.

Auf Worte folgen Taten: Wir nehmen unsere “Culture Of Everyone” sehr ernst und möchten an dieser Stelle nochmal ausdrücklich darauf hinweisen, dass Sie herzlich bei uns willkommen sind, ganz unabhängig davon welche Herkunft, Religion, Geschlecht, Alter oder sexuelle Orientierung Sie mitbringen. Auch mit Beeinträchtigung stehen Ihnen unsere Türen weit offen. Wir freuen uns auf ein vielfältiges Miteinander hier an der IU!