Informatik II Übung 01. Benjamin Hepp 8 March 2017

Transkript

1 Informatik II Übung 01 Benjamin Hepp 8 March 2017

2 Administratives Gruppe 03 Ort: IFW B 42 Zeit: Mittwoch um 13:15 (45 Minuten) Keine Uebung an Ostern ( ) Buch und Skript: Folien und Infos online Kein Java-Kurs, sondern Algorithmen und Datenstrukturen Mark Allen Weiss Data structures and problem solving using Java Bruce Eckel Thinking in Java (online erhältlich) 8 March 2017 Informatik II - Übung 01 2

3 Gruppe 8 Nachname Rufname Nummer Departement Studiengang Bachmann Michael michabac@student.ethz.ch D-ITET Elektrotech. + Inf.tech. BSc Bozin Dejan bozind@student.ethz.ch D-ITET Elektrotech. + Inf.tech. BSc Fiorio Giulia fioriog@student.ethz.ch D-ITET Elektrotech. + Inf.tech. BSc Frouzakis Emmanouil frouzake@student.ethz.ch D-ITET Elektrotech. + Inf.tech. BSc Hartnik Christian hartnikc@student.ethz.ch D-ITET Elektrotech. + Inf.tech. BSc Hauttmann Ventura Rodrigues Andrà andrerod@student.ethz.ch D-ITET Elektrotech. + Inf.tech. BSc Kiener Viktoria vkiener@student.ethz.ch D-ITET Elektrotech. + Inf.tech. BSc Kiesewalter Daniel daniekie@student.ethz.ch D-ITET Elektrotech. + Inf.tech. BSc Klossner Melanie kmelanie@student.ethz.ch D-ITET Elektrotech. + Inf.tech. BSc Lang Adrian langad@student.ethz.ch D-ITET Elektrotech. + Inf.tech. BSc Meisser Kirill kushakov@student.ethz.ch D-ITET Elektrotech. + Inf.tech. BSc Merholz Leo merholzl@student.ethz.ch D-ITET Elektrotech. + Inf.tech. BSc Murtezi Urtim umurtezi@student.ethz.ch D-ITET Elektrotech. + Inf.tech. BSc Nguyen Tri Bao nguyentr@student.ethz.ch D-ITET Elektrotech. + Inf.tech. BSc Nikic Marko nikicm@student.ethz.ch D-ITET Elektrotech. + Inf.tech. BSc Osmani Florina osmanif@student.ethz.ch D-ITET Elektrotech. + Inf.tech. BSc Schneuwly Andreas schneuan@student.ethz.ch D-ITET Elektrotech. + Inf.tech. BSc Senti Raffael rasenti@student.ethz.ch D-ITET Elektrotech. + Inf.tech. BSc Vogt Julia jvogt@student.ethz.ch D-ITET Elektrotech. + Inf.tech. BSc Wagner Michael micwagne@student.ethz.ch D-ITET Elektrotech. + Inf.tech. BSc 8 March 2017 Informatik II - Übung 01 3

4 Aufgaben Insgesamt 12 Aufgabenblätter Kein Testat / keine Verpflichtung fuer die Uebungen Aber: starke Korrelation mit Uebungen und Examen Aufgaben werden auf gestellt Lösung von Serie n-1 an Übungsstunde n Hinweise zu Serie n an Übungsstunde n Abgabe am folgenden Dienstag ueber Codeboard auf Wichtig: Kommentiert eure Loesungen! 8 March 2017 Informatik II - Übung 01 4

5 Ablauf Uebungsstunde Evtl. Besprechung von Vorlesungsinhalten Hinweise zur naechsten Uebung Nachbesprechung der letzten Uebung Wenn ihr Fragen habt wartet damit nicht bis zum Ende! 8 March 2017 Informatik II - Übung 01 5

6 8 March 2017 Informatik II - Übung 01 6

7 Hinweise zu U0 8 March 2017 Informatik II - Übung 01 7

8 Hinweise zu U1 A1: Terminierung und Korrektheit von Algorithmen A2: Aufwandabschätzung A3: Java: Ausnahmen, Unit-Tests und Dokumentierung 8 March 2017 Informatik II - Übung 01 8

9 Hinweise zu U1.A1 Altägyptische Multiplikation -rekursiver Algorithmus für a,b positive ganze Zahlen -Korrektheit per Induktion bewiesen 8 March 2017 Informatik II - Übung 01 9

10 Hinweise zu U1.A1 Vollständige Induktion 1.Induktionsanfang: Zeige, dass der Satz für einen Bestimmten Wert wahr ist (für den kleinsten Fall, base case, z.b. b=1) 2. Induktionshypothese: Nehmen wir an, dass der Satz für n (b=n) wahr ist 3. Induktionsschritt: Beweisen wir, dass wenn der Satz für b=n gilt, gilt auch für b=n+1 (durch algebraische Umformulierung) àsiehe Vorlesung 8 March 2017 Informatik II - Übung 01 10

11 Hinweise zu U1.A1 Teilaufgaben: a) Testet Induktion über a b) Terminiert der Algorithmus? Beweis? c) Nachdenken mit kleinstem Fall b=0 8 March 2017 Informatik II - Übung 01 11

12 Hinweise zu U1.A2 Abschätzung von Rechenaufwand a) Aufwandabschätzung von: gerade(int x) verdopple(int x) halbiere(int x) b) Aufwandabschätzung einer einzigen Instanz von f(int a, int b) Resultat soll ein Ausdruck von a und b sein c) Gesamtzahl aller Methodenaufrufe von f(int a, int b) verwende Resultat aus b) Hint: Umformulierung mit geometrischen Reihen Wie viele rekursiven Aufrufe gibt es? 8 March 2017 Informatik II - Übung 01 12

13 Hinweise zu U1.A3 Überprüfung von Benutzereingaben In mult Methode à throw new IllegalArgumentException( ) Tutorial on Exceptions: JUnit Besprechen wir noch Javadoc Besprechen wir noch 8 March 2017 Informatik II - Übung 01 13

14 Nachbesprechung U0 8 March 2017 Informatik II - Übung 01 14

15 Lösung U0.A4a und U0.A4b 8 March 2017 Informatik II - Übung 01 15

16 Lösung U0.A4c Maximale Anzahl von Umschüttungen: 6 (siehe Graph) Mittlere Anzahl von Umschüttungen: 8 March 2017 Informatik II - Übung 01 16

17 Java und Eclipse 8 March 2017 Informatik II - Übung 01 17

18 Java, Eclipse, JUnit Java overview Eclipse JUnit tutorial 8 March 2017 Informatik II - Übung 01 18

19 Java Installation Java SE Java Platform, Standard Edition Java SE 8 Update 66 Java Development Kit (JDK) das JDK Paket enthält auch das Java Runtime Environment (JRE) java -version 8 March 2017 Informatik II - Übung 01 19

20 Java files.java files sind Quellcode.class (Bytecode) files werden aus.java files von den Compiler erzeugt.jar (Java Archive) files sind Bibliotheken Java source code Ein Java Programm läuft prinzipiell auf allen gängigen Computern und Betriebssystemen (PC, Server, Mobiltelefon, Linux, Windows, etc..) Browser mit integrierter VM Java bytecode Betriebssystem mit VM VM in speziellen VLSI-chip Bytecode wird in einer virtuellen Machine (VM) interpretiert. Alle VMs sprechen die gleiche Sprache, die Bytecode. Internet-PC Spiel-Konsole Mobiltelefon Waschmaschine Kreditkarte 8 March 2017 Informatik II - Übung 01 20

21 Eclipse Demo 8 March 2017 Informatik II - Übung 01 21