Theoretische Grundlagen der Informatik

Allgemeines

  • Termine: in der Regel
    • dienstags um 11.30-13.00 Uhr im Gerthsen-HS (30.21) und
    • donnerstags um 11.30-13.00 Uhr im Gerthsen-HS (30.21)
  • Hauptklausur: am 20. Juni 2020 von 10:00-12:00 Uhr
  • Nachklausur: am 16. September 2020 von 16:00-18:00 Uhr
​Die Klausureinsicht findet am Freitag, den 17.7. statt. ​Aufgrund ​der Corona-Einschränkungen ist für die Einsicht eine Anmeldung bis zum 10.7. erforderlich. Weitere Informationen finden Sie hier. ​
Die Klausureinsicht findet am Freitag, den 17.7. in Raum -102 des Informatik-Gebäudes statt. Die Zeitslots sind nach Reihennummer bei der Klausur aufgeteilt:
  • Reihe A-C: 9:00-9:20
  • Reihe D-E: 9:20-9:40
  • Reihe F: 9:40-10:00
  • Reihe G: 10:00-10:20
  • Reihe H-I: 10:20-10:40
  • Reihe K-L: 10:40-11:00
  • Reihe M-N: 11:00-11:20
  • Reihe O-P: 11:20-11:40
  • Reihe Q-R: 11:40-12:00

Bitte erscheinen Sie pünktlich zur angegebenen Uhrzeit am Eingang des Informatik-Gebäudes. Sie werden dann von einem Mitarbeiter hereingelassen.

Die Klausurergebnisse sind da! Ihre Klausur-ID entspricht einer Stadt, an deren Stelle auf der Karte Ihr Ergebnis eingetragen ist. Notenverteilung und Punkteschlüssel finden Sie hier.

operating instructions

Various functions are available as part of the map.

mouse/touch operation
  • moving by grabbing the map with a mouse-click you can move the map around
  • overview map using the + button in the bottom right of the map you can expand an overview map
  • zooming in and out using the + and - buttons in the top left of the map you can obtain more or less detail in the map
  • switching themes or maps clicking on the ≡ icon on the right-hand side of the map you can view and select available maps and themes
  • retrieving information the map may contain elements that contain more information, by clicking these a popup will show this information
  • fullscreen display using the ✈ button the map can be maximized to fullscreen display, use the ✕ button to return to page display.
keyboard operation

Keyboard operation becomes available after activating the map using the tab key (the map will show a focus indicator ring).

  • moving using the arrow keys you can move the map
  • overview map using the + button in the bottom right of the map you can expand an overview map
  • zooming in and out using the + and - buttons in the top left of the map or by using the + and - keys you can obtain more or less detail in the map
  • switching themes or maps clicking on the ≡ icon on the right-hand side of the map you can view and select available maps and themes
  • retrieving information the map may contain elements that contain more information, using the i key you can activate a cursor that may be moved using the arrow keys, pressing the enter will execute an information retrieval. press the i or the escape key to return to navigation mode
  • fullscreen display using the ✈ button the map can be maximized to fullscreen display, use the ✕ button to return to page display.

It's possible that some of the functions or buttons describe above have been disabled by the page author or the administrator

 

Points of Interest
id symbol latitude longitude description
1 marker-green 53.7037º 91.4450º

Abakan (ABAKAN): 29 Punkte inkl. Bonus, Note 3

2 marker-green 13.8400º 20.8300º

Abéché (ABECHE): 34 Punkte inkl. Bonus, Note 2.7

3 marker-green 7.1904º 1.9900º

Abomey (ABOMEY): 59 Punkte inkl. Bonus, Note 1

4 marker-green 16.9959º 7.9828º

Agadez (AGADEZ): 26.5 Punkte inkl. Bonus, Note 3.3

5 marker-green 30.4400º -9.6200º

Agadir (AGADIR): 24 Punkte inkl. Bonus, Note 3.7

6 marker-green 23.7104º 92.7200º

Aizawl (AIZAWL): 40.5 Punkte inkl. Bonus, Note 2

7 marker-green 42.6664º -73.7987º

Albany (ALBANY): 46 Punkte inkl. Bonus, Note 1.3

8 marker-green 43.3250º 76.9150º

Almaty (ALMATY): 47 Punkte inkl. Bonus, Note 1

9 marker-green -1.2696º -78.6200º

Ambato (AMBATO): 30.5 Punkte inkl. Bonus, Note 3

10 marker-green 43.6004º 13.4999º

Ancona (ANCONA): 40 Punkte inkl. Bonus, Note 2

11 marker-green 36.5659º 128.7250º

Andong (ANDONG): 50.5 Punkte inkl. Bonus, Note 1

12 marker-green 39.9272º 32.8644º

Ankara (ANKARA): 32 Punkte inkl. Bonus, Note 2.7

13 marker-green 36.9200º 7.7600º

Annaba (ANNABA): 25 Punkte inkl. Bonus, Note 3.7

14 marker-green 40.8250º 140.7100º

Aomori (AOMORI): 34 Punkte inkl. Bonus, Note 2.7

15 marker-green 36.8667º 10.2000º

Ariana (ARIANA): 26.5 Punkte inkl. Bonus, Note 3.3

16 marker-green 51.9880º 5.9230º

Arnhem (ARNHEM): 21.5 Punkte inkl. Bonus, Note 4

17 marker-green -3.3600º 36.6700º

Arusha (ARUSHA): 32 Punkte inkl. Bonus, Note 2.7

18 marker-green 37.9833º 23.7333º

Athens (ATHENS): 33.5 Punkte inkl. Bonus, Note 2.7

19 marker-green 30.3006º -97.7517º

Austin (AUSTIN): 28.5 Punkte inkl. Bonus, Note 3.3

20 marker-green 3.1200º 43.6500º

Baidoa (BAIDOA): 30 Punkte inkl. Bonus, Note 3

21 marker-green 34.8211º 67.5210º

Bāmyān (BAMYAN): 55.5 Punkte inkl. Bonus, Note 1

22 marker-green 4.3666º 18.5583º

Bangui (BANGUI): 34 Punkte inkl. Bonus, Note 2.7

23 marker-green 37.8904º 41.1400º

Batman (BATMAN): 26.5 Punkte inkl. Bonus, Note 3.3

24 marker-red 10.3104º 9.8400º

Bauchi (BAUCHI): 19 Punkte inkl. Bonus, Note 5

25 marker-green 20.3795º -76.6433º

Bayamo (BAYAMO): 30.5 Punkte inkl. Bonus, Note 3

26 marker-green 33.8720º 35.5097º

Beirut (BEIRUT): 39.5 Punkte inkl. Bonus, Note 2

27 marker-green 36.7604º 5.0700º

Bejaïa (BEJAIA): 49.5 Punkte inkl. Bonus, Note 1

28 marker-green 60.3910º 5.3245º

Bergen (BERGEN): 49 Punkte inkl. Bonus, Note 1

29 marker-green 52.5218º 13.4015º

Berlin (BERLIN): 29 Punkte inkl. Bonus, Note 3

30 marker-green -32.8700º 27.3900º

Bhisho (BHISHO): 30.5 Punkte inkl. Bonus, Note 3

31 marker-green 23.2500º 77.4100º

Bhopal (BHOPAL): 29.5 Punkte inkl. Bonus, Note 3

32 marker-green 38.8850º 40.4980º

Bingöl (BINGOL): 31.5 Punkte inkl. Bonus, Note 3

33 marker-red 34.8600º 5.7300º

Biskra (BISKRA): 17 Punkte inkl. Bonus, Note 5

34 marker-green 11.8650º -15.5984º

Bissau (BISSAU): 32 Punkte inkl. Bonus, Note 2.7

35 marker-green 38.3940º 42.1230º

Bitlis (BITLIS): 43.5 Punkte inkl. Bonus, Note 1.7

36 marker-green 41.0391º 21.3395º

Bitola (BITOLA): 25.5 Punkte inkl. Bonus, Note 3.7

37 marker-green 4.5964º -74.0833º

Bogotá (BOGOTA): 21 Punkte inkl. Bonus, Note 4

38 marker-green 10.2859º 15.3872º

Bongor (BONGOR): 53.5 Punkte inkl. Bonus, Note 1

39 marker-green 42.3188º -71.0846º

Boston (BOSTON): 47.5 Punkte inkl. Bonus, Note 1

40 marker-green 36.3805º 3.9000º

Bouira (BOUIRA): 26.5 Punkte inkl. Bonus, Note 3.3

41 marker-green 53.0800º 8.8000º

Bremen (BREMEN): 23 Punkte inkl. Bonus, Note 3.7

42 marker-green -2.5100º 28.8400º

Bukavu (BUKAVU): 27.5 Punkte inkl. Bonus, Note 3.3

43 marker-green -1.3196º 31.8000º

Bukoba (BUKOBA): 44 Punkte inkl. Bonus, Note 1.3

44 marker-green 37.7167º 30.2833º

Burdur (BURDUR): 46.5 Punkte inkl. Bonus, Note 1.3

45 marker-red 8.9495º 125.5436º

Butuan (BUTUAN): 12.5 Punkte inkl. Bonus, Note 5

46 marker-green -1.5796º 30.0600º

Byumba (BYUMBA): 23 Punkte inkl. Bonus, Note 3.7

47 marker-green -12.0700º -77.1350º

Callao (CALLAO): 30 Punkte inkl. Bonus, Note 3

48 marker-green 19.2300º -103.7200º

Colima (COLIMA): 26 Punkte inkl. Bonus, Note 3.3

49 marker-green -2.9000º -79.0000º

Cuenca (CUENCA): 25.5 Punkte inkl. Bonus, Note 3.7

50 marker-green 32.7648º 22.6391º

Darnah (DARNAH): 30.5 Punkte inkl. Bonus, Note 3

51 marker-green -12.4254º 130.8500º

Darwin (DARWIN): 41.5 Punkte inkl. Bonus, Note 1.7

52 marker-green 39.7621º -104.8759º

Denver (DENVER): 28.5 Punkte inkl. Bonus, Note 3.3

53 marker-green 14.5575º 44.3875º

Dhamār (DHAMAR): 30 Punkte inkl. Bonus, Note 3

54 marker-green 34.6800º 3.2500º

Djelfa (DJELFA): 39.5 Punkte inkl. Bonus, Note 2

55 marker-green 48.4800º 35.0000º

Dnipro (DNIPRO): 53 Punkte inkl. Bonus, Note 1

56 marker-green -6.1833º 35.7500º

Dodoma (DODOMA): 38 Punkte inkl. Bonus, Note 2

57 marker-green 23.7075º 120.5439º

Douliu (DOULIU): 40.5 Punkte inkl. Bonus, Note 2

58 marker-green 53.3331º -6.2489º

Dublin (DUBLIN): 23.5 Punkte inkl. Bonus, Note 3.7

59 marker-red 56.4704º -3.0000º

Dundee (DUNDEE): 13.5 Punkte inkl. Bonus, Note 5

60 marker-green 41.6704º 26.5700º

Edirne (EDIRNE): 35 Punkte inkl. Bonus, Note 2.3

61 marker-green 46.3287º 44.2087º

Elista (ELISTA): 48 Punkte inkl. Bonus, Note 1

62 marker-green 50.9701º 11.0300º

Erfurt (ERFURT): 23 Punkte inkl. Bonus, Note 3.7

63 marker-red 13.0900º -86.3600º

Estelí (ESTELI): 19.5 Punkte inkl. Bonus, Note 5, mündlich

64 marker-green 53.2724º -9.0488º

Galway (GALWAY): 29 Punkte inkl. Bonus, Note 3

65 marker-green 9.3000º 13.3900º

Garoua (GAROUA): 30.5 Punkte inkl. Bonus, Note 3

66 marker-green 54.3600º 18.6400º

Gdańsk (GDANSK): 29 Punkte inkl. Bonus, Note 3

67 marker-green 46.2100º 6.1400º

Geneva (GENEVA): 43.5 Punkte inkl. Bonus, Note 1.7

68 marker-green 33.5633º 68.4178º

Ghaznī (GHAZNI): 27.5 Punkte inkl. Bonus, Note 3.3

69 marker-green 36.8303º 54.4800º

Gorgān (GORGAN): 30.5 Punkte inkl. Bonus, Note 3

70 marker-green 36.4660º 7.4280º

Guelma (GUELMA): 37.5 Punkte inkl. Bonus, Note 2.3

71 marker-red 20.0500º 110.3200º

Haikou (HAIKOU): 18 Punkte inkl. Bonus, Note 5

72 marker-green 15.6917º 43.6021º

Ḩajjah (HAJJAH): 37.5 Punkte inkl. Bonus, Note 2.3

73 marker-green -17.8178º 31.0447º

Harare (HARARE): 37 Punkte inkl. Bonus, Note 2.3

74 marker-green 23.1320º -82.3642º

Havana (HAVANA): 24.5 Punkte inkl. Bonus, Note 3.7

75 marker-green 40.8200º 111.6600º

Hohhot (HOHHOT): 21.5 Punkte inkl. Bonus, Note 4

76 marker-green -11.1100º -77.6199º

Huacho (HUACHO): 40 Punkte inkl. Bonus, Note 2

77 marker-green -12.7500º 15.7600º

Huambo (HUAMBO): 27 Punkte inkl. Bonus, Note 3.3

78 marker-red -9.5300º -77.5300º

Huaraz (HUARAZ): 16 Punkte inkl. Bonus, Note 5

79 marker-green 41.3927º 128.1927º

Hyesan (HYESAN): 26.5 Punkte inkl. Bonus, Note 3.3

80 marker-green 7.3800º 3.9300º

Ibadan (IBADAN): 30.5 Punkte inkl. Bonus, Note 3

81 marker-green 4.4389º -75.2322º

Ibagué (IBAGUE): 43 Punkte inkl. Bonus, Note 1.7

82 marker-red 0.3604º -78.1300º

Ibarra (IBARRA): 15.5 Punkte inkl. Bonus, Note 5

83 marker-green 8.1712º 124.2154º

Iligan (ILIGAN): 32.5 Punkte inkl. Bonus, Note 2.7

84 marker-green 8.4900º 4.5500º

Ilorin (ILORIN): 35.5 Punkte inkl. Bonus, Note 2.3

85 marker-green 24.8000º 93.9500º

Imphal (IMPHAL): 29.5 Punkte inkl. Bonus, Note 3

86 marker-green 9.6750º 80.0050º

Jaffna (JAFFNA): 25 Punkte inkl. Bonus, Note 3.7

87 marker-green 26.9211º 75.8100º

Jaipur (JAIPUR): 34 Punkte inkl. Bonus, Note 2.7

88 marker-green 2.7670º 45.5166º

Jawhar (JAWHAR): 30 Punkte inkl. Bonus, Note 3

89 marker-green 40.1004º 67.8300º

Jizzax (JIZZAX): 36.5 Punkte inkl. Bonus, Note 2.3

90 marker-green 10.5200º 7.4400º

Kaduna (KADUNA): 23.5 Punkte inkl. Bonus, Note 3.7

91 marker-green 54.5204º 36.2700º

Kaluga (KALUGA): 34.5 Punkte inkl. Bonus, Note 2.7

92 marker-green -8.7300º 25.0100º

Kamina (KAMINA): 34 Punkte inkl. Bonus, Note 2.7

93 marker-green 6.4330º 100.1900º

Kangar (KANGAR): 35 Punkte inkl. Bonus, Note 2.3

94 marker-green 10.3900º -9.3100º

Kankan (KANKAN): 39.5 Punkte inkl. Bonus, Note 2

95 marker-green -10.1996º 31.1799º

Kasama (KASAMA): 36 Punkte inkl. Bonus, Note 2.3

96 marker-red 0.2325º 29.9883º

Kasese (KASESE): 19.5 Punkte inkl. Bonus, Note 5

97 marker-green 54.9504º 23.8800º

Kaunas (KAUNAS): 26.5 Punkte inkl. Bonus, Note 3.3

98 marker-green 7.8804º -11.1900º

Kenema (KENEMA): 21 Punkte inkl. Bonus, Note 4

99 marker-green 30.3000º 57.0800º

Kermān (KERMAN): 58 Punkte inkl. Bonus, Note 1

100 marker-green 22.8400º 89.5600º

Khulna (KHULNA): 24.5 Punkte inkl. Bonus, Note 3.7

101 marker-green 50.8904º 20.6600º

Kielce (KIELCE): 38.5 Punkte inkl. Bonus, Note 2

102 marker-green -5.0300º 18.8500º

Kikwit (KIKWIT): 51.5 Punkte inkl. Bonus, Note 1

103 marker-green 10.0600º -12.8700º

Kindia (KINDIA): 50 Punkte inkl. Bonus, Note 1

104 marker-red 35.4722º 44.3923º

Kirkuk (KIRKUK): 17.5 Punkte inkl. Bonus, Note 5

105 marker-red -0.0900º 34.7500º

Kisumu (KISUMU): 8.5 Punkte inkl. Bonus, Note 5

106 marker-green 3.3004º 32.8700º

Kitgum (KITGUM): 43.5 Punkte inkl. Bonus, Note 1.7

107 marker-green 50.0600º 19.9600º

Kraków (KRAKOW): 33.5 Punkte inkl. Bonus, Note 2.7

108 marker-green 36.7280º 68.8725º

Kunduz (KUNDUZ): 41 Punkte inkl. Bonus, Note 1.7

109 marker-green 62.8943º 27.6949º

Kuopio (KUOPIO): 39 Punkte inkl. Bonus, Note 2

110 marker-green -10.1787º 123.5830º

Kupang (KUPANG): 23 Punkte inkl. Bonus, Note 3.7

111 marker-green 55.4600º 65.3450º

Kurgan (KURGAN): 35 Punkte inkl. Bonus, Note 2.3

112 marker-green 31.5600º 74.3500º

Lahore (LAHORE): 36.5 Punkte inkl. Bonus, Note 2.3

113 marker-red 39.6304º 22.4200º

Lárisa (LARISA): 16 Punkte inkl. Bonus, Note 5

114 marker-green 2.1400º 21.5100º

Lisala (LISALA): 20 Punkte inkl. Bonus, Note 4

115 marker-green 38.7227º -9.1449º

Lisbon (LISBON): 27.5 Punkte inkl. Bonus, Note 3.3

116 marker-red 7.8004º 6.7399º

Lokoja (LOKOJA): 16 Punkte inkl. Bonus, Note 5

117 marker-green -8.8383º 13.2344º

Luanda (LUANDA): 23.5 Punkte inkl. Bonus, Note 3.7

118 marker-green 51.2504º 22.5727º

Lublin (LUBLIN): 24 Punkte inkl. Bonus, Note 3.7

119 marker-green -15.4166º 28.2833º

Lusaka (LUSAKA): 27.5 Punkte inkl. Bonus, Note 3.3

120 marker-red 0.0330º -51.0500º

Macapá (MACAPA): 10.5 Punkte inkl. Bonus, Note 5

121 marker-green -9.6200º -35.7300º

Maceió (MACEIO): 39 Punkte inkl. Bonus, Note 2

122 marker-green -5.2248º 145.7853º

Madang (MADANG): 43 Punkte inkl. Bonus, Note 1.7

123 marker-red 40.4000º -3.6834º

Madrid (MADRID): 15.5 Punkte inkl. Bonus, Note 5

124 marker-green 20.1445º 94.9196º

Magway (MAGWAY): 48 Punkte inkl. Bonus, Note 1

125 marker-green 8.8804º -12.0500º

Makeni (MAKENI): 33 Punkte inkl. Bonus, Note 2.7

126 marker-green 1.4800º 124.8500º

Manado (MANADO): 52.5 Punkte inkl. Bonus, Note 1

127 marker-green 26.2361º 50.5831º

Manama (MANAMA): 21 Punkte inkl. Bonus, Note 4

128 marker-green -3.1000º -60.0000º

Manaus (MANAUS): 32 Punkte inkl. Bonus, Note 2.7

129 marker-green 38.6304º 27.4400º

Manisa (MANISA): 42 Punkte inkl. Bonus, Note 1.7

130 marker-green 13.4916º 7.0964º

Maradi (MARADI): 48.5 Punkte inkl. Bonus, Note 1

131 marker-green 37.3115º 40.7427º

Mardin (MARDIN): 24.5 Punkte inkl. Bonus, Note 3.7

132 marker-green -0.3296º 31.7300º

Masaka (MASAKA): 41 Punkte inkl. Bonus, Note 1.7

133 marker-green 11.9690º -86.0950º

Masaya (MASAYA): 34 Punkte inkl. Bonus, Note 2.7

134 marker-red -29.3167º 27.4833º

Maseru (MASERU): 13 Punkte inkl. Bonus, Note 5, mündlich

135 marker-green -5.8166º 13.4500º

Matadi (MATADI): 36.5 Punkte inkl. Bonus, Note 2.3

136 marker-green 35.4670º 133.0666º

Matsue (MATSUE): 25.5 Punkte inkl. Bonus, Note 3.7

137 marker-green 44.6100º 40.1200º

Maykop (MAYKOP): 49 Punkte inkl. Bonus, Note 1

138 marker-red 3.8704º 18.0000º

Mbaïki (MBAIKI): 15.5 Punkte inkl. Bonus, Note 5

139 marker-green 24.5000º 39.5800º

Medina (MEDINA): 40 Punkte inkl. Bonus, Note 2

140 marker-green 2.2064º 102.2465º

Melaka (MELAKA): 36.5 Punkte inkl. Bonus, Note 2.3

141 marker-green 24.5700º 120.8200º

Miaoli (MIAOLI): 27 Punkte inkl. Bonus, Note 3.3

142 marker-green -11.7042º 43.2402º

Moroni (MORONI): 23.5 Punkte inkl. Bonus, Note 3.7

143 marker-green 55.7522º 37.6155º

Moscow (MOSCOW): 46.5 Punkte inkl. Bonus, Note 1.3

144 marker-green 19.0170º 72.8570º

Mumbai (MUMBAI): 40 Punkte inkl. Bonus, Note 2

145 marker-green 48.1299º 11.5750º

Munich (MUNICH): 56.5 Punkte inkl. Bonus, Note 1

146 marker-red 37.9800º -1.1300º

Murcia (MURCIA): 16 Punkte inkl. Bonus, Note 5

147 marker-green 23.6133º 58.5933º

Muscat (MUSCAT): 21 Punkte inkl. Bonus, Note 4

148 marker-green -18.9700º 32.6500º

Mutare (MUTARE): 36 Punkte inkl. Bonus, Note 2.3

149 marker-green -2.5200º 32.9300º

Mwanza (MWANZA): 54.5 Punkte inkl. Bonus, Note 1

150 marker-green 36.4603º 10.7300º

Nabeul (NABEUL): 25 Punkte inkl. Bonus, Note 3.7

151 marker-green 36.6500º 138.1700º

Nagano (NAGANO): 34 Punkte inkl. Bonus, Note 2.7

152 marker-green 35.1550º 136.9150º

Nagoya (NAGOYA): 36 Punkte inkl. Bonus, Note 2.3

153 marker-green -0.2800º 36.0700º

Nakuru (NAKURU): 55 Punkte inkl. Bonus, Note 1

154 marker-green -15.1900º 12.1600º

Namibe (NAMIBE): 34 Punkte inkl. Bonus, Note 2.7

155 marker-green 23.9167º 120.6833º

Nantou (NANTOU): 31.5 Punkte inkl. Bonus, Note 3

156 marker-green -39.4900º 176.9265º

Napier (NAPIER): 20 Punkte inkl. Bonus, Note 4

157 marker-green 40.8400º 14.2450º

Naples (NAPLES): 20.5 Punkte inkl. Bonus, Note 4

158 marker-green 13.5167º 2.1167º

Niamey (NIAMEY): 31.5 Punkte inkl. Bonus, Note 3

159 marker-green -2.3496º 29.7400º

Nyanza (NYANZA): 38 Punkte inkl. Bonus, Note 2

160 marker-green 17.0827º -96.6699º

Oaxaca (OAXACA): 25.5 Punkte inkl. Bonus, Note 3.7

161 marker-green 47.0500º 21.9200º

Oradea (ORADEA): 57.5 Punkte inkl. Bonus, Note 1

162 marker-red 59.2803º 15.2200º

Örebro (OREBRO): 17.5 Punkte inkl. Bonus, Note 5

163 marker-green 45.5504º 18.6800º

Osijek (OSIJEK): 29 Punkte inkl. Bonus, Note 3

164 marker-green 7.7704º 4.5600º

Osogbo (OSOGBO): 31.5 Punkte inkl. Bonus, Note 3

165 marker-green 45.4167º -75.7000º

Ottawa (OTTAWA): 23 Punkte inkl. Bonus, Note 3.7

166 marker-green 6.3604º 2.0900º

Ouidah (OUIDAH): 35.5 Punkte inkl. Bonus, Note 2.3

167 marker-green 43.3505º -5.8300º

Oviedo (OVIEDO): 30.5 Punkte inkl. Bonus, Note 3

168 marker-red 5.4930º 7.0260º

Owerri (OWERRI): 13 Punkte inkl. Bonus, Note 5

169 marker-green 51.7704º -1.2500º

Oxford (OXFORD): 44.5 Punkte inkl. Bonus, Note 1.3

170 marker-green -0.9600º 100.3600º

Padang (PADANG): 24 Punkte inkl. Bonus, Note 3.7

171 marker-red -10.2377º -48.2878º

Palmas (PALMAS): 13 Punkte inkl. Bonus, Note 5

172 marker-green 15.4920º 73.8180º

Panaji (PANAJI): 40.5 Punkte inkl. Bonus, Note 2

173 marker-green -31.7333º -60.5333º

Paraná (PARANA): 27 Punkte inkl. Bonus, Note 3.3

174 marker-green 42.6100º 23.0227º

Pernik (PERNIK): 33.5 Punkte inkl. Bonus, Note 2.7

175 marker-red 7.8765º 98.3815º

Phuket (PHUKET): 18.5 Punkte inkl. Bonus, Note 5, mündlich

176 marker-green 13.9833º 108.0000º

Pleiku (PLEIKU): 44.5 Punkte inkl. Bonus, Note 1.3

177 marker-green -19.5696º -65.7500º

Potosí (POTOSI): 31 Punkte inkl. Bonus, Note 3

178 marker-green 52.4058º 16.8999º

Poznań (POZNAN): 29 Punkte inkl. Bonus, Note 3

179 marker-green 50.0833º 14.4660º

Prague (PRAGUE): 32.5 Punkte inkl. Bonus, Note 2.7

180 marker-red 48.9997º 21.2394º

Prešov (PRESOV): 19.5 Punkte inkl. Bonus, Note 5

181 marker-green 19.0500º -98.2000º

Puebla (PUEBLA): 54 Punkte inkl. Bonus, Note 1

182 marker-green 30.2200º 67.0250º

Quetta (QUETTA): 23 Punkte inkl. Bonus, Note 3.7

183 marker-green 21.2350º 81.6350º

Raipur (RAIPUR): 28 Punkte inkl. Bonus, Note 3.3

184 marker-green -8.0756º -34.9156º

Recife (RECIFE): 33.5 Punkte inkl. Bonus, Note 2.7

185 marker-red 50.4500º -104.6170º

Regina (REGINA): 19 Punkte inkl. Bonus, Note 5, mündlich

186 marker-green 45.2970º 21.8865º

Reşiţa (RESITA): 26 Punkte inkl. Bonus, Note 3.3

187 marker-green 45.3300º 14.4500º

Rijeka (RIJEKA): 28 Punkte inkl. Bonus, Note 3.3

188 marker-green -30.8996º -55.5600º

Rivera (RIVERA): 25.5 Punkte inkl. Bonus, Note 3.7

189 marker-green 24.6408º 46.7727º

Riyadh (RIYADH): 37.5 Punkte inkl. Bonus, Note 2.3

190 marker-green -13.7829º 34.4333º

Salima (SALIMA): 26.5 Punkte inkl. Bonus, Note 3.3

191 marker-green 53.1950º 50.1513º

Samara (SAMARA): 58.5 Punkte inkl. Bonus, Note 1

192 marker-red 41.2800º 36.3437º

Samsun (SAMSUN): 15 Punkte inkl. Bonus, Note 5

193 marker-green 35.5548º 53.3743º

Semnān (SEMNAN): 32 Punkte inkl. Bonus, Note 2.7

194 marker-green 31.1000º 77.1666º

Shimla (SHIMLA): 47.5 Punkte inkl. Bonus, Note 1

195 marker-green 29.6300º 52.5700º

Shīrāz (SHIRAZ): 21 Punkte inkl. Bonus, Note 4

196 marker-green 43.2700º 26.9294º

Shumen (SHUMEN): 25.5 Punkte inkl. Bonus, Note 3.7

197 marker-green 20.1400º 92.8800º

Sittwe (SITTWE): 22 Punkte inkl. Bonus, Note 4

198 marker-green 42.0000º 21.4335º

Skopje (SKOPJE): 34 Punkte inkl. Bonus, Note 2.7

199 marker-green 42.6794º 26.3300º

Sliven (SLIVEN): 35 Punkte inkl. Bonus, Note 2.3

200 marker-green 8.9905º 1.1500º

Sokodé (SOKODE): 36 Punkte inkl. Bonus, Note 2.3

201 marker-green 13.0600º 5.2400º

Sokoto (SOKOTO): 37 Punkte inkl. Bonus, Note 2.3

202 marker-green -10.6800º 35.6500º

Songea (SONGEA): 57.5 Punkte inkl. Bonus, Note 1

203 marker-green 35.8300º 10.6250º

Sousse (SOUSSE): 32.5 Punkte inkl. Bonus, Note 2.7

204 marker-green -33.9200º 151.1852º

Sydney (SYDNEY): 34.5 Punkte inkl. Bonus, Note 2.7

205 marker-green 24.9036º 91.8736º

Sylhet (SYLHET): 20.5 Punkte inkl. Bonus, Note 4

206 marker-green 46.2504º 20.1500º

Szeged (SZEGED): 32.5 Punkte inkl. Bonus, Note 2.7

207 marker-green -5.0200º 32.8000º

Tabora (TABORA): 25.5 Punkte inkl. Bonus, Note 3.7

208 marker-green 38.0863º 46.3012º

Tabrīz (TABRIZ): 27.5 Punkte inkl. Bonus, Note 3.3

209 marker-red 25.0358º 121.5683º

Taipei (TAIPEI): 11.5 Punkte inkl. Bonus, Note 5

210 marker-green 9.4004º -0.8400º

Tamale (TAMALE): 20.5 Punkte inkl. Bonus, Note 4

211 marker-green 52.7300º 41.4300º

Tambov (TAMBOV): 53 Punkte inkl. Bonus, Note 1

212 marker-red -38.7300º -72.5800º

Temuco (TEMUCO): 18.5 Punkte inkl. Bonus, Note 5, mündlich

213 marker-red 37.2329º 67.2729º

Termiz (TERMIZ): 14 Punkte inkl. Bonus, Note 5, mündlich

214 marker-green 42.0092º 20.9701º

Tetovo (TETOVO): 33.5 Punkte inkl. Bonus, Note 2.7

215 marker-green 41.3275º 19.8189º

Tirana (TIRANA): 34 Punkte inkl. Bonus, Note 2.7

216 marker-red 32.0800º 23.9600º

Tobruk (TOBRUK): 11.5 Punkte inkl. Bonus, Note 5

217 marker-green 39.8670º -4.0167º

Toledo (TOLEDO): 49 Punkte inkl. Bonus, Note 1

218 marker-green 39.0346º -95.6955º

Topeka (TOPEKA): 60 Punkte inkl. Bonus, Note 1

219 marker-red 36.7000º 137.2300º

Toyama (TOYAMA): 15.5 Punkte inkl. Bonus, Note 5

220 marker-red 46.0804º 11.1200º

Trento (TRENTO): 12 Punkte inkl. Bonus, Note 5

221 marker-green 48.3666º 17.6000º

Trnava (TRNAVA): 22.5 Punkte inkl. Bonus, Note 4

222 marker-green 69.6351º 18.9920º

Tromsø (TROMSO): 37.5 Punkte inkl. Bonus, Note 2.3

223 marker-green -3.5700º -80.4600º

Tumbes (TUMBES): 25.5 Punkte inkl. Bonus, Note 3.7

224 marker-green 43.8050º 87.5750º

Ürümqi (URUMQI): 25 Punkte inkl. Bonus, Note 3.7

225 marker-green 45.4387º 12.3350º

Venice (VENICE): 26.5 Punkte inkl. Bonus, Note 3.3

226 marker-red -40.8000º -63.0000º

Viedma (VIEDMA): 18.5 Punkte inkl. Bonus, Note 5

227 marker-green 48.2000º 16.3666º

Vienna (VIENNA): 30.5 Punkte inkl. Bonus, Note 3

228 marker-red 43.2100º 23.5625º

Vratsa (VRATSA): 18.5 Punkte inkl. Bonus, Note 5

229 marker-green 52.2500º 21.0000º

Warsaw (WARSAW): 24.5 Punkte inkl. Bonus, Note 3.7

230 marker-green 39.1605º 127.4308º

Wŏnsan (WONSAN): 39.5 Punkte inkl. Bonus, Note 2

231 marker-red 19.5300º -96.9200º

Xalapa (XALAPA): 15.5 Punkte inkl. Bonus, Note 5

232 marker-green 36.6200º 101.7700º

Xining (XINING): 33 Punkte inkl. Bonus, Note 2.7

233 marker-red 39.8180º 34.8150º

Yozgat (YOZGAT): 17.5 Punkte inkl. Bonus, Note 5

234 marker-green 45.8000º 16.0000º

Zagreb (ZAGREB): 43.5 Punkte inkl. Bonus, Note 1.7

235 marker-green 49.2198º 18.7494º

Žilina (ZILINA): 50 Punkte inkl. Bonus, Note 1

236 marker-green 13.8000º 8.9833º

Zinder (ZINDER): 38.5 Punkte inkl. Bonus, Note 2

237 marker-green 47.3800º 8.5500º

Zürich (ZURICH): 23 Punkte inkl. Bonus, Note 3.7

238 marker-green 52.5240º 6.0970º

Zwolle (ZWOLLE): 36.5 Punkte inkl. Bonus, Note 2.3

Inhalt der theoretischen Informatik

Im Gegensatz zu anderen Grundstudiumsvorlesungen werden in der theoretischen Informatik Themen behandelt, die weiter von den Anwendungen entfernt sind. Es geht um prinzipielle Fragestellungen, d.h. Fragen, die unabhängig von „Programmierungsaspekten“ oder „konkreten Rechnern“ sind: Gibt es Aufgaben, die von einem Rechner — unabhängig von der Art der Programmierung beziehungsweise von physikalischen und elektronischen Beschränkungen — nicht gelöst werden können? Welche Aufgaben können prinzipiell effizient (in vernünftiger Rechenzeit, mit vernünftigem Speicherplatzbedarf) gelöst werden?

Vorlesungs-/Übungstermine

Änderungen vorbehalten!

Literatur

  • Scott Aaronson, P =?= NP
  • Ingo Wegener, Theoretische Informatik, B.G. Teubner Verlag Stuttgart, 1993
  • Uwe Schöning, Theoretische Informatik - kurzgefasst, Hochschultaschenbuch, Spektrum Akademischer Verlag, 1997
  • R. Garey und D. S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness, W. H. Freeman, New York, 1979
  • Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Introduction to Algorithms, The MIT press, 1997, 2001.
  • Alexander Asteroth, Christel Baier, Theoretische Informatik: eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen, Pearson Studium, 2002, ISBN 3-8273-7033-7
  • Martin Werner: Information und Codierung, VIEWEG TEUBNER, 2008, ISBN 978-3-8348-0232-3.
  • Sanjeev Arora und Boaz Barak: Computational Complexity: A Modern Approach
  • Juraj Hromkovic: Theoretical Computer Science, Springer-Verlag Berlin Heidelberg, 2011, ISBN 978-3-642-05729-8.

Die KIT-Bibliothek stellt einen Semesterapparat mit diesen Titeln im Lesesaal Geisteswissenschaften im 3. OG bereit.

(Veraltete) Skripte

Bitte beachten Sie, dass diese Skripte nicht mehr gepflegt werden. Es kann Abweichungen zum aktuellen Stoff der TGI-Vorlesung geben.

Übung, Übungsblätter und Tutorien

Neue Übungsblätter werden voraussichtlich alle zwei Wochen veröffentlicht. Die Aufgaben sollen schriftlich bearbeitet und die handschriftlichen Lösungen in den mit „Theoretische Grundlagen der Informatik“ beschrifteten Einwurfschlitz im Keller des Informatik-Hauptgebäudes (50.34) eingeworfen werden. Es gilt der Abgabetermin, der direkt auf dem Übungsblatt steht.
Die Bearbeitung und Abgabe der Aufgaben kann dabei in Zweiergruppen erfolgen! (Wichtig: Dazu ist bitte darauf zu achten, dass beide Studenten im selben Tutorium sind.) Ausgedruckte oder kopierte Lösungsblätter werden NICHT akzeptiert, das heißt, es müssen handschriftliche Lösungen abgegeben werden. Für abgeschriebene Lösungen gibt es auf das gesamte Übungsblatt keine Punkte. Wenn auf mehreren Übungsblättern abgeschrieben wird, werden keine Bonuspunkte vergeben.

Übungsblätter Lösungsvorschläge
Übungsblatt 1 (Update 3.11.) Lösungsvorschlag (Update 11.3.)
Übungsblatt 2 (Update 7.11.) Lösungsvorschlag
Übungsblatt 3 Lösungsvorschlag
Übungsblatt 4 (Update 16.12.) Lösungsvorschlag
Übungsblatt 5 (Update 13.1.) Lösungsvorschlag
Übungsblatt 6 (Update 14.1.) Lösungsvorschlag (Update 24.1.)
Übungsblatt 7 (Update 27.1.) Lösungsvorschlag

Klausurbonus

Werden mindestens 25% (50%, 75%) der möglichen Gesamtpunktzahl auf allen Übungsblättern erreicht, werden auf die bestandene Klausur 1 (2, 3) Bonuspunkte angerechnet. Es wird voraussichtlich 7 Übungsblätter mit jeweils ca. 30 Punkten geben. Die erreichbare Punktzahl pro Übungsblatt ist nicht unbedingt jedes Mal genau dieselbe! Die Bonuspunktegrenzen sind:

  • Bei insgesamt 52 Punkten oder mehr gibt es einen Bonuspunkt.
  • Bei insgesamt 105 Punkten oder mehr gibt es zwei Bonuspunkte.
  • Bei insgesamt 157 Punkten oder mehr gibt es drei Bonuspunkte.

Nur Bonuspunkte, die im WS 19/20 erworben wurden, werden auf die Klausur angerechnet. Bonuspunkte aus zurückliegenden Semestern werden nicht anerkannt. Ebenso gibt es keine Garantie, dass Bonuspunkte aus dem WS 19/20 in späteren TGI-Klausuren anerkannt werden. Studierende, die die Vorlesung bereits gehört, jedoch die Klausur noch nicht geschrieben haben und ihre alten Bonuspunkte nicht mehr anrechnen können, haben die Möglichkeit, sich im WS 19/20 erneut für ein Tutorium einzutragen und die Übungsblätter erneut zu bearbeiten.

Beschriftung der Übungsblätter

Bitte beschriften Sie das Deckblatt Ihrer Abgabe gut sichtbar mit Name, Matrikelnummer und Nummer des Tutoriums.

Klausur und Klausurvorbereitung

Alte Klausuren