Diese Seite auf DE

Event

Exercises to Foundations of Informatics I [SS202511011]

Type

exercise (Ü)

Term

SS 2020

SWS

Language

Deutsch

Appointments

292

Links

https://ilias.studium.kit.edu/goto_produktiv_crs_522171.html
ILIAS

Lecturers

Organisation

Web Science

Part of

Literature

H. Balzert. Lehrbuch Grundlagen der Informatik. Spektrum Akademischer Verlag 2004.
U. Schöning. Logik für Informatiker. Spektrum Akademischer Verlag 2000.
T. H. Cormen, C. E. Leiserson. Introduction to Algorithms, MIT Press 2001.

Appointments

20.04.2020 08:00 - 09:30 - Room: 05.20 1C-04
20.04.2020 11:30 - 13:00 - Room: 05.20 1C-02
20.04.2020 14:00 - 15:30 - Room: 05.20 1C-01
20.04.2020 14:00 - 15:30 - Room: 05.20 1C-03
20.04.2020 15:45 - 17:15 - Room: 05.20 1C-01
20.04.2020 15:45 - 17:15 - Room: 05.20 1C-03
21.04.2020 08:00 - 09:30 - Room: 05.20 1C-04
21.04.2020 14:00 - 15:30 - Room: 05.20 1C-01
21.04.2020 14:00 - 15:30 - Room: 05.20 1C-03
21.04.2020 17:30 - 19:00 - Room: 11.40 Raum -116
22.04.2020 08:00 - 09:30 - Room: 05.20 1C-03
22.04.2020 08:00 - 09:30 - Room: 05.20 1C-02
22.04.2020 09:45 - 11:15 - Room: 05.20 1C-03
22.04.2020 09:45 - 11:15 - Room: 05.20 1C-03
22.04.2020 09:45 - 11:15 - Room: 05.20 1C-03
23.04.2020 08:00 - 09:30 - Room: 05.20 1C-01
23.04.2020 09:45 - 11:15 - Room: 05.20 1C-01
23.04.2020 17:30 - 19:00 - Room: 05.20 1C-03
24.04.2020 08:00 - 09:30 - Room: 05.20 1C-02
24.04.2020 11:30 - 13:00 - Room: 05.20 1C-02
24.04.2020 14:00 - 15:30 - Room: 05.20 1C-02
27.04.2020 08:00 - 09:30 - Room: 05.20 1C-04
27.04.2020 11:30 - 13:00 - Room: 05.20 1C-02
27.04.2020 14:00 - 15:30 - Room: 05.20 1C-01
27.04.2020 14:00 - 15:30 - Room: 05.20 1C-03
27.04.2020 15:45 - 17:15 - Room: 05.20 1C-01
27.04.2020 15:45 - 17:15 - Room: 05.20 1C-03
28.04.2020 08:00 - 09:30 - Room: 05.20 1C-04
28.04.2020 14:00 - 15:30 - Room: 05.20 1C-01
28.04.2020 14:00 - 15:30 - Room: 05.20 1C-03
28.04.2020 17:30 - 19:00 - Room: 11.40 Raum -116
29.04.2020 08:00 - 09:30 - Room: 05.20 1C-02
29.04.2020 08:00 - 09:30 - Room: 05.20 1C-03
29.04.2020 09:45 - 11:15 - Room: 05.20 1C-03
29.04.2020 09:45 - 11:15 - Room: 05.20 1C-03
29.04.2020 09:45 - 11:15 - Room: 05.20 1C-03
29.04.2020 15:45 - 17:15 - Room: 05.20 1C-03
30.04.2020 08:00 - 09:30 - Room: 05.20 1C-01
30.04.2020 09:45 - 11:15 - Room: 05.20 1C-01
30.04.2020 17:30 - 19:00 - Room: 05.20 1C-03
04.05.2020 08:00 - 09:30 - Room: 05.20 1C-04
04.05.2020 11:30 - 13:00 - Room: 05.20 1C-02
04.05.2020 14:00 - 15:30 - Room: 05.20 1C-03
04.05.2020 14:00 - 15:30 - Room: 05.20 1C-01
04.05.2020 15:45 - 17:15 - Room: 05.20 1C-01
04.05.2020 15:45 - 17:15 - Room: 05.20 1C-03
05.05.2020 08:00 - 09:30 - Room: 05.20 1C-04
05.05.2020 14:00 - 15:30 - Room: 05.20 1C-01
05.05.2020 14:00 - 15:30 - Room: 05.20 1C-03
05.05.2020 17:30 - 19:00 - Room: 11.40 Raum -116
06.05.2020 08:00 - 09:30 - Room: 05.20 1C-03
06.05.2020 08:00 - 09:30 - Room: 05.20 1C-02
06.05.2020 09:45 - 11:15 - Room: 05.20 1C-03
06.05.2020 09:45 - 11:15 - Room: 05.20 1C-03
06.05.2020 09:45 - 11:15 - Room: 05.20 1C-03
06.05.2020 15:45 - 17:15 - Room: 05.20 1C-03
07.05.2020 08:00 - 09:30 - Room: 05.20 1C-01
07.05.2020 09:45 - 11:15 - Room: 05.20 1C-01
07.05.2020 17:30 - 19:00 - Room: 05.20 1C-03
08.05.2020 08:00 - 09:30 - Room: 05.20 1C-02
08.05.2020 11:30 - 13:00 - Room: 05.20 1C-02
08.05.2020 14:00 - 15:30 - Room: 05.20 1C-02
11.05.2020 08:00 - 09:30 - Room: 05.20 1C-04
11.05.2020 11:30 - 13:00 - Room: 05.20 1C-02
11.05.2020 14:00 - 15:30 - Room: 05.20 1C-01
11.05.2020 14:00 - 15:30 - Room: 05.20 1C-03
11.05.2020 15:45 - 17:15 - Room: 05.20 1C-01
11.05.2020 15:45 - 17:15 - Room: 05.20 1C-03
12.05.2020 08:00 - 09:30 - Room: 05.20 1C-04
12.05.2020 14:00 - 15:30 - Room: 05.20 1C-01
12.05.2020 14:00 - 15:30 - Room: 05.20 1C-03
12.05.2020 17:30 - 19:00 - Room: 11.40 Raum -116
13.05.2020 08:00 - 09:30 - Room: 05.20 1C-03
13.05.2020 08:00 - 09:30 - Room: 05.20 1C-02
13.05.2020 09:45 - 11:15 - Room: 05.20 1C-03
13.05.2020 09:45 - 11:15 - Room: 05.20 1C-03
13.05.2020 09:45 - 11:15 - Room: 05.20 1C-03
13.05.2020 15:45 - 17:15 - Room: 05.20 1C-03
14.05.2020 08:00 - 09:30 - Room: 05.20 1C-01
14.05.2020 09:45 - 11:15 - Room: 05.20 1C-01
14.05.2020 17:30 - 19:00 - Room: 05.20 1C-03
15.05.2020 08:00 - 09:30 - Room: 05.20 1C-02
15.05.2020 11:30 - 13:00 - Room: 05.20 1C-02
15.05.2020 14:00 - 15:30 - Room: 05.20 1C-02
18.05.2020 08:00 - 09:30 - Room: 05.20 1C-04
18.05.2020 11:30 - 13:00 - Room: 05.20 1C-02
18.05.2020 14:00 - 15:30 - Room: 05.20 1C-01
18.05.2020 14:00 - 15:30 - Room: 05.20 1C-03
18.05.2020 15:45 - 17:15 - Room: 05.20 1C-01
18.05.2020 15:45 - 17:15 - Room: 05.20 1C-03
19.05.2020 08:00 - 09:30 - Room: 05.20 1C-04
19.05.2020 14:00 - 15:30 - Room: 05.20 1C-01
19.05.2020 14:00 - 15:30 - Room: 05.20 1C-03
19.05.2020 17:30 - 19:00 - Room: 11.40 Raum -116
20.05.2020 08:00 - 09:30 - Room: 05.20 1C-02
20.05.2020 08:00 - 09:30 - Room: 05.20 1C-03
20.05.2020 09:45 - 11:15 - Room: 05.20 1C-03
20.05.2020 09:45 - 11:15 - Room: 05.20 1C-03
20.05.2020 09:45 - 11:15 - Room: 05.20 1C-03
20.05.2020 15:45 - 17:15 - Room: 05.20 1C-03
22.05.2020 08:00 - 09:30 - Room: 05.20 1C-02
22.05.2020 11:30 - 13:00 - Room: 05.20 1C-02
22.05.2020 14:00 - 15:30 - Room: 05.20 1C-02
25.05.2020 08:00 - 09:30 - Room: 05.20 1C-04
25.05.2020 11:30 - 13:00 - Room: 05.20 1C-02
25.05.2020 14:00 - 15:30 - Room: 05.20 1C-03
25.05.2020 14:00 - 15:30 - Room: 05.20 1C-01
25.05.2020 15:45 - 17:15 - Room: 05.20 1C-01
25.05.2020 15:45 - 17:15 - Room: 05.20 1C-03
26.05.2020 08:00 - 09:30 - Room: 05.20 1C-04
26.05.2020 14:00 - 15:30 - Room: 05.20 1C-03
26.05.2020 14:00 - 15:30 - Room: 05.20 1C-01
26.05.2020 17:30 - 19:00 - Room: 11.40 Raum -116
27.05.2020 08:00 - 09:30 - Room: 05.20 1C-02
27.05.2020 08:00 - 09:30 - Room: 05.20 1C-03
27.05.2020 09:45 - 11:15 - Room: 05.20 1C-03
27.05.2020 09:45 - 11:15 - Room: 05.20 1C-03
27.05.2020 09:45 - 11:15 - Room: 05.20 1C-03
27.05.2020 15:45 - 17:15 - Room: 05.20 1C-03
28.05.2020 08:00 - 09:30 - Room: 05.20 1C-01
28.05.2020 09:45 - 11:15 - Room: 05.20 1C-01
28.05.2020 17:30 - 19:00 - Room: 05.20 1C-03
29.05.2020 08:00 - 09:30 - Room: 05.20 1C-02
29.05.2020 11:30 - 13:00 - Room: 05.20 1C-02
29.05.2020 14:00 - 15:30 - Room: 05.20 1C-02
02.06.2020 08:00 - 09:30 - Room: 05.20 1C-04
02.06.2020 14:00 - 15:30 - Room: 05.20 1C-01
02.06.2020 14:00 - 15:30 - Room: 05.20 1C-03
02.06.2020 17:30 - 19:00 - Room: 11.40 Raum -116
03.06.2020 08:00 - 09:30 - Room: 05.20 1C-03
03.06.2020 08:00 - 09:30 - Room: 05.20 1C-02
03.06.2020 09:45 - 11:15 - Room: 05.20 1C-03
03.06.2020 09:45 - 11:15 - Room: 05.20 1C-03
03.06.2020 09:45 - 11:15 - Room: 05.20 1C-03
03.06.2020 15:45 - 17:15 - Room: 05.20 1C-03
04.06.2020 08:00 - 09:30 - Room: 05.20 1C-01
04.06.2020 09:45 - 11:15 - Room: 05.20 1C-01
04.06.2020 17:30 - 19:00 - Room: 05.20 1C-03
05.06.2020 08:00 - 09:30 - Room: 05.20 1C-02
05.06.2020 11:30 - 13:00 - Room: 05.20 1C-02
05.06.2020 14:00 - 15:30 - Room: 05.20 1C-02
08.06.2020 08:00 - 09:30 - Room: 05.20 1C-04
08.06.2020 11:30 - 13:00 - Room: 05.20 1C-02
08.06.2020 14:00 - 15:30 - Room: 05.20 1C-03
08.06.2020 14:00 - 15:30 - Room: 05.20 1C-01
08.06.2020 15:45 - 17:15 - Room: 05.20 1C-01
08.06.2020 15:45 - 17:15 - Room: 05.20 1C-03
09.06.2020 08:00 - 09:30 - Room: 05.20 1C-04
09.06.2020 14:00 - 15:30 - Room: 05.20 1C-03
09.06.2020 14:00 - 15:30 - Room: 05.20 1C-01
09.06.2020 17:30 - 19:00 - Room: 11.40 Raum -116
10.06.2020 08:00 - 09:30 - Room: 05.20 1C-02
10.06.2020 08:00 - 09:30 - Room: 05.20 1C-03
10.06.2020 09:45 - 11:15 - Room: 05.20 1C-03
10.06.2020 09:45 - 11:15 - Room: 05.20 1C-03
10.06.2020 09:45 - 11:15 - Room: 05.20 1C-03
10.06.2020 15:45 - 17:15 - Room: 05.20 1C-03
12.06.2020 08:00 - 09:30 - Room: 05.20 1C-02
12.06.2020 11:30 - 13:00 - Room: 05.20 1C-02
12.06.2020 14:00 - 15:30 - Room: 05.20 1C-02
15.06.2020 08:00 - 09:30 - Room: 05.20 1C-04
15.06.2020 11:30 - 13:00 - Room: 05.20 1C-02
15.06.2020 14:00 - 15:30 - Room: 05.20 1C-01
15.06.2020 14:00 - 15:30 - Room: 05.20 1C-03
15.06.2020 15:45 - 17:15 - Room: 05.20 1C-03
15.06.2020 15:45 - 17:15 - Room: 05.20 1C-01
16.06.2020 08:00 - 09:30 - Room: 05.20 1C-04
16.06.2020 14:00 - 15:30 - Room: 05.20 1C-03
16.06.2020 14:00 - 15:30 - Room: 05.20 1C-01
16.06.2020 17:30 - 19:00 - Room: 11.40 Raum -116
17.06.2020 08:00 - 09:30 - Room: 05.20 1C-03
17.06.2020 08:00 - 09:30 - Room: 05.20 1C-02
17.06.2020 09:45 - 11:15 - Room: 05.20 1C-03
17.06.2020 09:45 - 11:15 - Room: 05.20 1C-03
17.06.2020 09:45 - 11:15 - Room: 05.20 1C-03
17.06.2020 15:45 - 17:15 - Room: 05.20 1C-03
18.06.2020 08:00 - 09:30 - Room: 05.20 1C-01
18.06.2020 09:45 - 11:15 - Room: 05.20 1C-01
18.06.2020 17:30 - 19:00 - Room: 05.20 1C-03
19.06.2020 08:00 - 09:30 - Room: 05.20 1C-02
19.06.2020 11:30 - 13:00 - Room: 05.20 1C-02
19.06.2020 14:00 - 15:30 - Room: 05.20 1C-02
22.06.2020 08:00 - 09:30 - Room: 05.20 1C-04
22.06.2020 11:30 - 13:00 - Room: 05.20 1C-02
22.06.2020 14:00 - 15:30 - Room: 05.20 1C-01
22.06.2020 14:00 - 15:30 - Room: 05.20 1C-03
22.06.2020 15:45 - 17:15 - Room: 05.20 1C-01
22.06.2020 15:45 - 17:15 - Room: 05.20 1C-03
23.06.2020 08:00 - 09:30 - Room: 05.20 1C-04
23.06.2020 14:00 - 15:30 - Room: 05.20 1C-01
23.06.2020 14:00 - 15:30 - Room: 05.20 1C-03
23.06.2020 17:30 - 19:00 - Room: 11.40 Raum -116
24.06.2020 08:00 - 09:30 - Room: 05.20 1C-02
24.06.2020 08:00 - 09:30 - Room: 05.20 1C-03
24.06.2020 09:45 - 11:15 - Room: 05.20 1C-03
24.06.2020 09:45 - 11:15 - Room: 05.20 1C-03
24.06.2020 09:45 - 11:15 - Room: 05.20 1C-03
24.06.2020 15:45 - 17:15 - Room: 05.20 1C-03
25.06.2020 08:00 - 09:30 - Room: 05.20 1C-01
25.06.2020 09:45 - 11:15 - Room: 05.20 1C-01
25.06.2020 17:30 - 19:00 - Room: 05.20 1C-03
26.06.2020 08:00 - 09:30 - Room: 05.20 1C-02
26.06.2020 11:30 - 13:00 - Room: 05.20 1C-02
26.06.2020 14:00 - 15:30 - Room: 05.20 1C-02
29.06.2020 08:00 - 09:30 - Room: 05.20 1C-04
29.06.2020 11:30 - 13:00 - Room: 05.20 1C-02
29.06.2020 14:00 - 15:30 - Room: 05.20 1C-01
29.06.2020 14:00 - 15:30 - Room: 05.20 1C-03
29.06.2020 15:45 - 17:15 - Room: 05.20 1C-03
29.06.2020 15:45 - 17:15 - Room: 05.20 1C-01
30.06.2020 08:00 - 09:30 - Room: 05.20 1C-04
30.06.2020 14:00 - 15:30 - Room: 05.20 1C-01
30.06.2020 14:00 - 15:30 - Room: 05.20 1C-03
30.06.2020 17:30 - 19:00 - Room: 11.40 Raum -116
01.07.2020 08:00 - 09:30 - Room: 05.20 1C-03
01.07.2020 08:00 - 09:30 - Room: 05.20 1C-02
01.07.2020 09:45 - 11:15 - Room: 05.20 1C-03
01.07.2020 09:45 - 11:15 - Room: 05.20 1C-03
01.07.2020 09:45 - 11:15 - Room: 05.20 1C-03
01.07.2020 15:45 - 17:15 - Room: 05.20 1C-03
02.07.2020 08:00 - 09:30 - Room: 05.20 1C-01
02.07.2020 09:45 - 11:15 - Room: 05.20 1C-01
02.07.2020 17:30 - 19:00 - Room: 05.20 1C-03
03.07.2020 08:00 - 09:30 - Room: 05.20 1C-02
03.07.2020 11:30 - 13:00 - Room: 05.20 1C-02
03.07.2020 14:00 - 15:30 - Room: 05.20 1C-02
06.07.2020 08:00 - 09:30 - Room: 05.20 1C-04
06.07.2020 11:30 - 13:00 - Room: 05.20 1C-02
06.07.2020 14:00 - 15:30 - Room: 05.20 1C-03
06.07.2020 14:00 - 15:30 - Room: 05.20 1C-01
06.07.2020 15:45 - 17:15 - Room: 05.20 1C-03
06.07.2020 15:45 - 17:15 - Room: 05.20 1C-01
07.07.2020 08:00 - 09:30 - Room: 05.20 1C-04
07.07.2020 14:00 - 15:30 - Room: 05.20 1C-03
07.07.2020 14:00 - 15:30 - Room: 05.20 1C-01
07.07.2020 17:30 - 19:00 - Room: 11.40 Raum -116
08.07.2020 08:00 - 09:30 - Room: 05.20 1C-03
08.07.2020 08:00 - 09:30 - Room: 05.20 1C-02
08.07.2020 09:45 - 11:15 - Room: 05.20 1C-03
08.07.2020 09:45 - 11:15 - Room: 05.20 1C-03
08.07.2020 09:45 - 11:15 - Room: 05.20 1C-03
08.07.2020 15:45 - 17:15 - Room: 05.20 1C-03
09.07.2020 08:00 - 09:30 - Room: 05.20 1C-01
09.07.2020 09:45 - 11:15 - Room: 05.20 1C-01
09.07.2020 17:30 - 19:00 - Room: 05.20 1C-03
10.07.2020 08:00 - 09:30 - Room: 05.20 1C-02
10.07.2020 11:30 - 13:00 - Room: 05.20 1C-02
10.07.2020 14:00 - 15:30 - Room: 05.20 1C-02
13.07.2020 08:00 - 09:30 - Room: 05.20 1C-04
13.07.2020 11:30 - 13:00 - Room: 05.20 1C-02
13.07.2020 14:00 - 15:30 - Room: 05.20 1C-01
13.07.2020 14:00 - 15:30 - Room: 05.20 1C-03
13.07.2020 15:45 - 17:15 - Room: 05.20 1C-01
13.07.2020 15:45 - 17:15 - Room: 05.20 1C-03
14.07.2020 08:00 - 09:30 - Room: 05.20 1C-04
14.07.2020 14:00 - 15:30 - Room: 05.20 1C-03
14.07.2020 14:00 - 15:30 - Room: 05.20 1C-01
14.07.2020 17:30 - 19:00 - Room: 11.40 Raum -116
15.07.2020 08:00 - 09:30 - Room: 05.20 1C-02
15.07.2020 08:00 - 09:30 - Room: 05.20 1C-03
15.07.2020 09:45 - 11:15 - Room: 05.20 1C-03
15.07.2020 09:45 - 11:15 - Room: 05.20 1C-03
15.07.2020 09:45 - 11:15 - Room: 05.20 1C-03
15.07.2020 15:45 - 17:15 - Room: 05.20 1C-03
16.07.2020 08:00 - 09:30 - Room: 05.20 1C-01
16.07.2020 09:45 - 11:15 - Room: 05.20 1C-01
16.07.2020 17:30 - 19:00 - Room: 05.20 1C-03
17.07.2020 08:00 - 09:30 - Room: 05.20 1C-02
17.07.2020 11:30 - 13:00 - Room: 05.20 1C-02
17.07.2020 14:00 - 15:30 - Room: 05.20 1C-02
20.07.2020 08:00 - 09:30 - Room: 05.20 1C-04
20.07.2020 11:30 - 13:00 - Room: 05.20 1C-02
20.07.2020 14:00 - 15:30 - Room: 05.20 1C-03
20.07.2020 14:00 - 15:30 - Room: 05.20 1C-01
20.07.2020 15:45 - 17:15 - Room: 05.20 1C-03
20.07.2020 15:45 - 17:15 - Room: 05.20 1C-01
21.07.2020 08:00 - 09:30 - Room: 05.20 1C-04
21.07.2020 14:00 - 15:30 - Room: 05.20 1C-03
21.07.2020 14:00 - 15:30 - Room: 05.20 1C-01
21.07.2020 17:30 - 19:00 - Room: 11.40 Raum -116
22.07.2020 08:00 - 09:30 - Room: 05.20 1C-03
22.07.2020 08:00 - 09:30 - Room: 05.20 1C-02
22.07.2020 09:45 - 11:15 - Room: 05.20 1C-03
22.07.2020 09:45 - 11:15 - Room: 05.20 1C-03
22.07.2020 09:45 - 11:15 - Room: 05.20 1C-03
22.07.2020 15:45 - 17:15 - Room: 05.20 1C-03
23.07.2020 08:00 - 09:30 - Room: 05.20 1C-01
23.07.2020 09:45 - 11:15 - Room: 05.20 1C-01
23.07.2020 17:30 - 19:00 - Room: 05.20 1C-03
24.07.2020 08:00 - 09:30 - Room: 05.20 1C-02
24.07.2020 11:30 - 13:00 - Room: 05.20 1C-02
24.07.2020 14:00 - 15:30 - Room: 05.20 1C-02

Note

The exercises are related to the lecture Foundations of Informatics I.

Multiple exercises are held that capture the topics, held in the lecture Foundations of Informatics I, and discuss them in detail. Thereby, practical examples are given to the students in order to transfer theoretical aspects into practical implementation.

The following topics are covered:

Object Oriented Modeling
Logic (Propositional Calculus, Predicate Logic, Boolean Algebra)
Algorithms and Their Properties
Sort-and Search-Algorithms
Complexity Theory
Problem Specification
Dynamic Data Structures

Learning objectives:

The student

is able to formalise tasks in the domain of informatics and is able to identify solution methods
knows the basic terminology of computer science and is capable of applying these terms to different problems.
knows basic programming structures and is able to apply them (particularly simple data structures, object interaction and implementation of basic algorithms).