issues
search
karlstroetmann
/
Logic
Hier finden Sie die Unterlagen zu der Vorlesung "Theoretische Informatik I", die sich im wesentlichen mit der Logik befasst. Die Beispiele sind in der Sprache Python implementiert.
MIT License
31
stars
30
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Die About-Beschreibung anpassen
#38
coSK123
closed
2 months ago
1
Fixed an Error and a translation
#37
coSK123
closed
1 year ago
1
Update limits.tex
#36
coSK123
closed
1 year ago
1
Fixed typo in propositional-logic.tex
#35
strjonas
closed
1 year ago
1
Removed unnecessary semicolons and fixed broken links in script
#34
piuswalter
closed
3 years ago
0
Fixed typos
#33
piuswalter
closed
3 years ago
1
Typo
#32
Tommy-FF
closed
4 years ago
1
Fixing Typos
#31
Gnuhry
closed
4 years ago
1
Fix Typo
#30
Gnuhry
closed
4 years ago
0
Fix typo
#29
Danghor
closed
5 years ago
1
Fixed some Typos
#28
elsholz
closed
5 years ago
1
Create LICENSE
#27
karlstroetmann
closed
6 years ago
0
Remove and ignore .bbl and .blg files
#26
Danghor
closed
7 years ago
1
Fix typos and inconsistencies
#25
Danghor
closed
7 years ago
1
Fix typos
#24
Danghor
closed
7 years ago
1
Fix typos
#23
Danghor
closed
7 years ago
1
Fix typo
#22
Danghor
closed
7 years ago
1
Fix typos
#21
Danghor
closed
7 years ago
1
changed the typewriter-font to inconsolata-g
#20
LucaVazz
closed
8 years ago
1
Fix typos
#19
Danghor
closed
8 years ago
1
moved obsolete things
#18
LucaVazz
closed
8 years ago
1
some fixes (#16), extended
#17
LucaVazz
closed
8 years ago
1
Some fixes
#16
klotztech
closed
8 years ago
1
fixed german Umlaute
#15
LucaVazz
closed
8 years ago
1
Fix some umlaute.
#14
Danghor
closed
8 years ago
1
Fix Umlaute
#13
Danghor
closed
8 years ago
1
fix typo
#12
Danghor
closed
8 years ago
1
Sortieren durch auswahl
#11
Pfeifenjoy
closed
9 years ago
1
corrected spelling mistake
#10
Pfeifenjoy
closed
9 years ago
1
spelling mistake
#9
Pfeifenjoy
closed
9 years ago
1
corrected spelling mistakes
#8
Pfeifenjoy
closed
9 years ago
1
Schreibfehler
#7
Pfeifenjoy
closed
9 years ago
1
Tippfehler verbessert
#6
Danghor
closed
9 years ago
1
fix typos
#5
Danghor
closed
9 years ago
1
fixed typos
#4
Danghor
closed
10 years ago
1
fixed typos
#3
Danghor
closed
10 years ago
1
fixed typo
#2
Danghor
closed
10 years ago
1
new orthography
#1
Danghor
closed
10 years ago
1