MiKoMH issueshttps://gl.mathhub.info/groups/MiKoMH/-/issues2024-03-21T22:10:44Zhttps://gl.mathhub.info/MiKoMH/CompLog/-/issues/14User reported ERROR kr/slides/probst-raub-romhardt.en.xhtml2024-03-21T22:10:44Zcontent-issuesUser reported ERROR kr/slides/probst-raub-romhardt.en.xhtmlA content ERROR was logged by "a user" at the following url:
https://courses.voll-ki.fau.de/de/course-notes/ai-1?inDocPath=2v696w.-qocjk6%7Ece339541
## The issue as described by the user:
```
fehlendes t
```
## The text highlighted wh...A content ERROR was logged by "a user" at the following url:
https://courses.voll-ki.fau.de/de/course-notes/ai-1?inDocPath=2v696w.-qocjk6%7Ece339541
## The issue as described by the user:
```
fehlendes t
```
## The text highlighted while reporting this issue:
```
Staring
```
### The selected text was in the following section hierarchy:
**_INNERMOST SECTION FIRST_**
1. GitLab: https://gl.mathhub.info/MiKoMH/CompLog/-/blob/main/source/kr/slides/probst-raub-romhardt.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/CompLog&filepath=kr/slides/probst-raub-romhardt.en.xhtml&bindings=0_0_17zTijfysBinQ
2. GitLab: https://gl.mathhub.info/MiKoMH/CompLog/-/blob/main/source/kr/sec/kr-intro.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/CompLog&filepath=kr/sec/kr-intro.en.xhtml&bindings=0_0_4lCkwcB1MPwu
3. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/kr-intro.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/kr-intro.en.xhtml&bindings=0_0_4dbWCWHCxK2
4. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/kr.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/kr.en.xhtml&bindings=0_0_11fYdj3Mzi
5. 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
6. 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/CompLog/-/issues/13User reported ERROR kr/snip/krdl.en.xhtml2024-03-21T22:05:05Zcontent-issuesUser reported ERROR kr/snip/krdl.en.xhtmlA content ERROR was logged by "Simon Zimmermann" at the following url:
https://courses.voll-ki.fau.de/de/course-notes/ai-1?inDocPath=2v696w.-qocjk6%7Ece339541
## The issue as described by the user:
```
doppeltes Wort
```
## The text h...A content ERROR was logged by "Simon Zimmermann" at the following url:
https://courses.voll-ki.fau.de/de/course-notes/ai-1?inDocPath=2v696w.-qocjk6%7Ece339541
## The issue as described by the user:
```
doppeltes Wort
```
## The text highlighted while reporting this issue:
```
with with
```
### The selected text was in the following section hierarchy:
**_INNERMOST SECTION FIRST_**
1. GitLab: https://gl.mathhub.info/MiKoMH/CompLog/-/blob/main/source/kr/snip/krdl.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/CompLog&filepath=kr/snip/krdl.en.xhtml&bindings=0_0_gk7xqUYx6K
2. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/kr.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/kr.en.xhtml&bindings=0_0_11fYdj3Mzi
3. 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
4. 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/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/AI/-/issues/129User reported ERROR planning/slides/relaxed-plan-australia-ex.en.xhtml2024-02-01T15:37:18Zcontent-issuesUser reported ERROR planning/slides/relaxed-plan-australia-ex.en.xhtmlA content ERROR was logged by "Fariba Mohammadipour" at the following url:
https://courses.voll-ki.fau.de/course-view/ai-1?slideNum=6&viewMode=SLIDE_MODE&audioOnly=false&sectionId=82758ce2
## The issue as described by the user:
```
I t...A content ERROR was logged by "Fariba Mohammadipour" at the following url:
https://courses.voll-ki.fau.de/course-view/ai-1?slideNum=6&viewMode=SLIDE_MODE&audioOnly=false§ionId=82758ce2
## The issue as described by the user:
```
I think this part should be drv ( Br,Ad ) since we have already visited Br
update : I do not know how to delete the reported problem but I saw the video from course and it is solved for me
```
## The text highlighted while reporting this issue:
```
drv
(
Sy
,
Ad
)+
```
### The selected text was in the following section hierarchy:
1. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/planning/slides/relaxed-plan-australia-ex.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=planning/slides/relaxed-plan-australia-ex.en.xhtmlhttps://gl.mathhub.info/MiKoMH/AI/-/issues/128User reported ERROR planning/slides/relaxed-plan-australia-ex.en.xhtml2024-02-01T15:35:31Zcontent-issuesUser reported ERROR planning/slides/relaxed-plan-australia-ex.en.xhtmlA content ERROR was logged by "Fariba Mohammadipour" at the following url:
https://courses.voll-ki.fau.de/course-view/ai-1?slideNum=6&viewMode=SLIDE_MODE&audioOnly=false&sectionId=82758ce2
## The issue as described by the user:
```
I t...A content ERROR was logged by "Fariba Mohammadipour" at the following url:
https://courses.voll-ki.fau.de/course-view/ai-1?slideNum=6&viewMode=SLIDE_MODE&audioOnly=false§ionId=82758ce2
## The issue as described by the user:
```
I think this part should be drv ( Br,Ad ) since we have already visited Br
```
## The text highlighted while reporting this issue:
```
drv
(
Sy
,
Ad
)
```
### The selected text was in the following section hierarchy:
1. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/planning/slides/relaxed-plan-australia-ex.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=planning/slides/relaxed-plan-australia-ex.en.xhtmlhttps://gl.mathhub.info/MiKoMH/AI/-/issues/127User reported ERROR planning/slides/poplanning.en.xhtml2024-01-30T15:08:45Zcontent-issuesUser reported ERROR planning/slides/poplanning.en.xhtmlA content ERROR was logged by "Stefan Schmitt" at the following url:
https://courses.voll-ki.fau.de/course-view/ai-1?sectionId=2b8fba31&slideNum=4&viewMode=SLIDE_MODE&audioOnly=false
## The issue as described by the user:
```
How does ...A content ERROR was logged by "Stefan Schmitt" at the following url:
https://courses.voll-ki.fau.de/course-view/ai-1?sectionId=2b8fba31&slideNum=4&viewMode=SLIDE_MODE&audioOnly=false
## The issue as described by the user:
```
How does this sentence make sense? seems like there is something wrong here
```
## The text highlighted while reporting this issue:
```
actions
can occur multiply
```
### The selected text was in the following section hierarchy:
1. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/planning/slides/poplanning.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=planning/slides/poplanning.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/GenICT/-/issues/26Def: Higher Order Functions; Tippfehler2024-01-27T20:01:29Zcontent-issuesDef: Higher Order Functions; TippfehlerA content ERROR was logged by "Clara Steinfels" at the following url:
https://courses.voll-ki.fau.de/de/course-notes/iwgs-1?inDocPath=3s62g3.-ffv9sn%7E4fd284f5
## The issue as described by the user:
```
iff statt if :)
```
## The text...A content ERROR was logged by "Clara Steinfels" at the following url:
https://courses.voll-ki.fau.de/de/course-notes/iwgs-1?inDocPath=3s62g3.-ffv9sn%7E4fd284f5
## The issue as described by the user:
```
iff statt if :)
```
## The text highlighted while reporting this issue:
```
iff
```
### The selected text was in the following section hierarchy:
**_INNERMOST SECTION FIRST_**
1. GitLab: https://gl.mathhub.info/MiKoMH/GenICT/-/blob/main/source/python/slides/ho-functions.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/GenICT&filepath=python/slides/ho-functions.en.xhtml&bindings=1_2_ekjMzHevbA
2. GitLab: https://gl.mathhub.info/MiKoMH/IWGS/-/blob/main/source/progintro/sec/more-functions.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/IWGS&filepath=progintro/sec/more-functions.en.xhtml&bindings=1_1_Q6spvaA
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/CompLog/-/issues/12User reported ERROR semweb/slides/machine-understandable-web-ex.en.xhtml2024-01-26T14:26:26Zcontent-issuesUser reported ERROR semweb/slides/machine-understandable-web-ex.en.xhtmlA content ERROR was logged by "Behrooz Bozorgchamy" at the following url:
https://courses.voll-ki.fau.de/course-notes/ai-1?inDocPath=2v696w.-qocjk6%7Ef67807d6
## The issue as described by the user:
```
it should be this "ββͺβββ"
```
##...A content ERROR was logged by "Behrooz Bozorgchamy" at the following url:
https://courses.voll-ki.fau.de/course-notes/ai-1?inDocPath=2v696w.-qocjk6%7Ef67807d6
## The issue as described by the user:
```
it should be this "ββͺβββ"
```
## The text highlighted while reporting this issue:
```
title
```
### The selected text was in the following section hierarchy:
**_INNERMOST SECTION FIRST_**
1. GitLab: https://gl.mathhub.info/MiKoMH/CompLog/-/blob/main/source/semweb/slides/machine-understandable-web-ex.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/CompLog&filepath=semweb/slides/machine-understandable-web-ex.en.xhtml&bindings=0_1_4W7UhFaBabyhWxuy
2. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/semweb-intro.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/semweb-intro.en.xhtml&bindings=0_0_19P34TS3zwuYzU
3. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/kr-intro.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/kr-intro.en.xhtml&bindings=0_0_4dbWCWHCxK2
4. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/kr.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/kr.en.xhtml&bindings=0_0_11fYdj3Mzi
5. 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
6. 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.xhtmlMichael Kohlhasemichael.kohlhase@fau.deMichael Kohlhasemichael.kohlhase@fau.dehttps://gl.mathhub.info/MiKoMH/AI/-/issues/121room numbers2024-01-15T12:29:26Zcontent-issuesroom numbersA content ERROR was logged by "Fariba Mohammadipour" at the following url:
https://courses.voll-ki.fau.de/course-view/ai-1?slideNum=4&viewMode=SLIDE_MODE&audioOnly=false&sectionId=7f8155f3
## The issue as described by the user:
```
roo...A content ERROR was logged by "Fariba Mohammadipour" at the following url:
https://courses.voll-ki.fau.de/course-view/ai-1?slideNum=4&viewMode=SLIDE_MODE&audioOnly=false§ionId=7f8155f3
## The issue as described by the user:
```
room numbers are not assigned in the picture
```
## The text highlighted while reporting this issue:
```
β·Solution:
[π π’ππ,πππβπ‘,π π’ππ]
π π’ππβ
{5,7}
πππβπ‘β
{6,8}
π π’ππβ
{6,8}
```
### The selected text was in the following section hierarchy:
1. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/search/slides/vacuum-cleaner-example.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=search/slides/vacuum-cleaner-example.en.xhtmlhttps://gl.mathhub.info/MiKoMH/AI/-/issues/120room numbers2024-01-15T12:28:54Zcontent-issuesroom numbersA content ERROR was logged by "Fariba Mohammadipour" at the following url:
https://courses.voll-ki.fau.de/course-view/ai-1?slideNum=3&viewMode=SLIDE_MODE&audioOnly=false&sectionId=7f8155f3
## The issue as described by the user:
```
roo...A content ERROR was logged by "Fariba Mohammadipour" at the following url:
https://courses.voll-ki.fau.de/course-view/ai-1?slideNum=3&viewMode=SLIDE_MODE&audioOnly=false§ionId=7f8155f3
## The issue as described by the user:
```
room numbers are not assigned in the picture
```
## The text highlighted while reporting this issue:
```
ππ]
```
### The selected text was in the following section hierarchy:
1. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/search/slides/vacuum-cleaner-example.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=search/slides/vacuum-cleaner-example.en.xhtmlhttps://gl.mathhub.info/MiKoMH/CompLog/-/issues/11Formatting and content error2024-01-22T16:46:02Zcontent-issuesFormatting and content errorA content ERROR was logged by "a user" at the following url:
https://courses.voll-ki.fau.de/course-notes/ai-1?inDocPath=2v696w.-qocjk6.-6d05h.-9ijvwf%7E71c58afc
## The issue as described by the user:
```
I don't see why this is true. A...A content ERROR was logged by "a user" at the following url:
https://courses.voll-ki.fau.de/course-notes/ai-1?inDocPath=2v696w.-qocjk6.-6d05h.-9ijvwf%7E71c58afc
## The issue as described by the user:
```
I don't see why this is true. Also, the notation -R is weird. And the labels atop the arrows are badly formatted (at least in Firefox).
```
## The text highlighted while reporting this issue:
```
then we can
derive
```
### The selected text was in the following section hierarchy:
**_INNERMOST SECTION FIRST_**
1. GitLab: https://gl.mathhub.info/MiKoMH/CompLog/-/blob/main/source/kr/slides/semnet-inference.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/CompLog&filepath=kr/slides/semnet-inference.en.xhtml&bindings=0_1_4MyMIeHcKQFxvYu
2. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/semantic-networks.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/semantic-networks.en.xhtml&bindings=0_0_4lCkwcB1MZ36
3. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/kr-intro.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/kr-intro.en.xhtml&bindings=0_0_gk7xqUYx7k
4. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/kr.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/kr.en.xhtml&bindings=0_0_3X7DA46Us
5. 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
6. 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.xhtmlDennis MΓΌllerDennis MΓΌllerhttps://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/CompLog/-/issues/8User reported ERROR pl1/slides/plnq-pl0-isomorphic.en.xhtml2023-12-18T15:34:20Zcontent-issuesUser reported ERROR pl1/slides/plnq-pl0-isomorphic.en.xhtmlA content ERROR was logged by "Moritz Gorny" at the following url:
https://courses.voll-ki.fau.de/de/course-notes/ai-1?inDocPath=2v696w.-qxa9pm.2q8kma%7E9b44417f
## The issue as described by the user:
```
Index bound changes from n to ...A content ERROR was logged by "Moritz Gorny" at the following url:
https://courses.voll-ki.fau.de/de/course-notes/ai-1?inDocPath=2v696w.-qxa9pm.2q8kma%7E9b44417f
## The issue as described by the user:
```
Index bound changes from n to k?
```
## The text highlighted while reporting this issue:
```
βπ(π)(β(π1),...,β(ππ))=βπ(π)(π1,...,ππ
```
### The selected text was in the following section hierarchy:
**_INNERMOST SECTION FIRST_**
1. GitLab: https://gl.mathhub.info/MiKoMH/CompLog/-/blob/main/source/pl1/slides/plnq-pl0-isomorphic.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/CompLog&filepath=pl1/slides/plnq-pl0-isomorphic.en.xhtml&bindings=0_3_11fYh4h12i
2. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/plnq.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/plnq.en.xhtml&bindings=0_0_dVyzW
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/AI/-/issues/118Empty conjunction/disjunction?2023-12-14T11:39:26Zcontent-issuesEmpty conjunction/disjunction?A content ERROR was logged by "a user" at the following url:
https://courses.voll-ki.fau.de/course-notes/ai-1?inDocPath=2v696w.vb7m26.-kxmelk%7E849cea2b
## The issue as described by the user:
```
True is also in CNF and false is also i...A content ERROR was logged by "a user" at the following url:
https://courses.voll-ki.fau.de/course-notes/ai-1?inDocPath=2v696w.vb7m26.-kxmelk%7E849cea2b
## The issue as described by the user:
```
True is also in CNF and false is also in DNF.
```
## The text highlighted while reporting this issue:
```
A
formula
```
### The selected text was in the following section hierarchy:
**_INNERMOST SECTION FIRST_**
1. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/slides/pl0-normal-forms.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/slides/pl0-normal-forms.en.xhtml&bindings=0_5_4ujzekPtW1l6G
2. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/normal-forms.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/normal-forms.en.xhtml&bindings=0_3_fOuyvaf2i
3. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/atp0.en.tex<br/>FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/atp0.en.xhtml&bindings=0_0_duzq
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.xhtml