Der Lehrstuhl Programmierparadigmen
|
|
|
- Dominik Böhler
- vor 8 Jahren
- Abrufe
Transkript
1 Der Lehrstuhl Programmierparadigmen Prof. Dr.-Ing. Gregor Snelting MA O-Phase, KIT Universita t des Landes Baden-Wu rttemberg und nationales Großforschungszentrum in der Helmholtz-Gemeinschaft
2 Kurz-CV Jg 58, 1982 Dipl.-Inform. TUD, 1986 Dr.-Ing. TUD, C3 TUBs, C4 Passau, 2008 KIT gewählter Senator 2015, KIT PLUS , Studiendekan März 2017 Der Lehrstuhl Programmierparadigmen
3 Kurz-CV Jg 58, 1982 Dipl.-Inform. TUD, 1986 Dr.-Ing. TUD, C3 TUBs, C4 Passau, 2008 KIT gewählter Senator 2015, KIT PLUS , Studiendekan Doktorkinder, davon 4 bereits Prof. >15 Preise für Lehrstuhl (beste Wahl-VL, beste Pflicht-VL, beste Übg), 2 mal Fakultätslehrpreis (2012, 2017) 2 6. März 2017 Der Lehrstuhl Programmierparadigmen
4 Kurz-CV Jg 58, 1982 Dipl.-Inform. TUD, 1986 Dr.-Ing. TUD, C3 TUBs, C4 Passau, 2008 KIT gewählter Senator 2015, KIT PLUS , Studiendekan Doktorkinder, davon 4 bereits Prof. >15 Preise für Lehrstuhl (beste Wahl-VL, beste Pflicht-VL, beste Übg), 2 mal Fakultätslehrpreis (2012, 2017) Einführung von drei neuen zentralen LV im BA: Programmieren (1. Sem.), Praxis der Softwareentwicklung (3. Sem), Programmierparadigmen (5. Sem) 2 6. März 2017 Der Lehrstuhl Programmierparadigmen
5 Kurz-CV Jg 58, 1982 Dipl.-Inform. TUD, 1986 Dr.-Ing. TUD, C3 TUBs, C4 Passau, 2008 KIT gewählter Senator 2015, KIT PLUS , Studiendekan Doktorkinder, davon 4 bereits Prof. >15 Preise für Lehrstuhl (beste Wahl-VL, beste Pflicht-VL, beste Übg), 2 mal Fakultätslehrpreis (2012, 2017) Einführung von drei neuen zentralen LV im BA: Programmieren (1. Sem.), Praxis der Softwareentwicklung (3. Sem), Programmierparadigmen (5. Sem) Arbeitsgebiete: Programmiersprachen, Compiler, Programmanalyse, Software-Sicherheit, Verifikation bekannte Lehrstuhlprodukte: PRAKTOMAT (autom. Testen von Programmieraufgaben), JOANA (Software-Sicherheitsanalyse f. volles Java, probabilistische Nichtinterferenz) 2 6. März 2017 Der Lehrstuhl Programmierparadigmen
6 Theorie oder Praxis? 3 6. März 2017 Der Lehrstuhl Programmierparadigmen
7 Theorie oder Praxis? Theorie ohne Praxis ist unfruchtbar, aber Praxis ohne Theorie ist steril (G. Snelting) 3 6. März 2017 Der Lehrstuhl Programmierparadigmen
8 Theorie oder Praxis? Theorie ohne Praxis ist unfruchtbar, aber Praxis ohne Theorie ist steril Lehrstuhl macht beides! (G. Snelting) 3 6. März 2017 Der Lehrstuhl Programmierparadigmen
9 Lehre im Master Informatik 1. Fortgeschrittene Objektorientierung (SS, 2+2, 5 LP): tiefes Verständnis von Vererbung / dynamischer Bindung; Compilertechnik / Typsysteme / Programmanalyse für OO-Sprachen; aktuelle OO Forschung 4 6. März 2017 Der Lehrstuhl Programmierparadigmen
10 Lehre im Master Informatik 1. Fortgeschrittene Objektorientierung (SS, 2+2, 5 LP): tiefes Verständnis von Vererbung / dynamischer Bindung; Compilertechnik / Typsysteme / Programmanalyse für OO-Sprachen; aktuelle OO Forschung 2. Compilerbau (SS, 4+2, 8LP) tiefes Verständnis von Compilern, insbesondere Programmanalyse / Codeoptimierung 3. Compilerpraktikum (WS, 0+6, 6 LP) Teams a 4-5, vollst. Compiler f. Mini-Java, Schwerpunkt Codeoptimierung 4 6. März 2017 Der Lehrstuhl Programmierparadigmen
11 Lehre im Master Informatik 1. Fortgeschrittene Objektorientierung (SS, 2+2, 5 LP): tiefes Verständnis von Vererbung / dynamischer Bindung; Compilertechnik / Typsysteme / Programmanalyse für OO-Sprachen; aktuelle OO Forschung 2. Compilerbau (SS, 4+2, 8LP) tiefes Verständnis von Compilern, insbesondere Programmanalyse / Codeoptimierung 3. Compilerpraktikum (WS, 0+6, 6 LP) Teams a 4-5, vollst. Compiler f. Mini-Java, Schwerpunkt Codeoptimierung 4. Semantik (SS, 2+2, 4 LP) operationale/denotationale Semantik von Progr. Sprachen, Typsicherheit, Compilerverifikation 5. Maschinenbeweiser in der Sprachtechnologie (SS, 0+4, 4LP) Einsatz von Isabelle für z.b. Korrekheitsbeweis von Programmanalysen Rhythmus: grundsätzlich alle 2 Jahre SS 17: FOO, Semantik WS 17/18: Programmierparadigmen (BA) 4 6. März 2017 Der Lehrstuhl Programmierparadigmen
12 Forschung SFB Invasives Rechnen: Sprache / Compiler / Optimierung SPP Software-Sicherheit: JOANA führendes Tool zur Software-Sicherheitsanalyse analysiert Code auf Lecks bez. Vertraulichkeit / Integrität Isabelle: Formalisierung / Verifikation von Sicherheitsanalysen / Compilern / Memory Model / Semantik /... Wir bieten dazu Hiwi-Jobs, BA- und MA- Arbeiten an! 5 6. März 2017 Der Lehrstuhl Programmierparadigmen
13 Und sonst noch Interview (Gesellschaft f. Informatik) 1. Was war das erste Programm, das Sie geschrieben haben? Ein Primzahlprogramm, 1975, auf einem programmierbaren Taschenrechner (TI-SR56) 2. Was können Sie, was ein Computer nie können wird? Meine Frau küssen. 3. Wann haben Sie Ihr letztes Buch gelesen, und welches war das? Neulich zum x-ten Mal: Thomas Mann, Dr. Faustus. 4. Was schockiert Sie an der Informatik, und warum? Der Missbrauch von Informatik & Internet für Bespitzelung, Hass und Kriminalität - das haben wir nicht gewollt. 5. Was machen Sie, wenn Sie nicht Informatik machen? Musik, Kochen, Sporttauchen 6 6. März 2017 Der Lehrstuhl Programmierparadigmen
Praxis der Softwareentwicklung WS 2015/16
Praxis der Softwareentwicklung WS 2015/16 Prof. Dr. Gregor Snelting LEHRSTUHL PROGRAMMIERPARADIGMEN 0 KIT 28. Universität Oktober des 2015- Landes Praxis Baden-Württemberg der Softwareentwicklung und WS
Praxis der Softwareentwicklung WS 2016/17
Praxis der Softwareentwicklung WS 2016/17 Prof. Dr. Gregor Snelting LEHRSTUHL PROGRAMMIERPARADIGMEN 0 27. Oktober 2016- Praxis der Softwareentwicklung WS 2016/17 LEHRSTUHL PROGRAMMIERPARADIGMEN KIT Die
EIDI 1 Einführung in die Informatik 1. PGdP Praktikum Grundlagen der Programmierung. Harald Räcke 2/217
EIDI 1 Einführung in die Informatik 1 PGdP Praktikum Grundlagen der Programmierung Harald Räcke 2/217 Wie löst man Probleme mithilfe von Computern? 0 Harald Räcke 3/217 Inhalte: EIDI 1 1. Was ist das Problem?
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
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
R a i n e r N i e u w e n h u i z e n K a p e l l e n s t r G r e v e n T e l / F a x / e
R a i n e r N i e u w e n h u i z e n K a p e l l e n s t r. 5 4 8 6 2 8 G r e v e n T e l. 0 2 5 7 1 / 9 5 2 6 1 0 F a x. 0 2 5 7 1 / 9 5 2 6 1 2 e - m a i l r a i n e r. n i e u w e n h u i z e n @ c
F r e i t a g, 3. J u n i
F r e i t a g, 3. J u n i 2 0 1 1 L i n u x w i r d 2 0 J a h r e a l t H o l l a, i c h d a c h t e d i e L i n u x - L e u t e s i n d e i n w e n i g v e r n ü n f t i g, a b e r j e t z t g i b t e
Vorlesung Programmieren
Vorlesung Programmieren Einführung 26.10.2016 Jun.-Prof. Dr.-Ing. Anne Koziolek Version 1.0 ARBEITSGRUPPE ARCHITECTURE-DRIVEN REQUIREMENTS ENGINEERING (ARE) INSTITUT FÜR PROGRAMMSTRUKTUREN UND DATENORGANISATION
Schnittgrößen. Vorlesung und Übungen 1. Semester BA Architektur.
Schnittgrößen Vorlesung und Übungen 1. Semester BA Architektur KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu Schnittgrößen Verlauf
Das Softwaresystem BASEMENT
Numerische Modellierung von Naturgefahren mit dem Softwaresystem BASEMENT Workshop vom 6. Oktober 2006 an der VAW ETH Zürich Das Softwaresystem BASEMENT David Vetsch Inhalt 1. Motivation und Entstehungsgeschichte
Praktische Informatik I
Praktische Informatik I WS 2005/2005 Prof. Dr. Wolfgang Effelsberg Lehrstuhl für Praktische Informatik IV Universität Mannheim 1. Einführung 1-1 Inhaltsverzeichnis (1) 1. Einführung 1.1 Was ist Informatik?
Praktikum Compilerbau Sitzung 9 Java Bytecode
Praktikum Compilerbau Sitzung 9 Java Bytecode Prof. Dr.-Ing. Gregor Snelting Matthias Braun und Sebastian Buchwald IPD Snelting, Lehrstuhl für Programmierparadigmen KIT Universität des Landes Baden-Württemberg
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
M.A. MEDIEN UND GESELLSCHAFT
Informationen Ι Mastertag 2016 M.A. MEDIEN UND GESELLSCHAFT Überblick Rahmendaten Bewerbungsverfahren Aufbau des Studiengangs Fragerunde Was wir bieten 4 Fächer 1 Studium Medienwissenschaft Sozialwissenschaften
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 [email protected]
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 Modul Programmieren Programmieren I (1. Semester) 4 Vorlesungs- und Übungsstunden / Woche 1 Stunde
Informationen zum Studium der Sportwissenschaft
Informationen zum Studium der Sportwissenschaft WS 2007/08 Theorie M. Ed.: Gym 60 KP Aufbau AM 2a Diagnose und Intervention 6 KP AM 1 Aneignung und Vermittlung 9 KP BM 1 AM 5 Theorie und der Erfahrungsund
FHAM Übersicht Präsenzphasentermine Wintersemester 2012/13
FHAM Übersicht Präsenzphasentermine Wintersemester 22/3 Präsenzphasen WS 2/3. Mathe-Vorkurs: 4.9. und 5.9. Phase: 8.9 bis 22.9.2 2.9 2. Phase: 3.. bis 7..2. 3. Phase: 7.. bis 2..2. Einschreibetag in Erding
Computeranwendung in der Chemie Informatik für Chemiker(innen) 3. Software
Computeranwendung in der Chemie Informatik für Chemiker(innen) 3. Software Jens Döbler 2003 "Computer in der Chemie", WS 2003-04, Humboldt-Universität VL3 Folie 1 Grundlagen Software steuert Computersysteme
Einführung in die objektorientierte Programmierung. mit Squeak
Einführung in die objektorientierte Programmierung mit Squeak Quellen Squeak Object-Oriented Design with Multimedia Applications, Mark Guzdial, 2001, Prentice Hall http://people.freenet.de/deckard73/page
- - CodE 11 CodE 0 0 0 0 0 0 0 0 2.o C 1 10.0 C 2 off 3 3.0 4 2.0 5 off 6 1 8 20.0 9 60 C 7 4.0 10 80 C 1 38 C 12 8 k 13 on 14 30.0 15 10 16 - - CodE 11 CodE 0 0 0 0 0 0 0 0 2.o C 1 10.0 C 2
Objektorientiertes Software-Engineering
Objektorientiertes Software-Engineering TIT99BPE/TIT99CPE BA Mannheim WS 2001/2 F. Schönleber Organisatorisches Kurs 1: TIT99BPE 6.Studienhalbjahr Termin Mo. 13.00 14.30 Raum: 037B Kurs 1: TIT99CPE 6.Studienhalbjahr
5. Tutorium zu Programmieren
5. Tutorium zu Programmieren Dennis Ewert Gruppe 6 Universität Karlsruhe Institut für Programmstrukturen und Datenorganisation (IPD) Lehrstuhl Programmierparadigmen WS 2008/2009 c 2008 by IPD Snelting
Moderne Entwicklungsumgebungen am Beispiel von.net
Moderne Entwicklungsumgebungen am Beispiel von.net Prof. Dr. Walter F. Tichy Dipl.-Inform. Philip Pfaffe IPD Tichy Lehrstuhl für Programmiersysteme KIT die Kooperation von Forschungszentrum Karlsruhe GmbH
Proseminar Programming Languages from Hell
TECHNISCHE UNIVERSITÄT MÜNCHEN LEHRSTUHL SPRACHEN UND BESCHREIBUNGSSTRUKTUREN Proseminar Programming Languages from Hell Organisatorisches Andrea Flexeder Sommersemester 2010 Andrea Flexeder (TUM) Proseminar
BACHELORSTUDIENGANG BILDUNG AN GRUNDSCHULEN PO 2015 AMTLICHES MITTEILUNGSBLATT 22/2015 Lehrveranstaltungsnachweis/Deutsch
MODUL 1 Grundlagen und Konzeptionen der Didaktik des Lernbereichs Deutsch in der Grundschule (POS: 2130) Obligatorische POS- LV-, LV-Typ Bezeichnung der Lehrveranstaltung WS o. SS Einführung in die VL
Systemtheorie 1. Einführung Systemtheorie 1 Formale Systeme 1 # WS 2006/2007 Armin Biere JKU Linz Revision: 1.4
Einführung intro 1 Grobklassifizierung r Methoden in der Informatik intro 2 Systemtheorie 1 Systeme 1 #342234 http://fmv.jku.at/fs1 WS 2006/2007 Johannes Kepler Universität Linz, Österreich Univ. Prof.
Bachelor- und Masterstudiengang Soziologie an der FSU Jena. Stefan Jahr Markus Ganter
Bachelor- und Masterstudiengang Soziologie an der FSU Jena Stefan Jahr Markus Ganter Inhalt Zugangsvoraussetzungen Kern- und Ergänzungsfächer Studiumsaufbau Studiumsablauf Zugangsvoraussetzungen Abitur,
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
Automatisierte Bewertung von Programmieraufgaben Dr. Michael Striewe Universität Duisburg-Essen
Automatisierte Bewertung von Programmieraufgaben Dr. Michael Striewe Universität Duisburg-Essen Über 50 Jahre Forschung Automatische Bewertung von Programmieraufgaben hat eine sehr lange Forschungstradition:
Programmieren I. Überblick. www.kit.edu. Institut für Angewandte Informatik
Programmieren I Überblick KIT Universität des Landes Baden-Württemberg und nationales Großforschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu Übersicht Programmieren Programmieren I (1. Semester)
Vorlesung 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?
Willkommen an der ETH Zürich
Willkommen an der ETH Zürich Willkommen in der Informatik Gustavo Alonso, Studiendirektor,, ETH Zürich 04.11.2015 2 Informatik @ ETH seit 60 Jahren Wann Was 1948 Institut für angewandte Mathematik 1950
PSE: Analysesoftware für Logistiknetzwerke
PSE: Analysesoftware für Logistiknetzwerke Phase 1 Das Pflichtenheft,, Lehrstuhl Prof. Böhm KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu
Programmieren I. Überblick. www.kit.edu. Institut für Angewandte Informatik
Programmieren I Überblick KIT Universität des Landes Baden-Württemberg und nationales Großforschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu Übersicht Programmieren Programmieren I (1. Semester)
Grundlagen des Software Engineering
Gustav Pomberger und Günther Blaschek Grundlagen des Software Engineering Prototyping und objektorientierte Software-Entwicklung Mit 101 Abbildungen Technische Universität Darmstadt FACHBEREICH INFORMATIK
Vorlesung Programmieren
Vorlesung Programmieren 14 Parsen, Suchen und Sortieren 19./26.01.2015 Prof. Dr. Ralf H. Reussner Version 1.0 LEHRSTUHL FÜR SOFTWARE-DESIGN UND QUALITÄT (SDQ) INSTITUT FÜR PROGRAMMSTRUKTUREN UND DATENORGANISATION
Stunden- und Studienplanbau Informationsveranstaltung der Fachgruppe Informatik
Stunden- und Studienplanbau Informationsveranstaltung der Fachgruppe Informatik 22.10.2013 Ablauf des heutigen Tages 09:45 Frühstück IZ Plaza Jetzt Stunden- und Studienplanbau IZ 160 ca. 13:00 Campusführung
Studiengang der meisten Studenten: Bachelor Physik Fachsemester: Die meisten Studenten kamen aus dem 6. Semester, Mittelwert: 4.9
ausgewertete Bögen: 18 Auswertung der Evaluation von Übungen im SS 11 Vorlesung: Einführung in Quantenfeldtheorien Veranst.-Nr.: 5-23-2311 Dozent: PD Dr. Buballa, Michael Studiengang der meisten Studenten:
Praktikumsvorstellung
LUDWIG- MAXIMILIANS- UNIVERSITY MUNICH DEPARTMENT INSTITUTE FOR INFORMATICS DATABASE SYSTEMS GROUP MUNICH NETWORK MANAGEMENT TEAM Veranstaltungsvorschau für das Wintersemester 2009/2010 Praktikumsvorstellung
Studienplan FIW 15.06.2015. Bachelor Wirtschaftsinformatik 2015ws. Winf 1 AWPM (sem. Unterricht) 4 5 regelt FANG regelt FANG.
15.06.2015 Bachelor Wirtschaftsinformatik 2015ws Winf 1 AWPM (sem. 4 5 regelt FANG regelt FANG Winf 1 Grundlagen der Wirtschaftsinformatik (sem. Winf 1 Grundlagen der Wirtschaftswissenschaften (sem. 4
52 Bachelorstudiengang IT-Produktmanagement
52 Bachelorstudiengang IT-Produktmanagement (1) Im Studiengang IT-Produktmanagement umfasst das Grundstudium zwei Lehrplansemester, das Hauptstudium fünf Lehrplansemester. (2) Der Gesamtumfang der für
Objektorientierte Analyse und Design
Objektorientierte Analyse und Design Hochschule Darmstadt Fachbereich Informatik Prof. Dr. Ralf Hahn, OOAD - Organisatorisches, SS2015, h_da, Fachbereich Informatik 1 Name Prof. Dr. Ralf Hahn Aufgabe Lehre
Aufbau des Lehramtsstudienganges Latein für Gymnasium
Vorwort Im Studiengang Lehramt Latein für Gymnasium erwerben die Studierenden die Befähigung zum das Fach Latein zu unterrichten. Dazu werden ihnen Kenntnisse, Fähigkeiten und Methoden im wissenschaftlichen
Anorganisch-chemischen Praktikum Teil I (5048/5049) für CIW WS 2016/17 ( )
Anorganisch-chemischen Praktikum Teil I (5048/5049) für CIW WS 2016/17 (23.03. 11.04.) INSTITUT FÜR ANORGANISCHE CHEMIE [email protected] CN, Geb. 441/1, R 201 Tel. +49 721 608 28520 Dr. Sonia Dsoke
B.A.-Fach VWL und Wirtschaftsgeschichte Studienverlaufsplan. Grafische Darstellung der Module, Prüfungen und Lehrveranstaltungen
B.A.-Fach VWL und Wirtschaftsgeschichte Studienverlaufsplan Grafische Darstellung der Module, Prüfungen und Lehr- und Forschungsgebiet Wirtschafts- und Sozialgeschichte RWTH Aachen www.wiso.rwth-aachen.de
Umstellung der Master-Wahlpflichtmodule am Lehrstuhl für BWL, insb. Organisation und Personal
Umstellung der Master-Wahlpflichtmodule am Lehrstuhl für BWL, insb. Organisation und Personal In den nächsten Semestern wird sich das Angebot des Lehrstuhls in den Master- Wahlpflichtmodulen ändern (vorbehaltlich
Modulvorstellung Modul B-PM3 Entwicklung und Konstruktion
Modulvorstellung Modul B-PM3 Entwicklung und Konstruktion Sebastian Mangold 14.07.2015 IPEK Institute of Product Engineering 1 KIT University 14.07.2015 of the State Sebastian of Baden-Wuerttemberg Mangold
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
Campus Routenplaner. Praxis der Software-Entwicklung. www.kit.edu. Einführung 27. April, 2015 Michael Hamann Franziska Wegner
Campus Routenplaner Praxis der Software-Entwicklung Einführung 27. April, 2015 Michael Hamann Franziska Wegner INSTITUT FÜR THEORETISCHE INFORMATIK PROF. DR. DOROTHEA WAGNER KIT Universität des Landes
Kontakt. Programmierkurs. Webseite. Ziel des Kurses
Kontakt Programmierkurs Birgit Engels, Anna Schulze ZAIK Universität zu Köln WS 07/08 Vorlesung: Mittwochs 14:00-16:00 Uhr Hörsaal I der Physik Sprechstunde: nach Vereinbarung Weyertal 80 Dachgeschoss
Praktikum zu Einführung in die Informatik für LogWings und WiMas Wintersemester 2013/14
Praktikum zu Einführung in die Informatik für LogWings und WiMas Wintersemester 2013/14 Fakultät für Informatik Lehrstuhl 1 Dr. Lars Hildebrand Iman Kamehkhosh, Marcel Preuÿ, Henning Timm Übungsblatt 2
URL: http://www.swt.tu-berlin.de/menue/studium_und_lehre/aktuelles_semester/ Modulbeschreibung
Titel des Moduls: Softwarequalität - Praxis Engl.: Applied Software Quality Verantwortlich für das Modul: Jähnichen, Stefan E-Mail: [email protected] Modulbeschreibung LP (nach ): 3 URL: http://www.swt.tu-berlin.de/menue/studium_und_lehre/aktuelles_semester/
Grundbegriffe der Informatik Tutorium 12
Grundbegriffe der Informatik Tutorium 12 Tutorium Nr. 16 Philipp Oppermann 28. Januar 2015 KARLSRUHER INSTITUT FÜR TECHNOLOGIE KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum
Angewandte Informatik - Ingenieurinformatik, Bachelor of Science
Universität Duisburg-Essen, Vorlesungsverzeichnis () Vinck Vinck Wiss. Mitarb. Hoeppner Hoeppner Angewandte Informatik - Ingenieurinformatik, Bachelor of Science 1. Fachsemester Digitaltechnische Grundlagen
Datenbanken Datenbanken 1 Belegnummer Belegnummer
Datenbanken Datenbanken 1 Belegnummer 30.7302 Belegnummer 30.7312 Blockkurs 31.08. 11.09.2015 Wintersemester 2015/16 (Bachelor) Materialien zur Vorlesung Michael Roth Inge Hochschule Darmstadt Fachbereich
Vorlesung 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?
Grundlagen der Programmierung II (GP 2)
Grundlagen der Programmierung II (GP 2) [email protected] SS 2008 Wesentliche Teile des Materials dieser Vorlesung wurden mir freundlicherweise von meinen Kollegen Prof. Dr. Uwe Kastens, Prof. Dr. Gerd Szwillus
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
Vorkurs Informatik WiSe 15/16
Java 1 Dr. Werner Struckmann / Stephan Mielke, Jakob Garbe, 12.10.2015 Technische Universität Braunschweig, IPS Überblick Organisatorisches Arbeitsablauf Hello! 12.10.2015 Dr. Werner Struckmann / Stephan
Vorlesung 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
Medientheorie und -praxis (MTP) Ergänzendes Wahlpflichtfach
Medientheorie und -praxis (MTP) Ergänzendes Wahlpflichtfach Erstsemesterbegrüßung WS 2016/17 Szilvia Gellai M.A. und Dominik Schrey M.A. KIT Die Forschungsuniversität in der Helmholtz-Gemeinschaft www.kit.edu
Programmieren I. Die Programmiersprache Java. www.kit.edu. Institut für Angewandte Informatik
Programmieren I Die Programmiersprache Java KIT Universität des Landes Baden-Württemberg und nationales Großforschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu Eigenschaften von Java Java ist eine
Grundlagen der Programmierung
Grundlagen der Programmierung Wintersemester 2015 / 2016 Prof. Klaus Bothe K. Bothe, Institut für Informatik, HU Berlin, GdP, WS 2015/16 Version: 14. Okt. 2015 Gliederung der Vorlesung Teil I: Grundlagen
Kräfte. Vorlesung und Übungen 1. Semester BA Architektur. Institut Entwerfen und Bautechnik, Fachgebiet Bautechnologie/Tragkonstruktionen
Kräfte Vorlesung und Übungen 1. Semester BA Architektur Institut Entwerfen und Bautechnik, / KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft
Achtjähriges Gymnasium. Informatik
Achtjähriges Gymnasium Informatik Der Beitrag des Faches Informatik zur Erreichung der Zielsetzung des Gymnasiums Die Entwicklung sehr komplexer und effizienter Informations- und Kommunikationssysteme
Hidden Champions: Angebot Wintersemester 2014/15
: Angebot Wintersemester 2014/15 Karlsruher Institut für Technologie (KIT) Relationship Management KIT Company & Career Service KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum
Vorlesung Nebenläufige und verteilte. - Blended Learning Prof. Dr. Klaus-Peter Fähnrich / Thomas Riechert
Vorlesung Nebenläufige und verteilte Programmierung - Blended Learning Prof. Dr. Klaus-Peter Fähnrich / Thomas Riechert WS 2005/2006 1 Vorlesungen der Abteilung im WS 05/06 / ebusiness2 Schwerpunkt: Praktische
Studiengang Chemie - Bachelor
Studiengang Chemie - Bachelor F-Module / Bachelorarbeit KIT Universität des Landes Baden-Württemberg und nationales Großforschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu Studienablauf Bachelor
Warum JavaScript? Vorwort
Vorwort Programmieren ist die Kunst, Computer dazu zu bringen, das zu machen, was du willst! Das machst du mit einer Programmiersprache, mit der du aufschreibst, was der Computer tun soll. Programmieren
Einführung in die Informatik für Nebenfach. Einleitung
Einführung in die Informatik für Nebenfach Einleitung Organisatorisches, Motivation, Herangehensweise Wolfram Burgard 1 Vorlesung Zeit und Ort: Di+Do 11.00 13.00 Uhr, Gebäude 086, Raum 00-006 Dozent: Prof.
Prüfungsplan Master of Science in Wirtschaftsinformatik
Prüfungsplan Master of Science in Wirtschaftsinformatik Modul Art Creditpunkte Schwerpunkt Very Large Business Applications Module aus dem Bereich Wirtschaftsinformatik SWS Empfohlenes Semester Prüfungsart
Webbasierte Programmierung
Webbasierte Programmierung Eine Einführung mit anschaulichen Beispielen aus der HTML5-Welt apl. Prof. Dr. Achim Ebert Inhalt Kapitel 0: Organisation Allgemeine Informationen Wer sind wir? Anforderungen
Modultabelle. Masterstudiengänge Wirtschaftsinformatik (90 ECTS-Punkte und 120 ECTS-Punkte) Fakultät Wirtschaftsinformatik und Angewandte Informatik
Otto-Friedrich-Universität Bamberg Modultabelle Masterstudiengänge Wirtschaftsinformatik (90 ECTS-Punkte und 120 ECTS-Punkte) Fakultät Wirtschaftsinformatik und Angewandte Informatik Stand: Wintersemester
an der Julius-Maximilians-Universität Würzburg Vom 10. Juli 2014 (Fundstelle:
Satzung zur Änderung der Fachspezifischen Bestimmungen für das Studienfach Human-Computer Interaction mit dem Abschluss Master of Science (Erwerb von 120 n) an der Julius-Maximilians-Universität Würzburg
FHAM Übersicht Präsenzphasentermine Sommersemester 2013
Mathe-Vorkurs: 15.03. und 16.03.2013 3. Phase: 01.07. bis 06.07.2013 Einschreibetag in Erding für das 1. Sem. Master Wirtschaftspsychologie: Freitag, 22.3.2013 (10.00 bis 15.00 Uhr) I 1. Phase: 02.04.
Fachgruppe Informatik. Anwendungsfächer. im Bachelor-Studiengang Informatik. Fachstudienberatung Bachelor Informatik Dr.
Fachgruppe Informatik in der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen Einführungsveranstaltung zur Wahl der Anwendungsfächer im Bachelor-Studiengang Informatik Fachstudienberatung
Prof. Dr. Gabriele Taentzer, Dr. Thorsten Arendt
Neue Trends in der Eclipse-Technologie (Seminar WS 2014/15) Prof. Dr. Gabriele Taentzer, Dr. Thorsten Arendt Vorbesprechung, Dienstag, 14. Oktober 2014 ORGANISATION (TEIL 1) 2 Thorsten Arendt: Seminar
Bachelor of Science Mensch-Computer-Systeme Infos zum Start des Studiums
Bachelor of Science Mensch-Computer-Systeme Infos zum Start des Studiums Lehrstuhl Human-Computer Interaction Prof. Dr. Marc Erich Latoschik Lehrstuhl Psychologische Ergonomie Prof. Dr. Jörn Hurtienne
Personal- und Organisationsentwicklung für Hochschulen und angewandte Wissenschaften
Personal- und Organisationsentwicklung für Hochschulen und angewandte Wissenschaften Werkstattbericht 1: Personalentwicklung im KIT Dr. Anke Diez KIT Universität des Landes Baden-Württemberg und nationales
Moderne Entwicklungsumgebungen am Beispiel von.net
Moderne Entwicklungsumgebungen am Beispiel von.net Prof. Dr. Walter F. Tichy Dipl.-Inform. Korbinian Molitorisz Ma. Sc. Ali Jannesari IPD Tichy Lehrstuhl für Programmiersysteme KIT die Kooperation von
Studiengänge Ingenieurpädagogik Bachelor of Science / Master of Science
Dipl.-Ing.-Päd. Eike Zimpelmann Institut für Berufspädagogik und Allgemeine Pädagogik Internet: http://www.ibp.kit.edu/ Studiengänge Ingenieurpädagogik Bachelor of Science / Master of Science KIT Universität
Prüfungen im Wintersemester 2015/16. Medizintechnik (80/1) Medizintechnik (80/2)
Prüfungen im Wintersemester 2015/16 Medizintechnik (80/1) Medizintechnik (80/2) Übersicht über die angebotenen Prüfungen zu benoteten Prüfungsleistungen inkl. zugelassene Hilfsmittel für schriftliche Prüfungen
Innere Beanspruchungen - Schnittgrößen
Innere Beanspruchungen - Schnittgrößen Vorlesung und Übungen 1. Semester BA Architektur Q () M () M () Q () N () N () L - KIT Universität des Landes Baden-Württemberg und nationales orschungszentrum in