issues
search
jkorb
/
KI1V13001-Inleiding-Logica
This is the source material for the course "Inleiding Logica" (KI1V13001) as taught at Utrecht University for the BSc "Kunstmatige Intelligentie"
Creative Commons Attribution 4.0 International
3
stars
16
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
9.2.9 typo in lemma
#74
crcaret
closed
2 years ago
1
8.5.2 typo in definition of substitution
#73
crcaret
closed
2 years ago
1
8.3.8 typo in tree
#72
crcaret
closed
2 years ago
1
Use of distinction by cases implicit in solution 3.10.2
#71
607GitHub
closed
2 years ago
1
Exercise 2.7.1 and its solution
#70
607GitHub
opened
3 years ago
0
Confusing definition because of ambiguous use of = (8.5.3)
#69
607GitHub
closed
2 years ago
1
Potentially confusing clarification in 8.2.12
#68
607GitHub
closed
2 years ago
1
Missing declaration in 5.2.4
#67
607GitHub
closed
2 years ago
1
Possibly confusing sentence in 3.6.9
#66
607GitHub
closed
2 years ago
1
Fix easily fixable mistakes
#65
607GitHub
closed
3 years ago
0
GRAVE mistake on page 277 that needs immediate rectification
#64
paggaman
closed
2 years ago
1
mathcal error
#63
sebastiaanvantil
closed
2 years ago
1
Typo in 9.4.1
#62
Mkemp63
closed
2 years ago
1
Mistake in solution for 11.7.1.5
#61
607GitHub
closed
3 years ago
1
Typo in 7.1.3
#60
Bvrheenen
closed
3 years ago
1
Typo in 8.3.9 footnote 4 (page 195)
#59
heliagh
closed
3 years ago
1
Typo's chapter 10
#58
mvrozend
closed
3 years ago
0
A double line in the tableaux of the solution of question 11.7.2.13 (APPENDIX K)
#57
ercanoezii
closed
3 years ago
0
One opening parenthesis too much at the end of solution 11.7.2.8 (APPENDIX K)
#56
ercanoezii
closed
3 years ago
0
The solution of 11.7.2.8 doesn't show the question number, but a bullet point (APPENDIX K)
#55
ercanoezii
closed
3 years ago
2
1 missing closing parenthesis in solution 11.7.2.3 (APPENDIX K)
#54
ercanoezii
closed
3 years ago
1
1 missing closing parenthesis in solution 11.7.1.4 (APPENDIX K)
#53
ercanoezii
closed
3 years ago
2
Typo's chapter 9
#52
mvrozend
closed
3 years ago
1
Typo 9.2.10
#51
mvrozend
closed
3 years ago
0
Example 9.2.7 (iv)
#50
mvrozend
closed
3 years ago
1
Typo 9.1.12
#49
mvrozend
closed
3 years ago
0
Typo 9.1.12
#48
mvrozend
closed
3 years ago
0
Typo 9.1.12
#47
mvrozend
closed
3 years ago
0
Typo 9.1.2
#46
mvrozend
closed
3 years ago
0
Missing closing parenthesis in solution 10.8.5
#45
607GitHub
closed
3 years ago
1
Missing item labels and incomplete solutions to 10.8.2c,d
#44
607GitHub
closed
3 years ago
1
Typo 4.4.2
#43
mvrozend
closed
3 years ago
1
Typo 10.8.5e
#42
coenvdam
closed
3 years ago
1
Numbering issue 11.7
#41
coenvdam
closed
3 years ago
1
added solution for 9.7.10 (i)
#40
margajdon
closed
3 years ago
0
Typo 8.1.6
#39
mvrozend
closed
3 years ago
0
Typo 8.1.6
#38
mvrozend
closed
3 years ago
0
Typo 8.1.2
#37
mvrozend
closed
3 years ago
1
Conflicting naming
#36
607GitHub
closed
3 years ago
1
Typo 7.4.1
#35
mvrozend
closed
3 years ago
1
Typo 7.4.6
#34
mvrozend
closed
3 years ago
1
Typo 7.4.5
#33
mvrozend
closed
3 years ago
1
Typo 7.2.6
#32
mvrozend
closed
3 years ago
1
Typo 7.2.6
#31
mvrozend
closed
3 years ago
0
Typo 10.5.6
#30
coenvdam
closed
3 years ago
0
Typo 10.2.5
#29
coenvdam
closed
3 years ago
0
Typo 10.1.4
#28
coenvdam
closed
3 years ago
0
Solutions 8.9.11 to 8.9.14
#27
607GitHub
closed
3 years ago
1
Proposed solutions for 9.7.5a,b,c
#26
607GitHub
closed
3 years ago
2
Typo 9.3.3
#25
coenvdam
closed
3 years ago
0
Previous
Next