GenCS issueshttps://gl.mathhub.info/MiKoMH/GenCS/-/issues2024-03-20T15:39:10Zhttps://gl.mathhub.info/MiKoMH/GenCS/-/issues/34User reported ERROR pl0/slides/semantic-properties.en.xhtml2024-03-20T15:39:10Zcontent-issuesUser reported ERROR pl0/slides/semantic-properties.en.xhtmlA content ERROR was logged by "Luca Becker" at the following url:
https://courses.voll-ki.fau.de/course-notes/ai-1?inDocPath=2v696w.-qxa9pm.7vss47%7Eea0d73ba
## The issue as described by the user:
```
typo
```
## The text highlighted ...A content ERROR was logged by "Luca Becker" at the following url:
https://courses.voll-ki.fau.de/course-notes/ai-1?inDocPath=2v696w.-qxa9pm.7vss47%7Eea0d73ba
## The issue as described by the user:
```
typo
```
## The text highlighted while reporting this issue:
```
copula
```
### The selected text was in the following section hierarchy:
**_INNERMOST SECTION FIRST_**
1. GitLab: https://gl.mathhub.info/MiKoMH/GenCS/-/blob/main/source/pl0/slides/semantic-properties.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/GenCS&filepath=pl0/slides/semantic-properties.en.xhtml&bindings=0_7_3X7DPhptU
2. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/proplog-formal.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/proplog-formal.en.xhtml&bindings=0_0_RYhK
3. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/proplog.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/proplog.en.xhtml&bindings=0_0_QhI
4. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/sec/krinf.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/sec/krinf.en.xhtml&bindings=0_0_OE
5. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/notes/notes1.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/notes/notes1.xhtmlhttps://gl.mathhub.info/MiKoMH/GenCS/-/issues/33User reported ERROR pl0/slides/semantic-properties.en.xhtml2024-03-20T15:38:35Zcontent-issuesUser reported ERROR pl0/slides/semantic-properties.en.xhtmlA content ERROR was logged by "Luca Becker" at the following url:
https://courses.voll-ki.fau.de/course-notes/ai-1?inDocPath=2v696w.-qxa9pm.7vss47%7Eea0d73ba
## The issue as described by the user:
```
typo
```
## The text highlighted ...A content ERROR was logged by "Luca Becker" at the following url:
https://courses.voll-ki.fau.de/course-notes/ai-1?inDocPath=2v696w.-qxa9pm.7vss47%7Eea0d73ba
## The issue as described by the user:
```
typo
```
## The text highlighted while reporting this issue:
```
forulae
```
### The selected text was in the following section hierarchy:
**_INNERMOST SECTION FIRST_**
1. GitLab: https://gl.mathhub.info/MiKoMH/GenCS/-/blob/main/source/pl0/slides/semantic-properties.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/GenCS&filepath=pl0/slides/semantic-properties.en.xhtml&bindings=0_7_3X7DPhptU
2. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/proplog-formal.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/proplog-formal.en.xhtml&bindings=0_0_RYhK
3. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/proplog.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/proplog.en.xhtml&bindings=0_0_QhI
4. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/sec/krinf.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/sec/krinf.en.xhtml&bindings=0_0_OE
5. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/notes/notes1.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/notes/notes1.xhtmlhttps://gl.mathhub.info/MiKoMH/GenCS/-/issues/31User reported SUGGESTION xml/slides/xml-nutshell.en.xhtml2024-02-10T14:52:12Zcontent-issuesUser reported SUGGESTION xml/slides/xml-nutshell.en.xhtmlA content SUGGESTION was logged by "Hugo Bernhard Janz" at the following url:
https://courses.voll-ki.fau.de/de/course-view/iwgs-1?sectionId=204a01ba&slideNum=1&viewMode=SLIDE_MODE&audioOnly=false
## The issue as described by the user:...A content SUGGESTION was logged by "Hugo Bernhard Janz" at the following url:
https://courses.voll-ki.fau.de/de/course-view/iwgs-1?sectionId=204a01ba&slideNum=1&viewMode=SLIDE_MODE&audioOnly=false
## The issue as described by the user:
```
Better: 'markup format framework'
```
## The text highlighted while reporting this issue:
```
framework for
markup formats
```
### The selected text was in the following section hierarchy:
1. GitLab: https://gl.mathhub.info/MiKoMH/GenCS/-/blob/main/source/xml/slides/xml-nutshell.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/GenCS&filepath=xml/slides/xml-nutshell.en.xhtmlhttps://gl.mathhub.info/MiKoMH/GenCS/-/issues/26User reported ERROR www/slides/js-html-ex.en.xhtml2024-02-01T18:38:08Zcontent-issuesUser reported ERROR www/slides/js-html-ex.en.xhtmlA content ERROR was logged by "Hugo Bernhard Janz" at the following url:
https://courses.voll-ki.fau.de/de/course-view/iwgs-1?sectionId=9b4a0783&slideNum=7&viewMode=SLIDE_MODE&audioOnly=false
## The issue as described by the user:
```
...A content ERROR was logged by "Hugo Bernhard Janz" at the following url:
https://courses.voll-ki.fau.de/de/course-view/iwgs-1?sectionId=9b4a0783&slideNum=7&viewMode=SLIDE_MODE&audioOnly=false
## The issue as described by the user:
```
'test' should be 'text'
```
## The text highlighted while reporting this issue:
```
test/javascript
```
### The selected text was in the following section hierarchy:
1. GitLab: https://gl.mathhub.info/MiKoMH/GenCS/-/blob/main/source/www/slides/js-html-ex.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/GenCS&filepath=www/slides/js-html-ex.en.xhtmlhttps://gl.mathhub.info/MiKoMH/GenCS/-/issues/25Script IPv42024-01-28T11:03:50Zcontent-issuesScript IPv4A content SUGGESTION was logged by "Clara Steinfels" at the following url:
https://courses.voll-ki.fau.de/de/course-notes/iwgs-1?inDocPath=-svktol.-bzy43d%7E1c71766a
## The issue as described by the user:
```
billion statt million, nic...A content SUGGESTION was logged by "Clara Steinfels" at the following url:
https://courses.voll-ki.fau.de/de/course-notes/iwgs-1?inDocPath=-svktol.-bzy43d%7E1c71766a
## The issue as described by the user:
```
billion statt million, nicht?
```
## The text highlighted while reporting this issue:
```
million
```
### The selected text was in the following section hierarchy:
**_INNERMOST SECTION FIRST_**
1. GitLab: https://gl.mathhub.info/MiKoMH/GenCS/-/blob/main/source/internet/slides/internet-protocol.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/GenCS&filepath=internet/slides/internet-protocol.en.xhtml&bindings=1_4_eMYe9NPjE5s
2. GitLab: https://gl.mathhub.info/MiKoMH/GenCS/-/blob/main/source/internet/sec/basics.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/GenCS&filepath=internet/sec/basics.en.xhtml&bindings=1_0_39ANmu
3. GitLab: https://gl.mathhub.info/MiKoMH/IWGS/-/blob/main/source/webapps/sec/webapps.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/IWGS&filepath=webapps/sec/webapps.en.xhtml&bindings=1_0_LmXq
4. GitLab: https://gl.mathhub.info/MiKoMH/IWGS/-/blob/main/source/course/notes/notes-part1.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/IWGS&filepath=course/notes/notes-part1.xhtmlhttps://gl.mathhub.info/MiKoMH/GenCS/-/issues/24Doppelte Definition: Template Engine2024-01-28T10:44:44Zcontent-issuesDoppelte Definition: Template EngineA content ERROR was logged by "Clara Steinfels" at the following url:
https://courses.voll-ki.fau.de/de/course-notes/iwgs-1?inDocPath=-svktol%7E788edbde
## The issue as described by the user:
```
Ich bilde mir ein, dass die Definitione...A content ERROR was logged by "Clara Steinfels" at the following url:
https://courses.voll-ki.fau.de/de/course-notes/iwgs-1?inDocPath=-svktol%7E788edbde
## The issue as described by the user:
```
Ich bilde mir ein, dass die Definitionen 1.4.16 und 1.4.19, beide zu "Template engine" hier (weitestgehend) identisch sind. Ich bin mir nicht sicher, ob diese Dopplung so intendiert war, aber ich dachte, ich weise einmal darauf hin. :)
```
## The text highlighted while reporting this issue:
```
โท
A
template engine
(or
template processor) for a
document format
๐น
is a
program
that transforms
templates, i.e.
strings
or
files
(a
template file) ith a mixture of
program
constructs and
๐น
markup, into a
๐น
strings or
๐น
documents by executing the
program
constructs in the
template
(template processing).
```
### The selected text was in the following section hierarchy:
**_INNERMOST SECTION FIRST_**
1. GitLab: https://gl.mathhub.info/MiKoMH/GenCS/-/blob/main/source/www/slides/template-engine.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/GenCS&filepath=www/slides/template-engine.en.xhtml&bindings=1_2_449mo2mifZsJ9U
2. GitLab: https://gl.mathhub.info/MiKoMH/IWGS/-/blob/main/source/webapps/sec/stpl.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/IWGS&filepath=webapps/sec/stpl.en.xhtml&bindings=1_1_X9SUNIuIalC
3. GitLab: https://gl.mathhub.info/MiKoMH/IWGS/-/blob/main/source/webapps/sec/serverside.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/IWGS&filepath=webapps/sec/serverside.en.xhtml&bindings=1_0_3mpMVIPy
4. GitLab: https://gl.mathhub.info/MiKoMH/IWGS/-/blob/main/source/webapps/sec/webapps.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/IWGS&filepath=webapps/sec/webapps.en.xhtml&bindings=1_0_LmXq
5. GitLab: https://gl.mathhub.info/MiKoMH/IWGS/-/blob/main/source/course/notes/notes-part1.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/IWGS&filepath=course/notes/notes-part1.xhtmlhttps://gl.mathhub.info/MiKoMH/GenCS/-/issues/23Tippfehler bei HTTP: iff2024-01-28T10:18:21Zcontent-issuesTippfehler bei HTTP: iffA content ERROR was logged by "Clara Steinfels" at the following url:
https://courses.voll-ki.fau.de/de/course-notes/iwgs-1?inDocPath=-svktol%7E788edbde
## The issue as described by the user:
```
Zwei mal der kleine Tippfehler "iff" st...A content ERROR was logged by "Clara Steinfels" at the following url:
https://courses.voll-ki.fau.de/de/course-notes/iwgs-1?inDocPath=-svktol%7E788edbde
## The issue as described by the user:
```
Zwei mal der kleine Tippfehler "iff" statt "if"
```
## The text highlighted while reporting this issue:
```
We call a
HTTP
request
safe,
iff
it does not change the state in the
web server.(except for server logs, counters,...; no side effects)
โท
We call a
HTTP
request
idempotent,
iff
executing it twice has the same effect as executing it once.
```
### The selected text was in the following section hierarchy:
**_INNERMOST SECTION FIRST_**
1. GitLab: https://gl.mathhub.info/MiKoMH/GenCS/-/blob/main/source/www/slides/http-protocol.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/GenCS&filepath=www/slides/http-protocol.en.xhtml&bindings=1_1_TwdW9mzYC
2. GitLab: https://gl.mathhub.info/MiKoMH/IWGS/-/blob/main/source/webapps/sec/running.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/IWGS&filepath=webapps/sec/running.en.xhtml&bindings=1_0_RMECTzr6
3. GitLab: https://gl.mathhub.info/MiKoMH/IWGS/-/blob/main/source/webapps/sec/www-basics.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/IWGS&filepath=webapps/sec/www-basics.en.xhtml&bindings=1_0_OtuJWO
4. GitLab: https://gl.mathhub.info/MiKoMH/IWGS/-/blob/main/source/webapps/sec/webapps.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/IWGS&filepath=webapps/sec/webapps.en.xhtml&bindings=1_0_LmXq
5. GitLab: https://gl.mathhub.info/MiKoMH/IWGS/-/blob/main/source/course/notes/notes-part1.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/IWGS&filepath=course/notes/notes-part1.xhtmlhttps://gl.mathhub.info/MiKoMH/GenCS/-/issues/20User reported ERROR pl0/slides/prop-identities.en.xhtml2023-12-19T12:01:30Zcontent-issuesUser reported ERROR pl0/slides/prop-identities.en.xhtmlA content ERROR was logged by "Niklas Schmitt" at the following url:
https://courses.voll-ki.fau.de/course-view/ai-1?sectionId=eb0bdc5a&slideNum=7&viewMode=SLIDE_MODE&audioOnly=false
## The issue as described by the user:
```
I think i...A content ERROR was logged by "Niklas Schmitt" at the following url:
https://courses.voll-ki.fau.de/course-view/ai-1?sectionId=eb0bdc5a&slideNum=7&viewMode=SLIDE_MODE&audioOnly=false
## The issue as described by the user:
```
I think it should be Idempotence - with an M? :)
```
## The text highlighted while reporting this issue:
```
Idenpotence
```
### The selected text was in the following section hierarchy:
1. GitLab: https://gl.mathhub.info/MiKoMH/GenCS/-/blob/main/source/pl0/slides/prop-identities.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/GenCS&filepath=pl0/slides/prop-identities.en.xhtmlhttps://gl.mathhub.info/MiKoMH/GenCS/-/issues/18Definition enumerations do not increase2023-12-10T18:24:37Zcontent-issuesDefinition enumerations do not increaseA content ERROR was logged by "a user" at the following url:
https://courses.voll-ki.fau.de/course-view/ai-1?sectionId=e55f4ebf&slideNum=5&viewMode=SLIDE_MODE&audioOnly=true
## The issue as described by the user:
```
Definition enumara...A content ERROR was logged by "a user" at the following url:
https://courses.voll-ki.fau.de/course-view/ai-1?sectionId=e55f4ebf&slideNum=5&viewMode=SLIDE_MODE&audioOnly=true
## The issue as described by the user:
```
Definition enumarations should be increased like:
Definition 0.1
Definition 0.2
But it is all Definition 0.1
(also in the previous and subsequent slides)
```
## The text highlighted while reporting this issue:
```
โท
```
### The selected text was in the following section hierarchy:
1. GitLab: https://gl.mathhub.info/MiKoMH/GenCS/-/blob/main/source/pl0/slides/pl0-semantics.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/GenCS&filepath=pl0/slides/pl0-semantics.en.xhtmlhttps://gl.mathhub.info/MiKoMH/GenCS/-/issues/17Deutsches Wort? Schema - Scheme2023-12-07T13:57:46Zcontent-issuesDeutsches Wort? Schema - SchemeA content ERROR was logged by "Clara Steinfels" at the following url:
https://courses.voll-ki.fau.de/de/course-notes/iwgs-1?inDocPath=7y4z5l.ea53qj%7E4dbed86d
## The issue as described by the user:
```
Hier steht statt dem englischen โ...A content ERROR was logged by "Clara Steinfels" at the following url:
https://courses.voll-ki.fau.de/de/course-notes/iwgs-1?inDocPath=7y4z5l.ea53qj%7E4dbed86d
## The issue as described by the user:
```
Hier steht statt dem englischen โschemeโ das Deutsche โSchemaโ. Ich glaube, das ist ein kleiner Tipp-Fehler
```
## The text highlighted while reporting this issue:
```
schema
```
### The selected text was in the following section hierarchy:
**_INNERMOST SECTION FIRST_**
1. GitLab: https://gl.mathhub.info/MiKoMH/GenCS/-/blob/main/source/codes/slides/utfcodes.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/GenCS&filepath=codes/slides/utfcodes.en.xhtml&bindings=1_5_gN8RZW80NI6dYx4
2. GitLab: https://gl.mathhub.info/MiKoMH/IWGS/-/blob/main/source/progintro/sec/unicode.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/IWGS&filepath=progintro/sec/unicode.en.xhtml&bindings=1_1_cCnlFW
3. GitLab: https://gl.mathhub.info/MiKoMH/IWGS/-/blob/main/source/progintro/sec/datastructures.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/IWGS&filepath=progintro/sec/datastructures.en.xhtml&bindings=1_0_bti
4. GitLab: https://gl.mathhub.info/MiKoMH/IWGS/-/blob/main/source/course/notes/notes-part1.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/IWGS&filepath=course/notes/notes-part1.xhtmlhttps://gl.mathhub.info/MiKoMH/GenCS/-/issues/14Florian: Do you really need to distinguish model and variable assignment?2023-12-05T23:31:20Zcontent-issuesFlorian: Do you really need to distinguish model and variable assignment?A content ERROR was logged by "a user" at the following url:
https://courses.voll-ki.fau.de/course-notes/ai-1?inDocPath=2v696w.-qxa9pm.-z4t3oa%7Ee55f4ebf
## The issue as described by the user:
```
I know you like it that way because it...A content ERROR was logged by "a user" at the following url:
https://courses.voll-ki.fau.de/course-notes/ai-1?inDocPath=2v696w.-qxa9pm.-z4t3oa%7Ee55f4ebf
## The issue as described by the user:
```
I know you like it that way because it looks like HOL.
But it makes the presentation so much more complicated without any discernible gain.
```
## The text highlighted while reporting this issue:
```
variable assignment
```
### The selected text was in the following section hierarchy:
**_INNERMOST SECTION FIRST_**
1. GitLab: https://gl.mathhub.info/MiKoMH/GenCS/-/blob/main/source/pl0/slides/pl0-semantics.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/GenCS&filepath=pl0/slides/pl0-semantics.en.xhtml&bindings=0_3_VvEMyu
2. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/proplog-formal.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/proplog-formal.en.xhtml&bindings=0_0_RYhK
3. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/proplog.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/proplog.en.xhtml&bindings=0_0_QhI
4. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/sec/krinf.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/sec/krinf.en.xhtml&bindings=0_0_OE
5. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/notes/notes1.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/notes/notes1.xhtmlhttps://gl.mathhub.info/MiKoMH/GenCS/-/issues/13Florian: This does not work in general2023-12-05T23:29:20Zcontent-issuesFlorian: This does not work in generalA content ERROR was logged by "a user" at the following url:
https://courses.voll-ki.fau.de/course-notes/ai-1?inDocPath=2v696w.-qxa9pm.-z4t3oa%7Ee55f4ebf
## The issue as described by the user:
```
You need to allow for the case where t...A content ERROR was logged by "a user" at the following url:
https://courses.voll-ki.fau.de/course-notes/ai-1?inDocPath=2v696w.-qxa9pm.-z4t3oa%7Ee55f4ebf
## The issue as described by the user:
```
You need to allow for the case where the signature is empty.
In any case, I think it's pedagogically unwise to treat some connectives as abbreviations. Why not spell the interpretation? It's just 3 more cases.
```
## The text highlighted while reporting this issue:
```
๐=^
๐โจยฌ๐
```
### The selected text was in the following section hierarchy:
**_INNERMOST SECTION FIRST_**
1. GitLab: https://gl.mathhub.info/MiKoMH/GenCS/-/blob/main/source/pl0/slides/pl0-semantics.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/GenCS&filepath=pl0/slides/pl0-semantics.en.xhtml&bindings=0_3_VvEMyu
2. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/proplog-formal.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/proplog-formal.en.xhtml&bindings=0_0_RYhK
3. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/proplog.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/proplog.en.xhtml&bindings=0_0_QhI
4. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/sec/krinf.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/sec/krinf.en.xhtml&bindings=0_0_OE
5. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/notes/notes1.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/notes/notes1.xhtmlhttps://gl.mathhub.info/MiKoMH/GenCS/-/issues/12Florian: true and false differ from the truth values only in font2023-12-05T23:24:07Zcontent-issuesFlorian: true and false differ from the truth values only in fontA content ERROR was logged by "a user" at the following url:
https://courses.voll-ki.fau.de/course-notes/ai-1?inDocPath=2v696w.-qxa9pm.-z4t3oa%7Ee55f4ebf
## The issue as described by the user:
```
I think that's very confusing. Why not...A content ERROR was logged by "a user" at the following url:
https://courses.voll-ki.fau.de/course-notes/ai-1?inDocPath=2v696w.-qxa9pm.-z4t3oa%7Ee55f4ebf
## The issue as described by the user:
```
I think that's very confusing. Why not use true, false vs. 0,1?
```
## The text highlighted while reporting this issue:
```
Notations
```
### The selected text was in the following section hierarchy:
**_INNERMOST SECTION FIRST_**
1. GitLab: https://gl.mathhub.info/MiKoMH/GenCS/-/blob/main/source/pl0/slides/pl0-notations.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/GenCS&filepath=pl0/slides/pl0-notations.en.xhtml&bindings=0_2_VvEMyu
2. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/proplog-formal.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/proplog-formal.en.xhtml&bindings=0_0_RYhK
3. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/proplog.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/proplog.en.xhtml&bindings=0_0_QhI
4. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/sec/krinf.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/sec/krinf.en.xhtml&bindings=0_0_OE
5. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/notes/notes1.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/notes/notes1.xhtmlhttps://gl.mathhub.info/MiKoMH/GenCS/-/issues/7A dash2023-09-19T11:52:26Zcontent-issuesA dashA content ERROR was logged by "a user" at the following url:
https://courses.voll-ki.fau.de/course-notes/krmt?inDocPath=437kl2.z3alua%7E7c99810f
## The issue as described by the user:
```
I don't think there should be a dash here.
```
...A content ERROR was logged by "a user" at the following url:
https://courses.voll-ki.fau.de/course-notes/krmt?inDocPath=437kl2.z3alua%7E7c99810f
## The issue as described by the user:
```
I don't think there should be a dash here.
```
## The text highlighted while reporting this issue:
```
โ
```
### The selected text was in the following section hierarchy:
**_INNERMOST SECTION FIRST_**
1. GitLab: https://gl.mathhub.info/MiKoMH/GenCS/-/blob/main/source/logic/slides/logichistory-stlc-setthy.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/GenCS&filepath=logic/slides/logichistory-stlc-setthy.en.xhtml&bindings=1_6_28wj5nc
2. GitLab: https://gl.mathhub.info/MiKoMH/GenCS/-/blob/main/source/logic/sec/history-of-ideas.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/GenCS&filepath=logic/sec/history-of-ideas.en.xhtml&bindings=1_2_24nxZo
3. GitLab: https://gl.mathhub.info/MiKoMH/CompLog/-/blob/main/source/course/sec/whatiscomplog.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/CompLog&filepath=course/sec/whatiscomplog.en.xhtml&bindings=1_0_1SI
4. GitLab: https://gl.mathhub.info/MiKoMH/KRMT/-/blob/main/source/course/notes/notes.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/KRMT&filepath=course/notes/notes.xhtmlhttps://gl.mathhub.info/MiKoMH/GenCS/-/issues/5User reported SUGGESTION pl0/slides/semantic-properties.en.xhtml2023-02-10T19:45:44Zcontent-issuesUser reported SUGGESTION pl0/slides/semantic-properties.en.xhtmlA content SUGGESTION was logged by "Frank Alleborn" at the following url:
https://courses.voll-ki.fau.de/browser/%3AsTeX%2Fdocument%3Farchive%3DMiKoMH%2FAI%26filepath%3Dcourse%2Fnotes%2Fnotes.xhtml?inDocPath=-qxa9pm.-z4t3oa
## The issu...A content SUGGESTION was logged by "Frank Alleborn" at the following url:
https://courses.voll-ki.fau.de/browser/%3AsTeX%2Fdocument%3Farchive%3DMiKoMH%2FAI%26filepath%3Dcourse%2Fnotes%2Fnotes.xhtml?inDocPath=-qxa9pm.-z4t3oa
## The issue as described by the user:
```
It is unclear to me what that means?
```
## The text highlighted while reporting this issue:
```
and
[[A]], if
A
is ground, and
[[A]], if
M
is clear
```
### The selected text was in the following section hierarchy:
**_INNERMOST SECTION FIRST_**
1. GitLab: https://gl.mathhub.info/MiKoMH/GenCS/-/blob/main/source/pl0/slides/semantic-properties.en.tex<br/>FetchURL: /:sTeX/fulldocument?archive=MiKoMH/GenCS&filepath=pl0/slides/semantic-properties.en.xhtml
2. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/proplog-formal.en.tex<br/>FetchURL: /:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/proplog-formal.en.xhtml
3. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/proplog.en.tex<br/>FetchURL: /:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/proplog.en.xhtml
4. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/notes/notes.tex<br/>FetchURL: :sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/notes/notes.xhtmlhttps://gl.mathhub.info/MiKoMH/GenCS/-/issues/4User reported SUGGESTION pl0/slides/pl0-syntax.en.xhtml2023-02-10T19:25:00Zcontent-issuesUser reported SUGGESTION pl0/slides/pl0-syntax.en.xhtmlA content SUGGESTION was logged by "a user" at the following url:
https://courses.voll-ki.fau.de/browser/%3AsTeX%2Fdocument%3Farchive%3DMiKoMH%2FAI%26filepath%3Dcourse%2Fnotes%2Fnotes.xhtml?inDocPath=-qxa9pm.-z4t3oa
## The issue as des...A content SUGGESTION was logged by "a user" at the following url:
https://courses.voll-ki.fau.de/browser/%3AsTeX%2Fdocument%3Farchive%3DMiKoMH%2FAI%26filepath%3Dcourse%2Fnotes%2Fnotes.xhtml?inDocPath=-qxa9pm.-z4t3oa
## The issue as described by the user:
```
This might be very pedantic, but I'm not sure if the definition really provides a unique set. I would add something like "Let wff_0(V_0) be the smallest set, such that:...", else there could be some statements included, that are not supposed to. Consider the following definition of natural numbers: Let N\subset\mathbb{R} be the set, for which 0\in N and (n\in N \Rightarrow n+1\in N) holds, then the natural numbers are the smallest (regarding inclusion) set satisfying this definition, but also Z oder Q will satisfy the definition.
```
## The text highlighted while reporting this issue:
```
We define the set
wff0(V0)
of
well-formed propositional formulae
(wffs) as
```
### The selected text was in the following section hierarchy:
**_INNERMOST SECTION FIRST_**
1. GitLab: https://gl.mathhub.info/MiKoMH/GenCS/-/blob/main/source/pl0/slides/pl0-syntax.en.tex<br/>FetchURL: /:sTeX/fulldocument?archive=MiKoMH/GenCS&filepath=pl0/slides/pl0-syntax.en.xhtml
2. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/proplog-formal.en.tex<br/>FetchURL: /:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/proplog-formal.en.xhtml
3. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/proplog.en.tex<br/>FetchURL: /:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/proplog.en.xhtml
4. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/notes/notes.tex<br/>FetchURL: :sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/notes/notes.xhtml