Vorlesung Logik Wintersemester 2015/16 Universität Duisburg-Essen
|
|
- Inge Kappel
- vor 6 Jahren
- Abrufe
Transkript
1 Vorlesung Logik Wintersemester 2015/16 Universität Duisburg-Essen Barbara König Übungsleitung: Dennis Nolte, Dr. Harsh Beohar Barbara König Logik 1
2 Barbara König Logik 2
3 Das heutige Programm: Organisatorisches Vorstellung Ablauf der Vorlesung und der Übungen Prüfung & Klausur Literatur & Folien Einführung und Motivation: Logik in der Informatik Inhalt der Vorlesung Grundbegriffe der Aussagenlogik Barbara König Logik 3
4 Wer sind wir? Dozentin: Prof. Barbara König Raum LF barbara Sprechstunde: nach Vereinbarung Web-Seite: Barbara König Logik 4
5 Wer sind wir? Übungsleitung: Dennis Nolte Raum LF Übungsleitung: Dr. Harsh Beohar Raum LF Barbara König Logik 5
6 Vorlesungstermine Vorlesungstermin: Mittwoch, 8:30 10:00 Uhr, im Raum LB 107 Barbara König Logik 6
7 Termine der Übungsgruppen/Tutorien Übungsgruppen (zur Besprechung der Übungsblätter): Gruppe Tag Uhrzeit Raum 1 Mittwoch 16:00 18:00 LE Donnerstag 10:00 12:00 LC (englisch) Donnerstag 10:00 12:00 LF Donnerstag 12:00 14:00 LE Donnerstag 14:00 16:00 LE Freitag 8:00 10:00 LF Freitag 12:00 14:00 LE 120 Die Anzahl und die Termine der Gruppen können sich noch ändern! Barbara König Logik 7
8 Hinweise zu den Übungen Die Übungen und Tutorien beginnen in der dritten Vorlesungswoche am Mittwoch, den 4. November. Bitte versuchen Sie, sich möglichst gleichmäßig auf die Übungen zu verteilen. Besuchen Sie die Übungen! Diesen Stoff kann man nur durch regelmäßiges Üben erlernen. Auswendiglernen hilft nicht besonders viel. Die Übungsblätter werden jeweils am Mittwoch der Vorwoche ins Netz gestellt. Das erste Übungsblatt wird am bereitgestellt. Barbara König Logik 8
9 Hinweise zu den Übungen Abgabe der gelösten Aufgaben bis Mittwoch der folgenden Woche, 16:00 Uhr. Einwurf in den Briefkasten neben dem Raum LF 259 oder Abgabe per Moodle. Bitte geben Sie auf Ihrer Lösung deutlich die Vorlesung, Ihren Namen, Ihre Matrikelnummer und Ihre Gruppennummer an. Elektronische Abgaben sind nur als PDF zulässig! Bitte benennen Sie Dateien nach folgendem Schema (um eine eindeutige Namenswahl zu gewährleisten): <vorname>-<nachname>-<matrnr>-<blattnr>.pdf Es sind keine Gruppenabgaben erlaubt, nur Einzelabgaben. Barbara König Logik 9
10 Hinweise zu den Übungen Wir verwenden Moodle, um: die Aufgabenblätter zur Verfügung zu stellen, die Hausaufgaben elektronisch (nur PDF!) abzugeben und um Diskussionsforen bereitzustellen. Moodle-2-Plattform an der Universität Duisburg-Essen: (siehe auch Link auf der Webseite) Bitte legen Sie dort einen Zugang an (falls noch nicht vorhanden) und tragen Sie sich in den Kurs Logik (WS 2015/16) (Ingenieurwissenschaften Informatik und Angewandte Kognitionswissenschaft) ein. Bitte mit Uni-Kennung anmelden! Zugangsschlüssel:... Barbara König Logik 10
11 Prüfung Klausur am Ende des Semesters. Voraussichtlicher Termin: Mittwoch, 24. Februar 2016, 8:30-10:30 Uhr Anmeldung über das Prüfungsamt Wenn Sie 50% der Übungspunkte erzielt haben, so erhalten Sie einen Bonus für die Klausur. (Für das Vorrechnen in der Übung gibt es 10 Extrapunkte.) Auswirkung: Verbesserung um eine Notenstufe; z.b. von 2,3 auf 2,0 Bonuspunkte aus dem WS 2014/15 (oder früher) gelten nicht mehr! Barbara König Logik 11
12 Literatur Die Vorlesung basiert im Wesentlichen auf folgendem Buch: Uwe Schöning: Logik für Informatiker. Spektrum, Weitere relevante Bücher: Jon Barwise, John Etchemendy: Language, Proof, and Logic. Seven Bridges Press, Auf Deutsch: Sprache, Beweis und Logik, Band I Aussagenund. mentis, Kreuzer, Kühling: Logik für Informatiker, Pearson, Barbara König Logik 12
13 Literatur Einführende/unterhaltsame Literatur: Douglas R. Hofstadter: Gödel, Escher, Bach: An Eternal Golden Braid. Basic Books, Auf Deutsch: Gödel, Escher, Bach: Ein Endloses Geflochtenes Band. dtv, Barbara König Logik 13
14 Folien Folien werden im Web bereitgestellt, regelmäßig aktualisiert, im Wesentlichen den Folien des letzten Semesters (WS 14/15) entsprechen Ein eigenes Skript gibt es neben dem Buch von Schöning nicht. Barbara König Logik 14
Vorlesung Automaten und Formale Sprachen alias Theoretische Informatik Sommersemester 2015
Vorlesung Automaten und Formale Sprachen alias Theoretische Informatik Sommersemester 2015 Prof. Barbara König Übungsleitung: Jan Stückrath Barbara König Automaten und Formale Sprachen 1 Das heutige Programm:
MehrVorlesung Berechenbarkeit und Komplexität Wintersemester 2016/17. Wer sind wir? Willkommen zu
Vorlesung Berechenbarkeit und Komplexität Wintersemester 2016/17 Prof. Barbara König Übungsleitung: Sebastian Küpper Willkommen zu Berechenbarkeit und Komplexität (Bachelor Angewandte Informatik, Duisburg
MehrVorlesung Modellierung Modellierungsmethoden der Informatik. Wintersemester 2011/12. Lernplattform Moodle. Wer sind wir?
Vorlesung Modellierung Modellierungsmethoden der Informatik Wintersemester 2011/12 Prof. Barbara König Übungsleitung: Dr. Sander Bruggink Das heutige Programm Organisatorisches Vorstellung Ablauf der Vorlesung
MehrVorlesung Formale Aspekte der Software-Sicherheit und Kryptographie Sommersemester 2015 Universität Duisburg-Essen
Vorlesung Formale Aspekte der Software-Sicherheit und Kryptographie Sommersemester 2015 Universität Duisburg-Essen Prof. Barbara König Übungsleitung: Sebastian Küpper Barbara König Form. Asp. der Software-Sicherheit
MehrVorlesung Modellierung nebenläufiger Systeme Sommersemester 2014 Universität Duisburg-Essen
Vorlesung Modellierung nebenläufiger Systeme Sommersemester 2014 Universität Duisburg-Essen Barbara König Übungsleitung: Sebastian Küpper Barbara König Vorlesung Modellierung nebenläufiger Systeme 1 Das
MehrGrundlagen der Rechnerarchitektur
Grundlagen der Rechnerarchitektur [CS3100.010] Wintersemester 2014/15 Heiko Falk Institut für Eingebettete Systeme/Echtzeitsysteme Ingenieurwissenschaften und Informatik Universität Ulm Folie 2/12 Personen
MehrLogik 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
MehrGrundlagen der Betriebssysteme
Grundlagen der Betriebssysteme [CS2100] Sommersemester 2014 Heiko Falk Institut für Eingebettete Systeme/Echtzeitsysteme Ingenieurwissenschaften und Informatik Universität Ulm Folie 2/14 Personen Vorlesung
MehrLogik 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
MehrTheoretische 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
MehrDiskrete Strukturen WS 2010/11. Ernst W. Mayr. Wintersemester 2010/11. Fakultät für Informatik TU München
WS 2010/11 Diskrete Strukturen Ernst W. Mayr Fakultät für Informatik TU München http://www14.in.tum.de/lehre/2010ws/ds/ Wintersemester 2010/11 Diskrete Strukturen Kapitel 0 Organisatorisches Vorlesungen:
MehrLogik 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,
MehrHardwarearchitekturen und Rechensysteme
Lehrstuhl für Eingebettete Systeme Hardwarearchitekturen und Rechensysteme Sommersemester 2009 Folien zur Vorlesung Hardwarearchitekturen und Rechensysteme von Prof. Dr. rer. nat. U. Brinkschulte Prof.
MehrMathematik für Ingenieure Teil A: CE, EEI, ET, IuK, ME. Information zur Vorlesung und Übung. PD Dr. Markus Bause
Mathematik für Ingenieure Teil A: CE, EEI, ET, IuK, ME Information zur Vorlesung und Übung PD Dr. Markus Bause Universität Erlangen-Nürnberg Department Mathematik bause@am.uni-erlangen.de http://www1.am.uni-erlangen.de/
MehrEinfü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
MehrÜbung Info A. http://www.is.informatik.uni-duisburg.de. Übungsleiter. Informationen (Sprechstunden, Kontaktdaten): André Schaefer Gudrun Fischer
Übung Info A Übungsleiter André Schaefer Gudrun Fischer Informationen (Sprechstunden, Kontaktdaten): http://www.is.informatik.uni-duisburg.de Ziele der Übung Vertiefung der Inhalte der Vorlesung Praktische
MehrMathematische Grundlagen
Mathematische Grundlagen für Wirtschaftsinformatiker Prof. Dr. Peter Becker Fachbereich Informatik Hochschule Bonn-Rhein-Sieg Wintersemester 2016/17 Peter Becker (H-BRS) Mathematische Grundlagen Wintersemester
MehrEinführung in die Programmierung
Einführung in die Programmierung Prof. Dr. Peer Kröger, Janina Bleicher, Florian Richter Ludwig-Maximilians-Universität München, Institut für Informatik, LFE Datenbanksysteme Wintersemester 2016/2017 Peer
MehrVorlesung Informatik II
Vorlesung Informatik II Universität Augsburg Wintersemester 2011/2012 Prof. Dr. Bernhard Bauer Folien von: Prof. Dr. Robert Lorenz Lehrprofessur für Informatik 00. Organisatorisches 1 Ziele Erstellen größerer
MehrÜbungen zu Grundlagen der Logik in der Informatik - WS15/16
Übungen zu Grundlagen der Logik in der Informatik - WS15/16 1 / 11 Übungen zu Grundlagen der Logik in der Informatik - WS15/16 Donnerstag 14:15-15:45, Cauerstraße 7/9, Raum 0.154-115 Freitag 14:15-15:45,
MehrVideokonferenz-Vorlesungen Chancen und Herausforderungen
Videokonferenz-Vorlesungen Chancen und Herausforderungen Barbara König 9. Mai 2017 Hintergrund Vorstellung Prof. Dr. Barbara König Professur für Theoretische Informatik, seit 2006 Fakultät für Ingenieurwissenschaften,
MehrEinführung in die Numerische Lineare Algebra (MA 1304)
Einführung in die Numerische Lineare Algebra (MA 1304) Vorlesung Montags, 16:15-17:45 Uhr Rudolf-Mößbauer - HS (Physik) Homepage zur Vorlesung http://www-m2.ma.tum.de/bin/view/allgemeines/numlinalgws1516
MehrHerzlich Willkommen. Grundbegriffe der Informatik
Herzlich Willkommen zum Modul Grundbegriffe der Informatik Tutorien: viele viele Tutoren große Übung: M. Janke, M. Schulz Vorlesung: T. Worsch http://gbi.ira.uka.de 1/14 Organisatorisches Wenn Sie Hilfe
MehrSondertermin 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
MehrInformatikgrundlagen (WS 2016/2017)
Informatikgrundlagen (WS 2016/2017) Klaus Berberich (klaus.berberich@htwsaar.de) Wolfgang Braun (wolfgang.braun@htwsaar.de) 0. Organisatorisches Dozenten Klaus Berberich (klaus.berberich@htwsaar.de) Sprechstunde
MehrLehrstuhl für Produktionswirtschaft Prof. Dr. Marion Steven PRODUKTIONSTHEORIE. Wintersemester 2017/18
Lehrstuhl für Produktionswirtschaft Prof. Dr. Marion Steven PRODUKTIONSTHEORIE Wintersemester 2017/18 Vorstellung Prof. Dr. Marion Steven GC 4/60 Tel.: 0234/32-28010 Sprechstunde: mittwochs 9:00 10:00
MehrAllgemeine Informatik 1
Allgemeine Informatik 1 Veranstalter: Prof. Dr. Johannes Fürnkranz: Raum S202/E304, Sprechstunde: Mittwochs 11.00 12.00, Email: fuernkranz@informatik.tu-darmstadt.de Sekretariat: Mo-Fr 9.00-12.00 Übungsleitung,
MehrVorlesung Logik Wintersemester 2017/18 Universität Duisburg-Essen
Vorlesung Logik Wintersemester 2017/18 Universität Duisburg-Essen Barbara König Übungsleitung: Dennis Nolte, Harsh Beohar Barbara König Logik 1 Das heutige Programm: Organisatorisches Vorstellung Ablauf
MehrVorlesung Programmierung
- 1 - Vorlesung Programmierung Inhalt der Vorlesung Was ist ein Programm? Was sind grundlegende Programmierkonzepte? Wie konstruiert (entwickelt) man ein Programm? Welche Programmier-Paradigmen gibt es?
MehrLogik für Informatiker
Logik für Informatiker Organisatorisches Markus Bender Themen Allgemeines Klausurzulassung Aufgabenblätter Abgabegruppen Punkte SVN Allgemeines Markus Bender mbender@uni-koblenz.de Raum B 224 http://userp.uni-koblenz.de/~mbender/ss16logic.html
MehrAlgorithmen und Berechnungskomplexität I
Algorithmen und Berechnungskomplexität I Prof. Dr. Institut für Informatik Wintersemester 2013/14 Organisatorisches Vorlesung Dienstag und Donnerstag, 12:30 14:00 Uhr (HS 1) Übungen 16 Übungsgruppen Anmeldung
MehrHerzlich Willkommen. Grundbegriffe der Informatik
Herzlich Willkommen zum Modul Grundbegriffe der Informatik N. Apicella (T) A. Bauer (T) A. Becker (T) T. Bittner (T) W. Brodt (T) A. Felic (T) N. Forgerit (T) M. Georgi (T) M.-J. Guthmann (T) A. Güntner
MehrEinführung in die Programmierung. Organisatorisches. Skript zur Vorlesung Einführung in die Programmierung
LUDWIG- MAXIMILIANS- UNIVERSITY MUNICH DEPARTMENT INSTITUTE FOR INFORMATICS DATABASE Einführung in die Programmierung Organisatorisches Skript zur Vorlesung Einführung in die Programmierung im Wintersemester
MehrOrganisation: Algorithmische Mathematik WiSe 2013/2014
Organisation: Algorithmische Mathematik WiSe 2013/2014 Institut für Numerische Simulation Rheinische Friedrich-Wilhelms-Universität Bonn Oktober 2013 Vorlesung Vorlesungen Vorlesung A (Prof. Dr. Marc Alexander
MehrÜbungen zu Datenbanken
zu WS 2013/2014 Dipl.-Inform. 23./24. Oktober 2013 Kommunikation, LF 136, mjordan@is.inf.uni-due.de, LF 136, mjordan@is.inf.uni-due.de Thomas Beckers, LF 138, tbeckers@is.inf.uni-due.de Regelmäßig Webseite
MehrFormale 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
MehrAllgemeine Informationen zur Vorlesung
Allgemeine Informationen zur Vorlesung Lineare Algebra Stefan Ruzika Mathematisches Institut Universität Koblenz-Landau Campus Koblenz 11. April 2016 Stefan Ruzika Informationen 11. April 2016 1 / 9 Wenden
MehrEinführung in die Informatik
Einführung in die Informatik Einleitung Organisatorisches, Motivation, Herangehensweise Wolfram Burgard 1.1 Vorlesung Zeit und Ort: Mittwochs 14.00 16.00 Uhr Gebäude 101 HS 00-026 Informationen zur Vorlesung,
MehrEs gibt drei verschiedene Veranstaltungen, die wir in dem Modul "Programmierung" anbieten
Programmierung Informationen für Kursteilnehmer Veranstaltungen Es gibt drei verschiedene Veranstaltungen, die wir in dem Modul "Programmierung" anbieten 1. Vorlesung Die Vorlesung findet zweimal pro Woche
MehrMathematik I für Maschinenbau etc.
Mathematik I für Maschinenbau etc. Michael Joswig Assistenz: 1 Organisation 2 Klausur 3 Mathematik Katja Kulas Dr. Sören Kraußhar WS 2010/2011 Joswig 1 Persönliche Vorstellung Prof. Dr. Michael Joswig
MehrGrundlagen der Informationsverarbeitung:
Grundlagen der Informationsverarbeitung: Einleitung Prof. Dr.-Ing. habil. Ulrike Lucke Durchgeführt von Prof. Dr. rer. nat. habil. Mario Schölzel Maximaler Raum für Titelbild (wenn kleiner dann linksbündig
MehrVorlesung Programmieren
Vorlesung Programmieren Organisation Dr. Dennis Pfisterer Institut für Telematik, Universität zu Lübeck http://www.itm.uni-luebeck.de/people/pfisterer Ziele dieser Veranstaltung Ziel: Wissen, wie man Computerprogramme
MehrVorlesung Logik Wintersemester 2017/18 Universität Duisburg-Essen. Wer sind wir? Wer sind wir? Das heutige Programm:
Vorlesung Logik Wintersemester 2017/18 Universität Duisburg-Essen Barbara König Übungsleitung: Dennis Nolte, Harsh Beohar Das heutige Programm: Organisatorisches Vorstellung Ablauf der Vorlesung und der
MehrPHYSIK I. - Mechanik, Akustik, Wärmelehre - Ablauf der Vorlesung. Übungen. Leistungsnachweis
PHYSIK I - Mechanik, Akustik, Wärmelehre - Ablauf der Vorlesung Übungen Leistungsnachweis Ablauf der Vorlesung Termine: Mo. und Mi. 10:15-12:00 Uhr, Gr. Hörsaal Physik Dozent: Prof. K. Jakobs Gustav-Mie
Mehrder Programmierung (2 V + 3 Ü) WS 2014 / 2015 EDV, WS 2014/2015, Prof. Dr.-Ing. Sigrid Wenzel Seite 1
EDV: Informationstechnik: t ik Grundlagen der Programmierung (2 V + 3 Ü) WS 2014 / 2015 EDV, WS 2014/2015, Prof. Dr.-Ing. Sigrid Wenzel Seite 1 Maschinenbau Programmierkenntnisse Mechanik Arbeitswissenschaft
MehrGrundlagen des betriebswirtschaftlichen Rechnungswesens
Vorlesung und Tutorien BWL 2 Sommersemester 2016 Grundlagen des betriebswirtschaftlichen Rechnungswesens Organisatorisches Prof. Dr. Wolfgang Berens insb. Controlling Vorlesung» Immer mittwochs: 7.30 10.00
MehrAlgorithmen und Datenstrukturen
Algorithmen und Datenstrukturen A1. Organisatorisches Marcel Lüthi and Gabriele Röger Universität Basel 28. Februar 2018 Organisatorisches Personen: Dozenten Marcel Lüthi Gabriele Röger Dozenten Dr. Marcel
MehrAlgorithmen und Datenstrukturen
Algorithmen und Datenstrukturen Prof. Dr. Ralf Möller Universität zu Lübeck Institut für Informationssysteme Stefan Werner (Übungen) sowie viele Tutoren Teilnehmerkreis und Voraussetzungen Studiengänge
MehrÜbungen zu Datenbanken
zu WS 2016/2017 Darina Benikova M.A. Michael Rist M.Sc. 26.+27. Oktober 2016 Kommunikation & Darina Benikova, LE 426, benikova@is.inf.uni-due.de Michael Rist, LE 423, rist@is.inf.uni-due.de Regelmäßig
MehrVorlesung Logik Wintersemester 2015/16 Universität Duisburg-Essen. Wer sind wir? Barbara König Übungsleitung: Dennis Nolte, Dr.
Vorlesung Logik Wintersemester 2015/16 Universität Duisburg-Essen Barbara König Übungsleitung: Dennis Nolte, Dr. Harsh Beohar Barbara König Logik 1 Barbara König Logik 2 Wer sind wir? Das heutige Programm:
MehrEinführung in die Informatik
Einführung in die Informatik Einleitung Organisatorisches, Motivation, Herangehensweise Wolfram Burgard 1.1 Vorlesung Zeit und Ort: Mittwochs 16.00 18.00 Uhr Gebäude 101 HS 00-036 Informationen zur Vorlesung,
MehrFormale 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
MehrMathematik: Ausbildung im ersten Semester
Mathematik: Ausbildung im ersten Semester Mathematik 0 (Empfohlene Lehrveranstaltung) Mathematik I Vorlesung (Pflichtlehrveranstaltung) Mathematik I Übungen (Pflichtlehrveranstaltung) Mathematik I Tutorium
MehrStatistik 2. Herbstsemester Universität Mannheim Abteilung Volkswirtschaftslehre Lehrstuhl für Statistik Toni Stocker
Statistik 2 Herbstsemester 2017 Universität Mannheim Abteilung Volkswirtschaftslehre Lehrstuhl für Statistik Toni Stocker Allgemeine Hinweise S&S (2017) für Stocker, T. C. und Steinke I. (2017): Statistik
MehrVorlesung Programmierung
- 1 - Vorlesung Programmierung Inhalt der Vorlesung Was ist ein Programm? Was sind grundlegende Programmierkonzepte? Wie konstruiert (entwickelt) man ein Programm? Welche Programmier-Paradigmen gibt es?
MehrInformationsveranstaltung BWL A
Informationsveranstaltung BWL A Wintersemester 2016 / 2017 Prof. Dr. Andreas Eggert Lehrstuhl für BWL, insbes. Marketing Folie 1 Informationsveranstaltung BWL A Agenda 1. Inhalt 2. Lehr- und Lerneinheiten
MehrAlgebra/Geometrie I und Analysis I Mein Name: Prof. Vladimir Matveev
Algebra/Geometrie I und Analysis I Mein Name: Prof. Vladimir Matveev Algebra/Geometrie I und Analysis I Mein Name: Prof. Vladimir Matveev Ich bin für Algebra/Geometrie I zuständig, Algebra/Geometrie I
MehrWissensrepräsentation Vorlesung
Wissensrepräsentation Vorlesung Sommersemester 2008 1. Sitzung Dozent Nino Simunic M.A. Computerlinguistik, Campus DU Wissensrepräsentation, SS 2008 (1) Organisatorisches (2) Überblick: Inhalte Organisatorisches
MehrAnalysis. (insbesondere Modul 3 des B.Ed. in Mathematik für die Lehrämter an Realschulen Plus, Gymnasien bzw. Berufsbildenden Schulen)
Herzlich willkommen zur Vorlesung Analysis (insbesondere Modul 3 des B.Ed. in Mathematik für die Lehrämter an Realschulen Plus, Gymnasien bzw. Berufsbildenden Schulen) Hinweis. Die Folien werden unter
MehrLogik. Vorlesung im Wintersemester 2010
Logik Vorlesung im Wintersemester 2010 Organisatorisches Zeit und Ort: Di 14-16 MZH 5210 Do 16-18 MZH 5210 Prof. Carsten Lutz Raum MZH 3090 Tel. (218)-64431 clu@uni-bremen.de Position im Curriculum: Modulbereich
MehrAlgorithmen und Datenstrukturen
Prof. Dr. V. Linnemann Lübeck, den 12. Mai 2010 Universität zu Lübeck Institut für Informationssysteme Algorithmen und Datenstrukturen Sommersemester 2010 6. Übungsblatt Lösungen Lösung 1: Optimale Matrixmultiplikation
MehrÜbung zur Vorlesung Digitale Medien. Dr. Alexander De Luca Ludwig-Maximilians-Universität München Wintersemester 2013/2014
Übung zur Vorlesung Digitale Medien Dr. Alexander De Luca Ludwig-Maximilians-Universität München Wintersemester 2013/2014 1 Good to Know Informatiker Forum http://www.die-informatiker.net/ Mimuc Twitter
MehrMathematik für Studierende der Biologie und des Lehramtes Chemie 1
Mathematik für Studierende der Biologie und des Lehramtes Chemie Dominik Schillo Universität des Saarlandes 20.10.2017 Mathematik für Studierende der Biologie und des Lehramtes Chemie 1 Vorlesung Zeit
MehrPI.TGS.TS: Technische Grundlagen und Systemsoftware
PI.TGS.TS: Technische Grundlagen und Systemsoftware Vorbesprechung VO+UE Mag. Thomas Treutner Research Group Entertainment Computing, Universität Wien 3. 3. 2011 1 / 24 Überblick 2 / 24 Vorlesung Ablauf
MehrLogik für Informatiker Logic for computer scientists
Logik für Informatiker Logic for computer scientists Till Mossakowski Wintersemester 2014/15 Till Mossakowski Logik 1/ 28 Überblick Motivation Motivation Formale Beweise in Fitch Die Booleschen Junktoren
MehrKapitel -1 Organisatorisches
Kapitel -1 Organisatorisches 1 Das Team Dozent: Prof. Dr. Friedrich Eisenbrand Übungsbetrieb: Dr. Kai Gehrs Tutoren Hans Biebinger Christian Heinemann Reiner Hermann Christian Michalke Thomas Rothvoß Alexander
MehrEinführung in die empirische Wirtschaftsforschung. Wintersemester 2017/2018 Syllabus und organisatorische Informationen
Einführung in die empirische Wirtschaftsforschung Wintersemester 2017/2018 Syllabus und organisatorische Informationen Prof. Dr. Almut Balleer Lehr- und Forschungsgebiet Empirische Wirtschaftsforschung
MehrEinführung zur Vorlesung LEN Organisatorisches (gekürzte Fassung)
Einführung zur Vorlesung LEN Organisatorisches (gekürzte Fassung) M.Sc. Nicolas Pilia Übungsleiter LEN nicolas.pilia@kit.edu INSTITUT FÜR BIOMEDIZINISCHE TECHNIK 2008 Google - Imagery 2008 Digital Globe,
MehrMathematik-Vorkurs 2018
Mathematik-Vorkurs 2018 Fakultät für Wirtschaftswissenschaften Organisatorische Informationen paluno Ablauf des Vorkurses Der Vorkurs erstreckt sich insgesamt über 3 bzw. 4 Wochen. 02.03. - 29.03.2018
MehrRechnerstrukturen. Vorlesung (V4 + Ü2) im Sommersemester Prof. Dr. Felix C. Freiling. Martin Mink, Ralf Wienzek
Lehr- und Forschungsgebiet Informatik 4 Verlässliche Verteilte Systeme http://www-i4.informatik.rwth-aachen.de/lufg Rechnerstrukturen Vorlesung (V4 + Ü2) im Sommersemester 2005 Prof. Dr. Felix C. Freiling
MehrFormale Systeme. Prof. P.H. Schmitt. Winter 2007/2008. Fakultät für Informatik Universität Karlsruhe (TH) Voraussetzungen
Formale Systeme Prof. P.H. Schmitt Fakultät für Informatik Universität Karlsruhe (TH) Winter 2007/2008 Prof. P.H. Schmitt Formale Systeme Winter 2007/2008 1 / 12 Übungen und Tutorien Es gibt wöchentliche
MehrLehrstuhl für Produktionswirtschaft Prof. Dr. Marion Steven PRODUKTIONSLOGISTIK. Produktionswirtschaft. Sommersemester 2017
Lehrstuhl für Produktionswirtschaft Prof. Dr. Marion Steven PRODUKTIONSLOGISTIK Produktionswirtschaft Sommersemester 2017 Vorstellung Lehrstuhlinhaberin: Prof. Dr. Marion Steven GC 4/60 Tel.: 0234/32-28010
MehrVorlesung AVWL II Makroökonomik. Sommersemester Prof. Dr. Frank Heinemann AVWL II. Makroökonomie Das spannendste Fach des Grundstudiums?
Vorlesung AVWL II Makroökonomik Sommersemester 2012 Prof. Dr. Frank Heinemann Seite 1 Einführung Makroökonomie Das spannendste Fach des Grundstudiums? Makro behandelt Grundprobleme der Wirtschaftspolitik,
MehrMathematik: Ausbildung im zweiten Semester
Mathematik: Ausbildung im zweiten Semester Mathematik II Vorlesung (Pflichtlehrveranstaltung) Mathematik II Übungen (Pflichtlehrveranstaltung) Mathematik II Tutorium (Empfohlene Lehrveranstaltung) Mathematik
MehrÜbungen zu Datenbanken
zu WS 2014/2015 Dipl.-Inform. 16. Oktober 2014 Kommunikation &, LF 139, vtran@is.inf.uni-due.de Regelmäßig Webseite besuchen! http://www.is.inf.uni-due.de/courses/db_ws14/ Kommunikation Korrektur der Übungsabgaben
MehrVorlesung Makroökonomik I SS Prof. Dr. Ansgar Belke Makroökonomik I Sommersemester 2009 Folie 1
Vorlesung Makroökonomik I SS 2009 Prof. Dr. Ansgar Belke Makroökonomik I Sommersemester 2009 Folie 1 Kontaktdaten Professur für Makroökonomik Univ.-Prof. Dr. Ansgar Belke Torben Hendricks, Master Econ.
MehrExperimentalphysik VI Einführung in und Grundlagen der Kern- und Teilchenphysik Prof. Markus Schumacher ALU Freiburg, Sommersemsester 2010
Experimentalphysik VI Einführung in und Grundlagen der Kern- und Teilchenphysik Prof. Markus Schumacher ALU Freiburg, Sommersemsester 2010 Vorbemerkungen Vorlesung und Übung Vorlesung: 26 Termine jeweils
MehrÜbung Algorithmen und Datenstrukturen
Übung Algorithmen und Datenstrukturen Sommersemester 2015 Marc Bux, Humboldt-Universität zu Berlin Organisation Vorlesung: Montag 11 13 Uhr Ulf Leser RUD 26, 0 115 Mittwoch 11 13 Uhr Ulf Leser RUD 26,
MehrGrundlagen des betriebswirtschaftlichen Rechnungswesens
Vorlesung und Tutorien BWL 2 Sommersemester 2015 Grundlagen des betriebswirtschaftlichen Rechnungswesens Organisatorisches Prof. Dr. Wolfgang Berens insb. Controlling Vorlesung» Immer mittwochs: 7.30 10.00
MehrGrundlagen der Bildverarbeitung: Informationen zur Übung
Grundlagen der Bildverarbeitung: Informationen zur Übung Michael Korn Raum: BC 414, Tel.: 0203-379 - 3583, E-Mail: michael.korn@uni-due.de Michael Korn (michael.korn@uni-due.de) GBV: Informationen zur
MehrGrundlagen der Programmiersprachen
GPS-0-1 Grundlagen der Programmiersprachen Prof. Dr. Uwe Kastens Sommersemester 2016 Vorlesung Grundlagen der Programmiersprachen SS 2016 / Folie 001 Anfang Begrüßung Ziele GPS-0-2 Die Vorlesung soll Studierende
MehrGrundlagen der Logik und Logikprogrammierung Einleitung
Grundlagen der Logik und Logikprogrammierung Günther Görz Informatik 8 Haberstraße 2, 3.Stock 91058 Erlangen Sprechstunde: Mo. 12-13 goerz@informatik.uni-erlangen.de Friedrich-Alexander-Universität Erlangen-Nürnberg
MehrVorlesung Programmierung
- 1 - Vorlesung Programmierung n Inhalt der Vorlesung l Was ist ein Programm? l Was sind grundlegende Programmierkonzepte? l Wie konstruiert (entwickelt) man ein Programm? l Welche Programmier-Paradigmen
MehrAlgorithmen & Datenstrukturen
Algorithmen & Datenstrukturen Prof. Dr. Gerd Stumme Universität Kassel FB Elektrotechnik/Informatik FG Wissensverarbeitung Sommersemester 2009 Ziele der Veranstaltung 1 Kennenlernen grundlegender Algorithmen
MehrProduktionsManagement
Lehrstuhl für Produktionswirtschaft Prof. Dr. Marion Steven ProduktionsManagement Wintersemester 2015/16 Vorstellung Lehrstuhlinhaberin: Prof. Dr. Marion Steven GC 4/60 Tel.: 0234/32-28010 Sprechstunde:
MehrÜbungen Grundlagen Betriebssysteme WS 07 / 08
Personen Übungsleitung: Georg Groh (grohg@in.tum.de) Tutoren: Vivian Prinz (prinzv@in.tum.de) Georg Groh (grohg@in.tum.de) Jörg Preissinger (preissin@in.tum.de) Robert Schmohl (schmohl@in.tum.de) Alexander
MehrWintersemester 2009/2010 Online-Übungskonzept
Wintersemester 2009/2010 Online-Übungskonzept Univ.-Prof. Dr. Rolf Weiber Professur für Marketing, Innovation und E-Business Fachbereich IV: BWL-AMK Universitätsring 15 D-54286 Trier Tel.: +49-651-201-2619
MehrEinführung in die Programmierung Wintersemester 2008/09
Einführung in die Programmierung Wintersemester 2008/09 Prof. Dr. Günter Rudolph Lehrstuhl für Algorithm Engineering (LS 11) Fakultät für Informatik TU Dortmund Gliederung Organisatorisches Technisches
MehrInformatik I Tutorium WS 07/08
Informatik I Tutorium WS 07/08 Vorlesung: Prof. Dr. F. Bellosa Übungsleitung: Dipl.-Inform. A. Merkel Tutorium: 12 Tutor: Jens Kehne Tutorium 1: Dienstag 30. Oktober 2007 Übersicht Tutorium Einführung:
MehrÜbungen Grundlagen Betriebssysteme WS 08 / 09
Personen Vivian Prinz (prinzv@in.tum.de) Dr. Nils Kammenhuber (kammenhuber@net.in.tum.de ) Jan Herrmann (herrmanj@in.tum.de) Robert Schmohl (schmohl@in.tum.de) Robert Eigner (eigner@in.tum.de) Yang Guo
MehrBachelor/Master Angewandte Informatik (Ingenieur- und Medieninformatik)
Vorstellung Entwicklung der Informatik Bachelor/Master (Bologna-Prozess) Studienorganisation Bachelor/Master (Ingenieur- und Medieninformatik) Prof. Abteilung für Informatik und Angewandte Kognitionswissenschaft
MehrMathematik-Vorkurs 2015
Mathematik-Vorkurs 2015 Fakultät für Wirtschaftswissenschaften Organisatorische Informationen paluno Ablauf des Vorkurses Der Vorkurs erstreckt sich insgesamt über 4 Wochen. Der Vorkurs läuft online über
MehrPhysik 4: Quantenmechanik, Atomund Kernphysik (Pk 4a/b)
Physik 4: Quantenmechanik, Atomund Kernphysik (Pk 4a/b) Vorlesung Kombibachelor Physik Humboldt-Universität zu Berlin Sommersemester 2014 Martin zur Nedden, Humboldt-Universität zu Belrin Martin zur Nedden
MehrProgrammierung. Prof. Dr. Michael Hanus mh@informatik.uni-kiel.de, Tel. 880-7271, R. 706 / CAP-4
Programmierung Prof. Dr. Michael Hanus mh@informatik.uni-kiel.de, Tel. 880-7271, R. 706 / CAP-4 Fabian Reck fre@informatik.uni-kiel.de, Tel. 880-7262, R. 701 / CAP-4 Institut für Informatik Christian-Albrechts-Universität
MehrMathematik für Biologen und Biotechnologen (240109)
Mathematik für Biologen und Biotechnologen (240109) Dr. Matthieu Felsinger Sommersemester 2014 Kontakt Matthieu Felsinger m.felsinger@math.uni-bielefeld.de Homepage: www.math.uni-bielefeld.de/~matthieu
MehrInformatik I. 0. Organisation. Jan-Georg Smaus. Albert-Ludwigs-Universität Freiburg. 19. Oktober 2010
Informatik I 0. Organisation Jan-Georg Smaus Albert-Ludwigs-Universität Freiburg 19. Oktober 2010 Jan-Georg Smaus (Universität Freiburg) Informatik I 19. Oktober 2010 1 / 18 Informatik I 19. Oktober 2010
MehrAnalysis. (insbesondere Modul 3 des B.Ed. in Mathematik für die Lehrämter an Realschulen Plus, Gymnasien bzw. Berufsbildenden Schulen)
Herzlich willkommen zur Vorlesung Analysis (insbesondere Modul 3 des B.Ed. in Mathematik für die Lehrämter an Realschulen Plus, Gymnasien bzw. Berufsbildenden Schulen) Hinweis. Die Folien werden unter
Mehr