Commits · main · Anthony Lin / Logik22

20 Jan, 2023 1 commit
- Updated slides - corrected typos etc. · 00af6e54
  Anthony Widjaja Lin authored Jan 21, 2023
  
  00af6e54
12 Jan, 2023 1 commit
- Typos on slides corrected · e19b0967
  Anthony Widjaja Lin authored Jan 12, 2023
  
  e19b0967
09 Jan, 2023 1 commit
- Added German translation · 101d8c46
  Anthony Widjaja Lin authored Jan 09, 2023
  
  101d8c46
03 Jan, 2023 2 commits
- Added new slides · 52bed3a9
  Anthony Widjaja Lin authored Jan 03, 2023
  
  52bed3a9
- New slides added · 9d0ad45c
  Anthony Widjaja Lin authored Jan 03, 2023
  
  9d0ad45c
02 Jan, 2023 4 commits
- German reference · 54482002
  Anthony Widjaja Lin authored Jan 02, 2023
  
  54482002
- Fixed some terms · decd6ccc
  Anthony Widjaja Lin authored Jan 02, 2023
  
  decd6ccc
- Deutsche Version · e969c6c5
  Anthony Widjaja Lin authored Jan 02, 2023
  
  e969c6c5
- German version · 0c8635c8
  Anthony Widjaja Lin authored Jan 02, 2023
  
  0c8635c8
14 Dec, 2022 1 commit
- Fixed typos etc. · aea79b78
  Anthony Widjaja Lin authored Dec 14, 2022
  
  aea79b78
12 Dec, 2022 1 commit
- Added german version · eee0b112
  Anthony Widjaja Lin authored Dec 12, 2022
  
  eee0b112
08 Dec, 2022 1 commit
- Typos and improvement · 5bad44bb
  Anthony Widjaja Lin authored Dec 08, 2022
  
  5bad44bb
07 Dec, 2022 1 commit
- Added German sldies · b8b96d36
  Anthony Widjaja Lin authored Dec 07, 2022
  
  b8b96d36
05 Dec, 2022 4 commits
- German version of overview · 0819ae27
  Anthony Widjaja Lin authored Dec 05, 2022
  
  0819ae27
- typo · 0dedac4d
  Anthony Widjaja Lin authored Dec 05, 2022
  
  0dedac4d
- Merge branch 'main' of arg-git.informatik.uni-kl.de:lin/logik22 · 03950417
  Anthony Widjaja Lin authored Dec 05, 2022
  
  03950417
- Added some updated notes in German · 044cc109
  Anthony Widjaja Lin authored Dec 05, 2022
  
  044cc109
01 Dec, 2022 4 commits
- Added stuff · 0b6480e1
  Anthony Widjaja Lin authored Dec 01, 2022
  
  0b6480e1
- Merge branch 'main' of https://arg-git.informatik.uni-kl.de/lin/logik22 · 3846e318
  Oliver Markgraf authored Dec 01, 2022
  
  3846e318
- upload sheets · 845d383a
  Oliver Markgraf authored Dec 01, 2022
  
  845d383a
- Added (part) of German translation for normal form until the · 46b9cbf1
  Anthony Widjaja Lin authored Dec 01, 2022
```
Skolemization
```
  46b9cbf1
30 Nov, 2022 3 commits
- Added companion notes · f657fcb3
  Anthony Widjaja Lin authored Nov 30, 2022
  
  f657fcb3
- German version of second set of slides · 67a9383e
  Anthony Widjaja Lin authored Nov 30, 2022
  
  67a9383e
- Corrected typos · 8cda7d98
  Anthony Widjaja Lin authored Nov 30, 2022
  
  8cda7d98
29 Nov, 2022 2 commits
- upload english sources · a4b12f38
  Oliver Markgraf authored Nov 29, 2022
  
  a4b12f38
- Upload New File · 792a5135
  Oliver Markgraf authored Nov 29, 2022
  
  792a5135
28 Nov, 2022 3 commits
- Upload New File · b3e06cbb
  Oliver Markgraf authored Nov 28, 2022
  
  b3e06cbb
- Add new directory · cac7ecb3
  Oliver Markgraf authored Nov 28, 2022
  
  cac7ecb3
- Updated week 4 material · 93ec1b1a
  ZeroBone authored Nov 28, 2022
  
  93ec1b1a
13 Nov, 2022 2 commits
- Merge branch 'main' of https://arg-git.informatik.uni-kl.de/lin/logik22 into main · 3cf8d357
  ZeroBone authored Nov 13, 2022
  
  3cf8d357
- Week 4 English material · a4a15f77
  ZeroBone authored Nov 13, 2022
  
  a4a15f77
11 Nov, 2022 2 commits
- Upload New File · 48b2693e
  Oliver Markgraf authored Nov 11, 2022
  
  48b2693e
- Upload New File · 830ce0a1
  Oliver Markgraf authored Nov 11, 2022
  
  830ce0a1
09 Nov, 2022 2 commits
- Upload New File · 57b20131
  Oliver Markgraf authored Nov 09, 2022
  
  57b20131
- Upload New File · 11322559
  Oliver Markgraf authored Nov 09, 2022
  
  11322559
07 Nov, 2022 1 commit
- Tseitin's transformation material · 317bbab7
  ZeroBone authored Nov 07, 2022
  
  317bbab7
04 Nov, 2022 3 commits
- Most of the material for week3, both in English and in German · 4790d092
  Alexander Mayorov authored Nov 04, 2022
  
  4790d092
- Week 3 overview German version · f132f082
  Alexander Mayorov authored Nov 04, 2022
  
  f132f082
- Update README.md · abb852a6
  Oliver Markgraf authored Nov 04, 2022
  
  abb852a6
03 Nov, 2022 1 commit
- Merge branch 'oliver-main-patch-15070' into 'main' · dcd6461f
  Oliver Markgraf authored Nov 03, 2022
```
Update README.md

See merge request !4
```
  dcd6461f