Willst du bei der Egiraffe mitwirken?
Mehr Infos
Navigation
Overview
Downloads
Courses
FAQ
File Upload
Statistics
Vouchers
Bug Report
Feature Request
Downloads pro Tag
992
0
Logik und Berechenbarkeit - VO
TUGraz-Online Seite: Link
Institut: Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie
Zeitleiste:
0
1
2
3
4
5
6
7
8
9
0
Sem.
WS
SS
WS
SS
WS
SS
WS
SS
WS
SS
WS
SS
WS
SS
WS
SS
WS
SS
WS
SS

200x

201x
LV-Nummer: IND.04033U
Semesterstunden: 2
mehr...
Quelle: TUGraz-Online
In diesem Fach Dateien hochladen
Drag and Drop
Your Files Here
(or click)
Alle Downloads (31 Dateien)
Klausurangabe
Prüfungsfragenausarbeitung
Stoffzusammenfassung

Hausübung
Datum
Upload Datum
Größe
Uploader
Anzahl der Downloads
Dateityp
Dateiendung
zipPrüfungsfragenausarbeitung 03.06.2021
Erste Teilklausur. alle 4 Gruppen. Angaben und Musterlösungen der Tutoren
3 ECs |
(0)
| Upload am: 03.06.2021, 15:20 | 4,22 MB | 7 Downloads
Logik und Berechenbarkeit VO
zipHausübung 02.07.2020
Alle 9 Assignments vom SS 2020 mit Musterlösungen der Tutoren
2 ECs |
(0)
| Upload am: 03.06.2021, 15:16 | 18,49 MB | 5 Downloads
Logik und Berechenbarkeit VO
pdfKlausurangabe 07.05.2021 first KU exam
first KU exam. DPLL and sequents. without solutions.
All 4 groups in one zip.
0 ECs |
(0)
| Upload am: 07.05.2021, 12:03 | 93,83 kB | 12 Downloads | Version 2
Logik und Berechenbarkeit VO
zipStoffzusammenfassung SS2020
All questions/tasks from homeworks in SS20 relevant for VO Exam. Sufficient to pass both VO and KU exams. Hand written
1 ECs |
(7)
| Upload am: 20.07.2020, 12:11 | 51,31 MB | 116 Downloads
Logik und Berechenbarkeit VO
zipHausübung SS2020
Alle 9 Assignments vom SS 2020, Angabe + meine Lösungen die teilweise falsch sind. Es gab auch einige Programmierbeispiele, davon habe ich eins nicht gemacht und das letzte funktioniert nicht. Es gab zwei Bonusbeispiele, davon habe ich das Bonus-2 Beispiel gemacht.
2 ECs |
(9)
| Upload am: 24.06.2020, 09:54 | 36,27 MB | 105 Downloads
Logik und Berechenbarkeit VO
pdfKlausurangabe 23.06.2020
Aus dem Gedächtnis habe ich mich an ein paar Sachen erinnern können. VO war viel Theorie, UE waren 3 Beispiele beim Test 1 und 2 Beispiele bei Test 2.
1 ECs |
(13)
| Upload am: 24.06.2020, 09:49 | 758,67 kB | 1 Seiten | 120 Downloads
Logik und Berechenbarkeit VO
pdfStoffzusammenfassung Natural Deduction Proofs (2)
Eine Sammlung sämtlicher Natural Deduction Proofs in Predicate Logic.
2 ECs |
(8)
| Upload am: 04.03.2019, 18:48 | 90,19 kB | 15 Seiten | 197 Downloads | Version 2
Logik und Berechenbarkeit VO
pdfKlausurangabe 01.02.2019
Note 2, alle praktischen Beispiele komplett richtig
2 ECs |
(15)
| Upload am: 28.02.2019, 13:55 | 3,84 MB | 13 Seiten | 344 Downloads
Logik und Berechenbarkeit VO
pdfStoffzusammenfassung Natural Deduction Proofs
Eine Sammlung sämtlicher Natural Deduction Proofs in Propositional Logic.
2 ECs |
(5)
| Upload am: 22.02.2019, 16:12 | 87,16 kB | 16 Seiten | 174 Downloads | Version 2
Logik und Berechenbarkeit VO
pdfHausübung 08.11.2018 Logic and Computability
Logic and Computability Assignment 1
1 ECs |
(3)
| Upload am: 19.11.2018, 14:43 | 27,76 kB | 7 Seiten | 88 Downloads
Logik und Berechenbarkeit VO
pdfPrüfungsfragenausarbeitung 02.02.2018
Prüfung vom 02.02.2018 mit Lösung
2 ECs |
(15)
| Upload am: 28.02.2018, 22:47 | 2,49 MB | 11 Seiten | 378 Downloads
Logik und Berechenbarkeit VO
zipHausübung WS2017
Alle assignments mit Lösung
Update: inkl. repair assignment
3 ECs |
(20)
| Upload am: 30.01.2018, 20:46 | 21,26 MB | 297 Downloads | Version 2
Logik und Berechenbarkeit VO
pdfStoffzusammenfassung WS2016
1 ECs |
(11)
| Upload am: 27.01.2018, 19:35 | 1,44 MB | 21 Seiten | 218 Downloads
Logik und Berechenbarkeit VO
pdfKlausurangabe 03.02.2017
0 ECs |
(11)
| Upload am: 24.06.2017, 07:03 | 61,62 kB | 1 Seiten | 340 Downloads
Logik und Berechenbarkeit VO
pdfKlausurangabe 04.05.2017
Klausurangabe 04.05.2017
2 ECs |
(11)
| Upload am: 21.05.2017, 23:05 | 25,85 MB | 9 Seiten | 274 Downloads
Logik und Berechenbarkeit VO

pdfKlausurangabe 09.05.2016
Klausurangabe 09.05.2016
2 ECs |
(7)
| Upload am: 09.01.2017, 10:28 | 228,13 kB | 9 Seiten | 249 Downloads
Logik und Berechenbarkeit VO

pdfHausübung WS2015 Ass11 - Angabe
Assignment 11
0 ECs |
(1)
| Upload am: 10.10.2016, 08:22 | 80,38 kB | 3 Seiten | 38 Downloads
Logik und Berechenbarkeit VO

pdfHausübung WS2015 Ass10 - Angabe
Assignment 10
0 ECs |
(1)
| Upload am: 10.10.2016, 08:22 | 86,83 kB | 1 Seiten | 31 Downloads
Logik und Berechenbarkeit VO

pdfHausübung WS2015 Ass9 - Angabe
Assignment 9
0 ECs |
(1)
| Upload am: 10.10.2016, 08:22 | 96,70 kB | 3 Seiten | 32 Downloads
Logik und Berechenbarkeit VO

pdfHausübung WS2015 Ass8 - Angabe
Assignment 8
0 ECs |
(1)
| Upload am: 10.10.2016, 08:22 | 65,68 kB | 1 Seiten | 33 Downloads
Logik und Berechenbarkeit VO

pdfHausübung WS2015 Ass7 - Angabe
Assignment 7
0 ECs |
(0)
| Upload am: 10.10.2016, 08:22 | 99,17 kB | 2 Seiten | 44 Downloads
Logik und Berechenbarkeit VO

pdfHausübung WS2015 Ass6 - Angabe
Assignment 6
0 ECs |
(0)
| Upload am: 10.10.2016, 08:22 | 161,78 kB | 4 Seiten | 42 Downloads
Logik und Berechenbarkeit VO

pdfHausübung WS2015 Ass5 - Angabe
Assignment 5
0 ECs |
(0)
| Upload am: 10.10.2016, 08:22 | 143,06 kB | 3 Seiten | 64 Downloads
Logik und Berechenbarkeit VO

pdfHausübung WS2015 Ass4 - Lösung
Assignment 4 Solutions
0 ECs |
(4)
| Upload am: 10.10.2016, 08:22 | 1,41 MB | 5 Seiten | 113 Downloads
Logik und Berechenbarkeit VO

pdfHausübung WS2015 Ass4 - Angabe
Assignment 4
0 ECs |
(0)
| Upload am: 10.10.2016, 08:22 | 75,46 kB | 4 Seiten | 61 Downloads
Logik und Berechenbarkeit VO

pdfHausübung WS2015 Ass3 - Angabe
Assignment 3
0 ECs |
(0)
| Upload am: 10.10.2016, 08:22 | 154,93 kB | 3 Seiten | 57 Downloads
Logik und Berechenbarkeit VO

pdfHausübung WS2015 Ass2 - Lösung
Assignment 2 Solution
0 ECs |
(4)
| Upload am: 10.10.2016, 08:22 | 110,74 kB | 6 Seiten | 136 Downloads
Logik und Berechenbarkeit VO

pdfHausübung WS2015 Ass2 - Angabe
Assignment 2
0 ECs |
(0)
| Upload am: 10.10.2016, 08:22 | 72,75 kB | 2 Seiten | 48 Downloads
Logik und Berechenbarkeit VO

pdfHausübung WS2015 Ass1 - Angabe
Assignment 1
0 ECs |
(2)
| Upload am: 10.10.2016, 08:22 | 329,58 kB | 3 Seiten | 58 Downloads
Logik und Berechenbarkeit VO

pdfHausübung WS2015 Ass0 - Angabe
Assignment 0
0 ECs |
(1)
| Upload am: 10.10.2016, 08:22 | 72,64 kB | 3 Seiten | 28 Downloads
Logik und Berechenbarkeit VO
pdfStoffzusammenfassung
Stoffzusammenfassung von den wichtigen theoretischen wissen, die bei einer Pruefung abgefragt werden.
Sie bringt sich nur etwas, wenn man den Stoff schon angeschaut hat, da sie sehr kurz gehalten wurde.
1 ECs |
(5)
| Upload am: 13.01.2016, 16:05 | 2,08 MB | 17 Seiten | 203 Downloads
Logik und Berechenbarkeit VO
Statistik
Anzahl der angezeigten Dateien: 31 | Größe der gezeigten Dateien Gesamt: 171,55 MB
©2021 by HTU Graz | Nutzungsbedinungen, Impressum, Datenschutzerklärung, Team