$FILE

15

VORLESUNG im WINTERSEMESTER 2020

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 2020:  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) bzw. (PDF-Format, 1 Folie/Blatt)

Java-Klassen zur betreuten Rekursion/Backtracking: recursion.tar.gz



E.G. Schukat-Talamazzini Institut für Informatik Fakultät Mathe/Inf FSU Jena 11.09.2020 - 11:57 E-Mail