Blockpraktikum (theoretische Informatik) SAT-Solver
|
|
|
- Ella Maier
- vor 5 Jahren
- Abrufe
Transkript
1 Blockpraktikum (theoretische Informatik) SAT-Solver Markus Holzer und Christian Kern und Lorenz Mösenlechner und Michael Tautschnig Institut für Informatik Technische Universität München Boltzmannstraße 3 D Garching bei München Germany Wintersemester 2006/07 Folien zur Informationsveranstaltung vom 7. November 2006
2 Zusammenfassung 1 Allgemeines Aufgabestellung und Lernziele 2 Aufgabenkatalog Spezifikation Anforderungen Zeitplan und Meilensteine 3 Erlaubtes und unerlaubtes 4 Literatur
3 Aufgabenstellung und Lernziele Aufgabe. Entwicklung eines Programmes zur Lösung des Erfüllbarkeitsproblems aussagenlogischer Ausdrücke in einer Programmiersprache Ihrer Wahl Lernziele. Umsetzung einer nicht-trivial Aufgabenstellung Planung und Durchführung der Programmieraufgabe Einarbeitung in verschiedene Lösungskonzepte Entwicklung einer Lösung, die einer geg. Spezifikation genügt, die ausreichend getestet und dokumentiert ist Präsentation des individuellen Lösungsansatzes mit anschließendem Test der Leistungsfähigkeit
4 Spezifikation Spezifikation Aussagenlogische Ausdrücke in KNF (konjuktive Normalform) Erfüllbarkeitsproblem Programm Programmiersprache z.b. C oder C++ Beschränkungen des Programmes keine OS Linux (Lehrstuhlrechner) Einzelrechnerlösung...
5 Anforderungen Anforderung an Sie und die Lösung Selbständiges Einarbeiten in die Thematik und Auswahl einer Lösungsstrategie, welche durch Angabe von geeigneter Literatur zu belegen ist (designrationale Entscheidungen) Abschlußklausur (ein paar Fragen zum Thema) Dokumentierten Quellcode ausführliche Dokumentation in L A TEX (max. 10 Seiten in PDF) Kurzvortrag (20 min) Bestehen des Leistungstests Bemerkung. Die schlechtesten Gruppen haben Gelegenheit uns von der Leistungsfähigkeit in einem Einzelgespräch zu überzeugen.
6 Zeitplan und Meilensteine 7. November Informationsveranstaltung mit Gruppeneinteilung 7. November Einarbeitungsphase Literatur sichten Lösungsvorschläge erarbeiten 26. Februar 9. März Praktikumsbeginn Implementierung regelmäßiges Gruppentreffen um 16:00 bzw. 16:30 Uhr 26. Februar 9. März Kurzgespräche (ca. 5 min) bzgl. des Lösungsansatzes
7 Zeitplan und Meilensteine (Teil II) 9. März Abgabe des Programms Turnier) Abgabe der Dokumentation Offenlegung des Quellcodes Test der Leistungsfähigkeit 16. März Vorträge Präsentation in einem Kurzvortrag 16. März Praktikumsende Ende April Abholen der Scheine
8 Was ist erlaubt, was nicht? Erlaubt und/oder gewünscht. Allgemeins Fairplay Diskussion möglicher Lösungsansätze in größeren Gruppen (soweit dies der Wettbewerb zuläßt) Nicht erlaubt. Unentschuldigtes Fehlen Softwareklau Kopieren von (Teil)lösungen anderer Gruppen Abgabe identischer Lösungen Manipulation des Gegners...
9 Literatur Allgemein Michael Huth. Logic in Computer Science. Cambridge University Press, AutoProbSolv/slides.html hoos/satlib/index-ubc.html Bestehende Ansätze MiniSat/cgi/MiniSat.ps.gz.cgi papers/dac 2001.pdf ilya shl/area/grasp.pdf
Blockpraktikum (theoretische Informatik) Effizientes Programmieren
Blockpraktikum (theoretische Informatik) Effizientes Programmieren Markus Holzer und Christian Kern und Lorenz Mösenlechner und Michael Tautschnig Institut für Informatik Technische Universität München
Sondertermin in der ersten Woche (statt Übungen) Webseite der Lehrveranstaltung www4.informatik.uni-erlangen.de/lehre/ss05/v_sos1/
B Organisatorisches B Organisatorisches B-1 Vorlesungsbetrieb Vorlesungstermine Montag 10:15-11:45 H7 Donnerstag 16:00-17:30 H7 Sondertermin in der ersten Woche (statt Übungen) Mittwoch 16:00-17:30 H7
Informationen zum Praktikum
Einführung in die Rechnerarchitektur Informationen zum Praktikum Tilman Küstner Marcel Meyer Arndt Bode, Michael Gerndt, Einführung in die Rechnerarchitektur Lehrstuhl für Rechnertechnik und Rechnerorganisation
Informationen zum Praktikum
Einführung in die Rechnerarchitektur Informationen zum Praktikum Tilman Küstner Einführung in die Rechnerarchitektur Lehrstuhl für Rechnertechnik und Rechnerorganisation 1 Überblick Voraussetzungen Anmeldung
Softwareentwicklungspraktikum Android-Programmierung
Softwareentwicklungspraktikum Android-Programmierung Organisation & Einführung Lorenz Schauer, André Ebert Lehrstuhl für Mobile und Verteilte Systeme Wintersemester 2017/18 SEP Android-Programmierung:
Pioniere der Informatik
Pioniere der Informatik Seminar im Wintersemester 2009/10 Martin Lange Institut für Informatik, LMU München 20. Oktober 2009 Pioniere der Informatik, M. Lange, IFI/LMU: Organisatorisches 1 Termine Seminar
> Implementierung paralleler Programmiermuster auf
> Implementierung paralleler Programmiermuster auf modernen many-core Systemen in OpenCL Projektseminar im WiSe 2014 / 2015 Prof. Sergei Gorlatch, Ari Rasch, Michael Haidl AG Parallele und Verteilte Systeme,
Softwareentwicklungspraktikum Android-Programmierung
Softwareentwicklungspraktikum Android-Programmierung Organisation & Einführung Andreas Sedlmeier Lehrstuhl für Mobile und Verteilte Systeme Sommersemester 2018 SEP Android-Programmierung: Organisatorisches
Softwareentwicklungspraktikum Nebenfach
Softwareentwicklungspraktikum Nebenfach Stephan Barth, Steffen Jost, Ulrich Schöpp Ludwig-Maximilians-Universität München WS 2016/2017 Organisatorisches Personen Dozenten Stephan Barth
EUKLIDISCHER ALGORITHMUS & DAS SIEB DES ERATHOSTENES
VU INFORMATIKGESTÜTZTE LEHR- UND LERNPLANUNG EINFÜHRUNG IN DIE PROGRAMMIERUNG MIT JAVA ANHAND ZWEIER BEISPIELE: EUKLIDISCHER ALGORITHMUS & DAS SIEB DES ERATHOSTENES WS 2010/11 Teresa Auer Warum wählte
Datenstrukturen und Algorithmen
Datenstrukturen und Algorithmen Peter Becker Hochschule Bonn-Rhein-Sieg Fachbereich Informatik peter.becker@h-brs.de Vorlesung Sommersemester 2013 Allgemeines zur Vorlesung Homepage zur Vorlesung: http://www2.inf.h-brs.de/~pbecke2m/datalg/
Proseminar Künstliche Intelligenz
Proseminar Künstliche Intelligenz Sommersemester 2009 Einführung und Themenvergabe 23. April 2009 Who is who Veranstalter Prof. Friedrich v. Henke Friedrich.von-Henke@uni-ulm.de Raum O 27 / 450 Sprechstunde
Lehrstuhl Informatik 4
Praktikum angewandte Systemsoftwaretechnik Blockpraktikum Alexander Würstlein Lehrstuhl Informatik 4 2017-02-09 c (Informatik 4) P PASST SS 17 1 / 13 Organisatorisches Projektwahl und Gruppenbildung: 2
BSc/MSc Seminar EMSEC/SHA Fakultät für Elektrotechnik und Informationstechnik Embedded Security / Secure Hardware
BSc/MSc Seminar EMSEC/SHA Fakultät für Elektrotechnik und Informationstechnik Embedded Security / Secure Hardware Verantwortlich : Prof. Dr.-Ing. Christof Paar (EMSEC) Verantwortlich : Prof. Dr.-Ing. Tim
Praktikumsvorbesprechung: Software Engineering WS 07/08
Praktikumsvorbesprechung: Software Engineering WS 07/08 Bernd Bruegge Technische Universität München Lehrstuhl für Angewandte Softwaretechnik Marc Lindike Flughafen München 1 Überblick Einleitung (5 min)
Logik für Informatiker
Logik für Informatiker Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 0. Organisatorisches Kontakt: Viorica Sofronie-Stokkermans sofronie@uni-koblenz.de Raum B 225 Sprechstunde: Montag: 16:00
Logik für Informatiker
Logik für Informatiker 2. Aussagenlogik Teil 6 14.05.2012 Viorica Sofronie-Stokkermans Universität Koblenz-Landau e-mail: sofronie@uni-koblenz.de 1 Bis jetzt Syntax der Aussagenlogik: Definition der Menge
Algorithmen und Datenstrukturen CS1017
Algorithmen und Datenstrukturen CS1017 Th. Letschert TH Mittelhessen Gießen University of Applied Sciences Organisatorisches und Einführung Lehrpersonal Dozent Dr. Letschert Tutoren Alissia Sauer Jonas
KoSI Praxis- & Abschlussmodul (KoSI 7)
KoSI Praxis- & Abschlussmodul (KoSI 7) Hochschule Darmstadt Fachbereich Informatik Prof. Dr. Ralf Hahn, Hochschule Darmstadt, Fachbereich Informatik, KoSI 7, SS2016 1 Name Prof. Dr. Ralf Hahn Aufgabe Lehre
Logik für Informatiker
Logik für Informatiker Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 0. Organisatorisches Kontakt: Viorica Sofronie-Stokkermans sofronie@uni-koblenz.de Sprechstunde: Mittwoch: 16:00 (Anmeldung
Kapitel L:II. II. Aussagenlogik
Kapitel L:II II. Aussagenlogik Syntax der Aussagenlogik Semantik der Aussagenlogik Eigenschaften des Folgerungsbegriffs Äquivalenz Formeltransformation Normalformen Bedeutung der Folgerung Erfüllbarkeitsalgorithmen
Praxis der Forschung im Sommersemester 2017
Praxis der Forschung im Sommersemester 2017 Prof. Dr.-Ing. Tamim Asfour, Prof. Dr. Bernhard Beckert, Prof. Dr. Ralf Reussner, Prof. Dr.-Ing. Michael Beigl, Prof. Dr.-Ing. Rainer Stiefelhagen Fakultät für
Universität Stuttgart Vorstellung der Studiengänge Informatik und Softwaretechnik
Vorstellung der Studiengänge Informatik und Softwaretechnik Ilona Heurich Inhalt Worum geht es in der Informatik? Überblick über das Studium Was wird im Studium gelehrt (und was nicht)? Welche Voraussetzungen
Technologiepark 8 33100 Paderborn Telefon: 05251 / XX XX XX Mobil: 01XX / XX XX XX XX E-Mail: XXXXXXX@mail.upb.de
Technologiepark 8 33100 Paderborn Telefon: 05251 / XX XX XX Mobil: 01XX / XX XX XX XX E-Mail: XXXXXXX@mail.upb.de PIRAT Software Technologiepark 8 33100 Paderborn Universität Paderborn Institut für Informatik
Formale Systeme. Organisatorisches. Prof. Dr. Bernhard Beckert, WS 2016/ KIT Die Forschungsuniversita t in der Helmholtz-Gemeinschaft
Formale Systeme Prof. Dr. Bernhard Beckert, WS 2016/2017 Organisatorisches KIT I NSTITUT F U R T HEORETISCHE I NFORMATIK www.kit.edu KIT Die Forschungsuniversita t in der Helmholtz-Gemeinschaft Personen
Praxis der Forschung im Wintersemester 2017/18
Praxis der Forschung im Wintersemester 2017/18 Prof. Dr.-Ing. Tamim Asfour, Prof. Dr. Bernhard Beckert, Prof. Dr.-Ing. Michael Beigl, Jun.-Prof. Dr.-Ing. Anne Koziolek, Prof. Dr.-Ing. Torsten Kröger, Prof.
Einführung in die Informatik
Einführung in die Informatik Christian Rössl Wintersemester 2017/18 Einführung in die Informatik Christian Rössl EinfInf 2017: Übersicht 2 Berechenbarkeit Rekursion Java Analyse Theoretische Grundlagen
Praktikum Datenbanken und verteilte Systeme SS Einführung August 2008
Praktikum Datenbanken und verteilte Systeme SS 2007 - Einführung - 18. August 2008 Verteilte Systeme und Informationssysteme (VSIS) Department Informatik Universität Hamburg VSIS Arbeitsbereich VSIS: Verteilte
Logik für Informatiker
Logik für Informatiker 2. Aussagenlogik Teil 5 8.05.2012 Viorica Sofronie-Stokkermans Universität Koblenz-Landau e-mail: sofronie@uni-koblenz.de 1 Bis jetzt Syntax der Aussagenlogik: Definition der Menge
Formale Systeme. Organisatorisches. Prof. Dr. Bernhard Beckert, WS 2016/ KIT Die Forschungsuniversita t in der Helmholtz-Gemeinschaft
Formale Systeme Prof. Dr. Bernhard Beckert, WS 2016/2017 Organisatorisches KIT I NSTITUT F U R T HEORETISCHE I NFORMATIK www.kit.edu KIT Die Forschungsuniversita t in der Helmholtz-Gemeinschaft Personen
Beispielbild. Projektseminar Datenverwaltungssysteme. - Themenüberblick und Themenvergabe -
Beispielbild Projektseminar Datenverwaltungssysteme - Themenüberblick und Themenvergabe - 14.04.2010 Artur Andrzejak Jürgen Broß Organisatorisches Projektseminar
Theorieseminar Perlen der theoretischen Informatik
Theorieseminar Perlen der theoretischen Informatik Wintersemester 29/ Steffen Lange Folie 29 Prof. Steffen Lange - HDa/FbI - Theorieseminar Organisatorisches! Fahrplan. Seminar (/* heute */) Vorstellung
Informatik I. Grundlagen der systematischen Programmierung. Peter Thiemann WS 2007/08. Universität Freiburg, Germany
Informatik I Grundlagen der systematischen Programmierung Peter Thiemann Universität Freiburg, Germany WS 2007/08 Literatur Herbert Klaeren, Michael Sperber. Die Macht der Abstraktion. Teubner Verlag,
WS 2013/14. Diskrete Strukturen: Organisation
WS 2013/14 Diskrete Strukturen: Organisation Prof. Dr. Javier Esparza Dr. Michael Luttenberger Dr. Werner Meixner Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und theoretische Informatik Fakultät
Created by: Ingo Földvári. Projektarbeit: Containerhafen
Projektarbeit: Containerhafen Aufgabenstellung: Industrieanlage Hafenareal 4 Bereiche 1.Frei-Hafen 2.Zwischenlager 3.Zollamt 4.Abfertigung 4 3 1 2 Industrieanlage Hafenareal Projektgruppen 4 A. Schröder
Praktikumsvorstellung
LUDWIG- MAXIMILIANS- UNIVERSITY MUNICH DEPARTMENT INSTITUTE FOR INFORMATICS DATABASE SYSTEMS GROUP MUNICH NETWORK MANAGEMENT TEAM Veranstaltungsvorschau für das Wintersemester 2009/2010 Praktikumsvorstellung
Einsatz und Realisierung von Datenbanken. Prof. Alfons Kemper Lehrstuhl für Informatik III: Datenbanksysteme
Einsatz und Realisierung von Datenbanken Prof. Alfons Kemper Lehrstuhl für Informatik III: Datenbanksysteme kemper@in.tum.de Primärliteratur: Datenbanksysteme: Eine Einführung Alfons Kemper und Andre
Mathematisch-algorithmische Grundlagen für Big Data
Mathematisch-algorithmische Grundlagen für Big Data Numerische Algorithmen für Datenanalyse und Optimierung Prof. Dr. Peter Becker Fachbereich Informatik Hochschule Bonn-Rhein-Sieg Sommersemester 2017
Labor Praktische Elektronik
Fakultät für Technik Bereich Informationstechnik Projektauftrag zum Rechnergestützten Entwurf einer Leiterplattenbaugruppe WS 2011/2012 Inhalt 1 Allgemeines...1 2 Ziele des Projekts...1 3 Aufgabenstellung...1
Logik für Informatiker
Logik für Informatiker 2. Aussagenlogik Teil 4 07.05.2012 Viorica Sofronie-Stokkermans Universität Koblenz-Landau e-mail: sofronie@uni-koblenz.de 1 Gestern Normalformen Atome, Literale, Klauseln Konjunktive
GYMNASIUM OTTOBRUNN. MEDIEN- und METHODEN- CURRICULUM. Peter Brichzin, Eva Stolpmann
Lehrgang: 66/613 Weiterbildung "Medienpädagogisch-informationstechnische beratungslehrkraft (MIB)", Dillingen, 03./04.08.04 GYMNASIUM OTTOBRUNN MEDIEN- UND METHODEN- CURRICULUM Peter Brichzin, Eva Stolpmann
Software Engineering 1
Software Engineering 1 SE1 VO und LU Vorbesprechung WS0506-06. Oktober 2005 MARIO BERNHART se1@inso.tuwien.ac.at se1_lab@inso.tuwien.ac.at www.inso.tuwien.ac.at INSO - Industrial Software Institut für
Problemlösung und Kommunikation im Management - Bachelor-Seminar -
Prof. Dr. Andreas König MBA, MMus Lehrstuhl für Technologie, Innovation und Entrepreneurship Problemlösung und Kommunikation im Management - Bachelor-Seminar - - Überblick - Die Veranstaltung befasst sich
Einführung in die Praktische Informatik WS 09/10
Einführung in die Praktische Informatik WS 09/10 Prof. Dr. Christian Sengstock Institut für Informatik Neuenheimer Feld 348 69120 Heidelberg http://dbs.ifi.uni-heidelberg.de sengstock@informatik.uni-heidelberg.de
Grundlagen der politischen Spieltheorie
Kursplan für BA-Vertiefungsseminar Grundlagen der politischen Spieltheorie Universität Konstanz, Sommersemester 2014 Seminarleiter: Michael Becher, Ph.D. Zimmer: D 329 (E208) Email: michael.becher@uni-konstanz.de
Theoretische Informatik: Logik
Theoretische Informatik: Logik Vorlesung im Wintersemester 2011/12 Martin Lange, Bahareh Badban, Norbert Hundeshagen, Marcel Vollweiler, Kadir Aytemür, Michael Morold FG Formale Methoden und Software-Verifikation
Seminar Trends beim Softwaretest. Einführung
Seminar Trends beim Softwaretest Einführung SoSe 2015 Studiengänge Bachelor und Diplom Klaus Bothe Allgemeines Webseite: https://www2.informatik.hu-berlin.de/swt/lehre/sem_tist/ss2015/ Ziele: - Ergänzung
Logik für Informatiker
Logik für Informatiker 2. Aussagenlogik Teil 3 06.05.2012 Viorica Sofronie-Stokkermans Universität Koblenz-Landau e-mail: sofronie@uni-koblenz.de 1 Bis jetzt Syntax (Formeln) Semantik Wertebelegungen/Valuationen/Modelle
Praxis der Forschung im SoSe 16
Praxis der Forschung im SoSe 16 Prof. Dr. Bernhard Beckert, Prof. Dr.-Ing. Michael Beigl, Prof. Dr. Ralf Reussner, Prof. Dr. Tamim Asfour, Jun.-Prof. Dr.-Ing. Anne Koziolek 1 19.04.16 B. Beckert, M. Beigl,
Fortgeschrittenen-Praktikum. Universität Freiburg WiSe 2013/2014 (Frühjahr 2014) Prof. K. Jakobs Dr. C. Weiser Dr. K. Köneke
Fortgeschrittenen-Praktikum Universität Freiburg WiSe 2013/2014 (Frühjahr 2014) Prof. K. Jakobs Dr. C. Weiser Dr. K. Köneke FP-Leitung Prof. Karl Jakobs: Gustav-Mie-Haus, 03-021 Karl.Jakobs@uni-freiburg.de
Hinweise zur Anmeldung und zum Ablauf des Seminars Aktuelle Fälle der Wirtschaftspolitik (Bachelor) im Sommersemester 2015
Hinweise zur Anmeldung und zum Ablauf des Seminars Aktuelle Fälle der Wirtschaftspolitik (Bachelor) im Sommersemester 2015 1 Seminar Wirtschaftspolitik Allgemeine Informationen Das Seminar zeichnet sich
Softwareentwicklungspraktikum Android-Programmierung
Softwareentwicklungspraktikum Android-Programmierung Organisation & Einführung Lorenz Schauer Lehrstuhl für Mobile und Verteilte Systeme Sommersemester 2017 SEP Android-Programmierung: Organisatorisches
6.3 Erfüllbarkeit von Wünschen
Einmal geschah dem Weihnachtsmann etwas Seltsames. Von Kathrinchen bekam er einen Wunschzettel, der anders war, als alle Wunschzettel, die er bisher bekommen hatte. Sein Problem war: Er verstand Kathrinchens
StuPro Visualisierung der Ergebnisse von Programmanalysen
StuPro Visualisierung der Ergebnisse von Programmanalysen Abteilung Programmiersprachen und Compilerbau Daniel Gerlach, Mikhail Prokharau Universität Stuttgart 15. November 2010 Übersicht Vorstellungsrunde
Modulhandbuch. Wintersemester 2016/17: Veranstaltungen der Arbeitsgruppe Diskrete Mathematik, Optimierung und Operations Research keine Zuordnung
Universität Augsburg Modulhandbuch Wintersemester 2016/17: Veranstaltungen der Arbeitsgruppe Diskrete Mathematik, Optimierung und Operations Research keine Zuordnung Wintersemester 2016/2017 Lehrveranstaltungen
Logik für Informatiker
Logik für Informatiker Vorlesung 5: Normalformen Babeş-Bolyai Universität, Department für Informatik, Cluj-Napoca csacarea@cs.ubbcluj.ro 2. November 2017 1/37 MOTIVATION FÜR AUSSAGENLOGIK Aussagenlogik
Secure Software Engineering/ Sicherheit und Softwaretechnik
1/ 15 Secure Software Engineering/ Sicherheit und Softwaretechnik Sommermester 2017 RGSE - Research Group for Software Engineering 18.04.2017 Agenda 2/ 15 1 Hintergründe zum Seminar 2 Organisatorisches
Programmierpraktikum im im SS SS 2005 Programmierung einer Web-Anwendung mit mit.net. Programmierung einer Web-Anwendung mit.net
Programmierpraktikum im im SS SS 2005 Programmierung einer Web-Anwendung mit mit.net Technische Universität München Lehrstuhl für Wirtschaftsinformatik Programmierung einer Web-Anwendung mit.net Willkommen
Problemlösung und Kommunikation im Management - Bachelor-Seminar -
Prof. Dr. Andreas König MBA, MMus Lehrstuhl für Technologie, Innovation und Entrepreneurship Problemlösung und Kommunikation im Management - Bachelor-Seminar - - Überblick - Die Veranstaltung befasst sich
Programmiermethodik Vorlesung und Praktikum SS 2001
Vorlesung und Praktikum SS 2001 Prof. Dr. W. Effelsberg, G. Kühne, Ch. Kuhmünch Universität Mannheim 1. Einführung 1-1 Inhalt 1. Einführung, Vorstellung der Programmieraufgabe 2. Der Software-Entwicklungszyklus
Informatik 1. für Kommunikationstechniker, Mechatroniker. Teil 1 - Wintersemester 2012/13
Informatik 1 für Kommunikationstechniker, Mechatroniker Teil 1 - Wintersemester 2012/13 Prof. Dr.-Ing. habil. Peter Sobe Fakultät Informatik / Mathematik Dieser Foliensatz wurde z.t. von Herrn Prof. Grossmann
Secure Software Engineering/ Sicherheit und Softwaretechnik
1/ 14 Secure Software Engineering/ Sicherheit und Softwaretechnik Sommersemester 2016 RGSE - Research Group for Software Engineering 27.04.2016 Agenda 2/ 14 1 Hintergründe zum Seminar 2 Organisatorisches
Computergestützte Modellierung und Verifikation
Computergestützte Modellierung und Verifikation Vorlesung mit Übungen SS 2007 Prof. F. von Henke mit Dr. H. Pfeifer Inst. für Künstliche Intelligenz Organisatorisches Vorlesung: Mi 14 16 Raum 3211 Do 14
Einige Grundlagen der Komplexitätstheorie
Deterministische Polynomialzeit Einige Grundlagen der Komplexitätstheorie Ziel: NP-Vollständigkeit als ressourcenbeschränktes Analagon zur RE-Vollständigkeit. Komplexitätstheorie untersucht den Ressourcenbedarf
Schlussregeln aus anderen Kalkülen
Was bisher geschah Klassische Aussagenlogik: Syntax Semantik semantische Äquivalenz und Folgern syntaktisches Ableiten (Resolution) Modellierung in Aussagenlogik: Wissensrepräsentation, Schaltungslogik,
Hinweise zur Anmeldung und zum Ablauf des Seminars Aktuelle Fälle der Wirtschaftspolitik (Bachelor) im Sommersemester 2018
Hinweise zur Anmeldung und zum Ablauf des Seminars Aktuelle Fälle der Wirtschaftspolitik (Bachelor) im Sommersemester 2018 1 Seminar Wirtschaftspolitik Allgemeine Informationen Das Seminar zeichnet sich
Echtzeitsysteme. Übungen zur Vorlesung. Fabian Scheler, Peter Ulbrich, Niko Böhm
Echtzeitsysteme Übungen zur Vorlesung Fabian Scheler, Peter Ulbrich, Niko Böhm Friedrich-Alexander-Universität Erlangen-Nürnberg Lehrstuhl Informatik 4 (Verteilte Systeme und Betriebssysteme) www4.informatik.uni-erlangen.de
Studienfach Linguistische Informatik. 1 Modulbezeichnung Grundlagen der Computerlinguistik I 7,5 ECTS
1 Modulbezeichnung Grundlagen der Computerlinguistik I 7,5 ECTS 2 Lehrveranstaltungen VL Grundlagen der Computerlinguistik 1 (2 SWS) UE Grundlagen der Computerlinguistik 1 (2 SWS) UE Arbeitstechniken der
Dokumentation des Lösungsweges bei Einsatz des Taschenrechners
Dokumentation des Lösungsweges bei Einsatz des Taschenrechners Viele weiterführende mathematische Aufgaben, z.b. aus den Bereichen Funktionelle Zusammenhänge und Differential- und Integralrechnung lassen
Seminar Künstliche Intelligenz Wintersemester 2014/15
Seminar Wintersemester 2014/15 Martin Hacker Richard Schaller Department Informatik FAU Erlangen-Nürnberg 8.10.2014 Vorstellung Über die Dozenten Institution Lehrstuhl für 2 / 7 2 / 7 KISEM WS 2014/15
Übung zur Vorlesung Strukturiertes Programmieren WS 2014/15. Übungsblatt 1: JAVA - Erste Schritte Abgabe: 26.10.2015 Besprechung: 27.10.
Friedrich-Schiller-Universität Jena Fakultät für Mathematik und Informatik Institut für Informatik Prof. Dr. E.-G. Schukat-Talamazzini http://www.minet.uni-jena.de/fakultaet/schukat/ Prof. Dr. P. Dittrich
Herzlich willkommen zur ersten Informationsveranstaltung zur 5. Prüfungskomponente
Gymnasium Tiergarten Herzlich willkommen zur ersten Informationsveranstaltung zur 5. Prüfungskomponente 11.12.17 Informationen zur 5. PK / Lingnau 1 Die fünfte Prüfungskomponente 1. Allgemeine Bedeutung
Programmierkurs (IPK)
Programmierkurs (IPK) Ole Klein IWR Heidelberg University 27.10.2017 Ole Klein (IWR) Programmierkurs 27.10.2017 1 / 12 Hintergrund Wer sind wir? Dozent: Dr. Stefan Lang Kurzfristig eingesprungen, da der
Formale Systeme. Das Erfu llbarkeitsproblem. Prof. Dr. Bernhard Beckert, WS 2017/2018
Formale Systeme Prof. Dr. Bernhard Beckert, WS 2017/2018 Das Erfu llbarkeitsproblem KIT I NSTITUT F U R T HEORETISCHE I NFORMATIK www.kit.edu KIT Die Forschungsuniversita t in der Helmholtz-Gemeinschaft
Kontrollstruktur Verzweigung am Beispiel einer Spiel-KI für das Würfelspiel Meiern
Unterrichtsreihe: Erweiterung eines objektorientierten Modells zum vollständig lauffähigen Programm Kontrollstruktur Verzweigung am Beispiel einer Spiel-KI für das Würfelspiel Meiern Inhaltsverzeichnis
Algorithmen und Datenstrukturen
Algorithmen und Datenstrukturen Professor Dr. Lehrstuhl für Algorithm Engineering, LS11 Fakultät für Informatik, TU Dortmund 1. VO A&D WS 08/09 14. Oktober 2008 1 bevor wir thematisch beginnen: Kapitel
Programmieren I. Überblick. Institut für Angewandte Informatik. KIT Die Forschungsuniversität in der Helmholtz-Gemeinschaft
Programmieren I Überblick KIT Die Forschungsuniversität in der Helmholtz-Gemeinschaft www.kit.edu Übersicht Programmieren Programmieren I (1. Semester) 4 Vorlesungs- und Übungsstunden / Woche 7,5 (!) Stunden
Logik für Informatiker
Logik für Informatiker Wintersemester 2007/08 Thomas Schwentick Teil A: Aussagenlogik 3. Erfüllbarkeit Version von: 23. Januar 2008(16:11) Inhalt 3.1 Grundbegriffe 3.2 Aussagenlogische Resolution 3.3 Endlichkeitssatz
Kick-Off Paralleles Programmieren
Fakultät Informatik Institut für Software- und Multimediatechnik, Lehrstuhl für Softwaretechnologie Kick-Off Paralleles Programmieren Thomas Kühn Motivation Moore's Law The complexity for minimum component
PS Diskurse über Informatik: Selbstbild vs. Fremdbild
PS Diskurse über Informatik: Selbstbild vs. Fremdbild Jörg Pohle pohle@informatik.hu-berlin.de http://waste.informatik.hu-berlin.de/lehre/ss09/diskurse/ 14. April 2009 Tagesordnung Vorwissen und Erwartungen
UROP - Undergraduate αresearch Opportunities Programme ALPHA. Adaptive and Lightweight Protocol for Hop-by-Hop Authentication
UROP - Undergraduate αresearch Opportunities Programme ALPHA Adaptive and Lightweight Protocol for Hop-by-Hop Authentication Florian Weingarten Johannes Gilger Lehrstuhl für Informatik IV LuFG Verteilte
SWP Übersetzerbau im SS 13 Einführung und Organisatorisches. Till Zoppke Maximilian Konzack Yves Müller Freie Universität Berlin
SWP Übersetzerbau im SS 13 Einführung und Organisatorisches Till Zoppke Maximilian Konzack Yves Müller Freie Universität Berlin Auftaktveranstaltung am 13. April 2013 Übersicht Projektidee Einteilung in
Dank. Theoretische Informatik II. Teil VI. Vorlesung
Dank Vorlesung Theoretische Informatik II Bernhard Beckert Institut für Informatik Diese Vorlesungsmaterialien basieren zum Teil auf den Folien zu den Vorlesungen von Katrin Erk (gehalten an der Universität
Antrag auf Festlegung von Studienleistungen. an Prüfungsausschuss für den Bachelorstudiengang Informatik
Bachelorstudiengg Informatik Antragsteller/in: Bernhard Korte Modul: BA-INF MM 4 Semester: Sommersemester x Datum: 6.2.207 207 x Bearbeitung regelmäßig erscheinender Übungsblätter x Die Bearbeitung kn
Realschule am Giersberg Kirchzarten. Die Abschlussprüfung an Realschulen
Realschule am Giersberg Kirchzarten Die Abschlussprüfung an Realschulen Die Realschulabschlussprüfung Ziel der Realschulabschlussprüfung: Die Schülerinnen und Schüler sollen durch grundlegende Kompetenzen
Theoretische Informatik: Berechenbarkeit und Formale Sprachen
Theoretische Informatik: Berechenbarkeit und Formale Sprachen Prof. Dr. F. Otto Fachbereich Elektrotechnik/Informatik, Universität Kassel 34109 Kassel, Germany E-mail: otto@theory.informatik.uni-kassel.de
Algorithmen für NP-schwere Probleme
Algorithmen für NP-schwere Probleme Einführung in das Proseminar 16. April 2018 Sascha Gritzbach INSTITUT FÜR THEORETISCHE INFORMATIK LEHRSTUHL ALGORITHMIK KIT The Die Forschungsuniversität Research University
» Fallstudie Schriftliche Einzelarbeit, ca Seiten. » Die Fallstudie ist die Grundlage für die Präsenzprüfung bestehend aus:
» Fallstudie Schriftliche Einzelarbeit, ca. 9-12 Seiten» Die Fallstudie ist die Grundlage für die Präsenzprüfung bestehend aus: Präsentation der Fallstudie Fachgespräch zur Fallstudie Informationsveranstaltung
Logik für Informatiker
Logik für Informatiker Vorlesung im Sommersemester 2009 Martin Lange, Markus Latte, Matthias Andreas Benkard Institut für Informatik, LMU München 14. Mai 2009 Organisatorisches Logik für Informatiker,
» Die Fallstudie ist die Grundlage für die Präsenzprüfung bestehend aus:
» Fallstudie Schriftliche Einzelarbeit, ca. 9-12 Seiten» Die Fallstudie ist die Grundlage für die Präsenzprüfung bestehend aus: Präsentation der Fallstudie Fachgespräch zur Fallstudie Informationsveranstaltung
Gröbnerbasen in Monoid- und Gruppenringen
Gröbnerbasen in Monoid- und Gruppenringen Karsten Hiddemann 5. November 2003 Zusammenfassung Gröbnerbasen, entwickelt von Bruno Buchberger für kommutative Polynomringe, finden immer häufiger Anwendung
Diplomarbeit. eine kurze Einführung zum Thema
Diplomarbeit eine kurze Einführung zum Thema Diplomarbeit Prüfungsarbeit: Nachweis der Befähigung des Studierenden, innerhalb einer vorgegebenen Frist ein Problem aus seinem Fach selbständig mit wissenschaftlichen
Web Application Security
Web Application Security WS 14/15 Sebastian Vogl, Christian von Pentz Lehrstuhl für Sicherheit in der Informatik / I20 Prof. Dr. Claudia Eckert Technische Universität München 07.10.2014 S. Vogl, C. von
Theory vs. Engineering. Algorithm Engineering Organisatorisches, Ablauf, Themen. Der Projektteil. Algorithm Engineering
Theory vs. Engineering Algorithm Engineering, Ablauf, Themen Frank Heitmann heitmann@informatik.uni-hamburg.de Algorithmik Programmieren im Kleinen In der Algorithmentheorie eher theoretische Ergebnisse.
Hochschule Albstadt - Sigmaringen
Hochschule Albstadt - Sigmaringen Fach : Informatik/Progr. Prüfer : Prof.Dr.Ruf Datum : 8.1.009 Semester : 6. BKT (Bachelor) Umfang : 5 Seiten / 60 Min. (14:00 15:00) Name Matrikel-Nr. : : Semester : max.
Programmieren I. Überblick. Institut für Angewandte Informatik. KIT Die Forschungsuniversität in der Helmholtz-Gemeinschaft
Programmieren I Überblick KIT Die Forschungsuniversität in der Helmholtz-Gemeinschaft www.kit.edu Übersicht Programmieren Programmieren I (1. Semester) 4 Vorlesungs- und Übungsstunden / Woche 1 Stunde
Softwareentwicklungspraktikum Nebenfach
Softwareentwicklungspraktikum Nebenfach Stephan Barth, Ulrich Schöpp Ludwig-Maximilians-Universität München WS 2015/2016 Organisatorisches Personen Dozenten Stephan Barth Ulrich
Sozioinformatik. Module "Informatik im sozialen Kontext" und "Soziale Netze" Workshop 1
Sozioinformatik Module "Informatik im sozialen Kontext" und "Soziale Netze" Workshop 1 Dr. Christa Weßel https://veraenderung-gestalten-lernen.de/ Seminar Hochschule Furtwangen (HFU) IT-Produktmanagement