Fachrichtung Theoretische Informatik

Slides:

Advertisements

Ähnliche Präsentationen

Angewandte Informatik - Von Bits und Bytes: Studium der Informatik

Advertisements

Das Studium der Informatik

Prof. Dr. Liggesmeyer, 1 Software Engineering: Dependability Prof. Dr.-Ing. Peter Liggesmeyer.

BA Fachbezogene Bildungswissenschaft

/TU Freiberg/ Institut für Informatik /Konrad Froitzheim

Spezifikation, Verifikation, Testtheorie Prof. Dr. Holger Schlingloff Institut für Informatik und Fraunhofer FIRST.

Der Studiengang „Angewandte Informatik“ (BAIN)

Informatik an der FH Hof

Beobachtung als Methode

Modularisierung der Bachelor-Studiengänge im Studiendekanat E 9. Jan Studiengangskoordinatoren und wissenschaftliche Mitarbeiter des Studiendekanates.

Modularisierung der Bachelor-Studiengänge im Studiendekanat E 29. November 2012 Studiengangskoordinatoren und wissenschaftliche Mitarbeiter des Studiendekanates.

IIW Erläuterungen zum Masterprogramm. IIW-MS Allgemeine Fachmodule (60) – Studienarbeit + Seminar (18) – Betrieb und Management (6) Nichttechnische Ergänzungsfächer.

Sebastian Hirsch Sascha Neuhaus

Angewandte Informatik

Die Wirtschaft schätzt und sucht Mathematiker, weil sie wertvolle Schlüsselqualifikationen mitbringen, wie logisches Denken, systematisches Vorgehen und.

Die Wirtschaft schätzt und sucht Mathematiker, weil sie wertvolle Schlüsselqualifikationen mitbringen, wie logisches Denken, systematisches Vorgehen und.

BA Fachbezogene Bildungswissenschaft Frühkindliche Bildung Grundschule

Institut Nachrichtentechnik HTWK Leipzig Nachrichten- und Kommunikationstechnik 1.

Simulation komplexer technischer Anlagen

Grundlagen und Bildungsziele der Informatik in der Schule Wie auch andere Unterrichtsfächer muss sich die Informatik immer wieder legitimieren. Diese Aufgabe.

Studiengang Geoinformatik

Computer Networks Group Universität Paderborn Studieren bei ESS – Eingebettete Systeme und Systemsoftware II. Studienabschnitt Frey/Karl/Platzner/Plessl/Rammig/Sorge.

? Was ist Informatik? Was ist Informatik? Alexander Lange

Zusammenfassung der Vorlesung

Hauptgebiete der Informatik

Softwaretechnik und Informationssysteme (Gebiet und Modul II.1.1, Module III.1.x) Dozenten der Softwaretechnik.

Institut für Sportwissenschaft BM – Basismodul / AM – Aufbaumodul / MM - Mastermodul Informationen zum Studium der Sportwissenschaft WS 2007/08.

Studiengänge im FB Chemie

Schule  Universität Was erwartet Sie dort?.

Institut für Kartographie und Geoinformation Prof. Dr. Lutz Plümer Diskrete Mathematik II Vorlesung 6 SS 2001 Segmentschnitt III.

Modellbasierte Software- Entwicklung eingebetteter Systeme Prof. Dr. Holger Schlingloff Institut für Informatik der Humboldt Universität und Fraunhofer.

2 Grundlagen In diesem Abschnitt werden die Grundbegriffe und Methoden der Theorie der formalen Sprachen und der Automaten wiederholt, soweit diese ben.

Institut für Kartographie und Geoinformation Prof. Dr. Lutz Plümer Diskrete Mathematik II Vorlesung Suche des kürzesten Weges in einem Netz.

Studium der Informatik Prof. Dr. Reiner Kolla Lehrstuhl für Informatik V Universität Würzburg Am Hubland Würzburg.

Informationsveranstaltung Vorkurs WS 2016/2017. Credit-Points(CPs/LPs) Leistungsgewichtung 180 im Bachelor zu erreichen Zeitaufwand eines Kurses lässt.

Christian-Albrechts-Universität zu Kiel Technische Fakultät Institut für Informatik und Praktische Mathematik Ansprechpartner: Prof. Dr. Reinhard v. Hanxleden.

Tobias Sammet 8DY1 Programmieren Tobias Sammet 8DY2 Programmierung ● = das Schreiben eines Computerprogramms ● Dient zur Lösung eines.

Schwerpunkt Elektronik und Photonik

Informationen zum Studiengang

Fachrichtung Technische Informatik

Informationsabend zur Entscheidungsfindung

Der Weg zur Abschlussarbeit Prof. Dr. Hecht

Kurswahlen Einführungsphase

Schwerpunkt Mess-, Steuer- und Regelungstechnik

Makrostruktur B.Sc. Wirtschaftsinformatik

Makrostruktur B.Sc. Wirtschaftsinformatik

Agenda Mitteilungen des Studiendekanats Veranstaltungsplanung

Semestereinführungsveranstaltung,

Masterstudiengang Politikwissenschaft: Musterstudienplan

Informationswirtschaft Wirtschaftsinformatik (Bachelor, 6. Semester)

Non-Standard-Datenbanken

Studieninformation Bachelor Sonderpädagogik Lehramt (Stand )

Orientierungseinheit Informatik

Grundlagen der Rechnerarchitektur [CS ]

Erstsemester-Einführungsveranstaltung Physik,

Cottbus – Berkeley – Lausanne – Vancouver – Passau

Berufsbegleitende Informatikausbildung an Fachhochschulen (Bachelor)

Fachhochschule Münster Fachbereich Wirtschaft

Kurswahlen Einführungsphase

Dr.-Ing. Katrin Borcea-Pfitzmann

Masterstudiengang Politikwissenschaft: Musterstudienplan

xxx (Bachelor of xxx)  LP 6. Sem Sem Sem Sem. 30

Fachhochschule Münster Fachbereich Wirtschaft

Inhalt Sprachanwendungen

Informatik, Mathematik, Physik (IMP) – ein neues Profilfach

Herzlich Willkommen im WiSe 2016/17 des VWA-Studiums

Leibniz Universität Hannover, Institut für Politikwissenschaft, Stand 2018 Fächerübergreifender Bachelorstudiengang, Politik als Zweitfach Musterstudienplan.

Das Robotics Innovation Center des Deutschen Forschungszentrums für Künstliche Intelligenz sucht ab sofort eine Studentische Hilfskraft (m/w/d) im Bereich:

Informationsveranstaltung zum Studiengang

Informationsveranstaltung zum Studiengang

Präsentation transkript:

Fachrichtung Theoretische Informatik

Zugehörige Fachgebiete Fachrichtung Theoretische Informatik | Tag der offenen Tür | 20.04.2017 | Zugehörige Fachgebiete FG „Theoretische Informatik“ (bis SoSe 2017) Prof. Dr. Otto N.N. FG „Theoretische Informatik / Formale Methoden“ Prof. Dr. Lange

Wesentliche Lehrinhalte Fachrichtung Theoretische Informatik | Tag der offenen Tür | 20.04.2017 | Wesentliche Lehrinhalte allgemeine Grundlagen Was lässt sich mit Computern machen? grundlegende Techniken zum Klassifizieren und Lösen von Problemen Spezialisierung Verifikation und Spezifikation dynamischer Systeme Berechnungsmodelle und Beschreibungssprachen ...

Lehrveranstaltungen im Bachelor Fachrichtung Theoretische Informatik | Tag der offenen Tür | 20.04.2017 | Lehrveranstaltungen im Bachelor Pflichtbereich Theoretische Informatik: Formale Sprachen und Berechenbarkeit (2. Semester) Theoretische Informatik: Logik (3. Semester) Wahlpflichtbereich Vorbereitungskurs Theoretische Informatik und Diskrete Mathematik (1. Semester) Einführung in die formale Verifikation (WP Schwerpunkt) ...

Lehrveranstaltungen im Master Fachrichtung Theoretische Informatik | Tag der offenen Tür | 20.04.2017 | Lehrveranstaltungen im Master Titel FG Vor. nächst. Ang. Theoretische Informatik III FMV SoSe17 Formale Sprachen und Automaten II TI Form.Sp.u.Aut. I Datenbanktheorie WiSe17/18 Automaten, Spiele, Logiken Einf. form. Ver. Verifikation eingebetteter Systeme SoSe18 ...

Technische Anwendungsgebiete Fachrichtung Theoretische Informatik | Tag der offenen Tür | 20.04.2017 | Technische Anwendungsgebiete Entwurf komplexer Systeme (z.B. Verifikation eingebetteter Systeme) Stichwort „correct-by-design“ Sprachverarbeitung (z.B. Formale Sprachen und Automaten, TI3) formale Sprachen und Grammatiken Logik künstliche Intelligenz effiziente Algorithmen ...

Praktika zur Zeit keine, jedoch in Planung: Logikprogrammierung Fachrichtung Theoretische Informatik | Tag der offenen Tür | 20.04.2017 | Praktika zur Zeit keine, jedoch in Planung: Logikprogrammierung Model Checking / Theorembeweisen SAT/SMT-Solver

Fachrichtung Theoretische Informatik | Tag der offenen Tür | 20. 04 Gibt es noch Fragen?