$FILE

15

VORLESUNG im WINTERSEMESTER 2017

Prof. Dr. E.G. Schukat-Talamazzini


Kap. Laden! Titel Inhalte
00 \epsfig{file=/home/schukat/tex/logos/down.ps,height=3ex,width=5em} Zur Vorlesung Winter 2017:  Prüfung, Termine · Inhaltsübersicht · Literatur
I. GRUNDBEGRIFFE DER INFORMATIK
01 \epsfig{file=/home/schukat/tex/logos/down.ps,height=3ex,width=5em} Was ist Informatik? Geschichte · Grundbegriffe · Informationssystem · Programmierung
02 \epsfig{file=/home/schukat/tex/logos/down.ps,height=3ex,width=5em} Rechner HW/SW von Neumann-Rechnerkern · Softwareschichten · elementare/komplexe Datentypen
03 \epsfig{file=/home/schukat/tex/logos/down.ps,height=3ex,width=5em} Algorithmen Definition · Kontrollstrukturen · Eigenschaften · Beschreibung · Textersetzungssysteme
04 \epsfig{file=/home/schukat/tex/logos/down.ps,height=3ex,width=5em} Syntax & Semantik Syntax, CFG, Backus-Naur · Semantik, Wert & Wirkung · Ausdrücke · Programmierparadigmen
II. SPRACHKONZEPTE IN JAVA
05 \epsfig{file=/home/schukat/tex/logos/down.ps,height=3ex,width=5em} Ausdrücke in Java Bezeichner · Literale · arithmetische/logische Operatoren · Auswertung/Vorrang · Typsystem, Konversion
06 \epsfig{file=/home/schukat/tex/logos/down.ps,height=3ex,width=5em} Anweisungen in Java Block · Verzweigung · Wiederholung · Sprung · Funktionsdeklaration/aufruf, Überladen · Feld & Referenz
07 \epsfig{file=/home/schukat/tex/logos/down.ps,height=3ex,width=5em} Programmieren mit Klassen Klassen, Objekte · Selektoren · Konstruktoren · Sichtbarkeit, Ausnahmen · Zahlen, Zeichen
08 \epsfig{file=/home/schukat/tex/logos/down.ps,height=3ex,width=5em} OO-Programmierung Entwurf · Ableiten, Vererben · Verdecken, Überschreiben · abstrakte Klasse, Interface · Generics, anonyme K&M
III. METHODEN DER PROGRAMMENTWICKLUNG
09 \epsfig{file=/home/schukat/tex/logos/down.ps,height=3ex,width=5em} Rekursion & Iteration Rekursionsform · Effizienz · Divide+Conquer · Greedy/DP/Backtracking · Sortieren · Suchen
10 \epsfig{file=/home/schukat/tex/logos/down.ps,height=3ex,width=5em} Programmverifikation Spezifikation, Zusicherung · Floyd-Invariante · Hoare-Kalkül · WP/Dijkstra

(PDF-Format, 4 Folien/Blatt)



E.G. Schukat-Talamazzini Institut für Informatik Fakultät Mathe/Inf FSU Jena 18.08.2017 - 12:46 E-Mail