Not logged in. · Lost password · Register

Page:  previous  1  2  3  4  next 
izibi
Blockchain-Exorzist
(Administrator)
Member since Oct 2012
536 posts
In reply to post ID 149897
Quote by *Ralf:
Auf Folie 413 (275) steht drei mal „iff“ statt „if“.

Vielleicht absichtlich?
Jazzpirate
Member since Oct 2016
803 posts
In reply to post ID 149897
jupp, das gehört so ;)
*Ralf
Avatar
Member since Oct 2011
766 posts
 :huh: Wieder was gelernt.
*Ralf
Avatar
Member since Oct 2011
766 posts
Nochwas: auf den Folien 440 ff. steht für tighter (γ'⊑, \sqsubseteq) die selbe Schreibweise wie für strictly tighter. Müsste letzteres nicht anders sein (γ'⊏, \sqsubset)?
Vvalter
Member since Dec 2012
119 posts
In den notes habe ich die drei gefunden: (Seitennummern beziehen sich auf die die auf den notes stehen)
12: Da ist das ?narrow-AIweakAI komisch formatiert
46: with out schreibt man zusammen
48: so fare sollte wohl so far heißen
Vvalter
Member since Dec 2012
119 posts
+1 BreakFast
151: "cannot decrease mor" da fehlt ein e
160: Was bei Observation 5.5.4 ist kein richtiges Englisch. Es heißt "no limit to" nicht limit of und procedures ist kein Verb
MarryLookAhead
Member since Mar 2015
12 posts
1.Bei BFS properties: Optimal ist BFS bei gleichen Kosten, nicht nur wenn Kosten = 1.
2.Bei der Uebersicht zu den Strategien sollte bei Iterative Deepening unter complete und optimal die "Yes" mit einem Stern markiert sein. Complete ist es ja nur(wie BFS) wenn Verzweigungsfaktor endlich ist. Optimal ist es nur, wenn Schrittkosten identisch(auch wie bei BFS).
Vvalter
Member since Dec 2012
119 posts
Auf Note 426 wird bei der ersten Regel das C aus cwff gewählt. Hier sollte wff stehen, ansonsten macht die Regel keinen Sinn.
ma0ho
Member since Jan 2017
12 posts
Auf Folie 438 in dem Tableaux müsste es in der dritten Zeile statt
p(a) \implies p(b) \implies p(y)^F

p(a) \land p(b) \implies p(y)^F

oder?
nenas
Avatar
Member since May 2012
229 posts
In reply to post #37
Quote by MarryLookAhead on 2017-02-06, 12:44:
2.Bei der Uebersicht zu den Strategien sollte bei Iterative Deepening unter complete und optimal die "Yes" mit einem Stern markiert sein. Complete ist es ja nur(wie BFS) wenn Verzweigungsfaktor endlich ist. Optimal ist es nur, wenn Schrittkosten identisch(auch wie bei BFS).

Optimal ist es auch nur, wenn pro Iteration die Tiefe um genau 1 erhöht wird.
Sometimes, I guess there just aren't enough rocks.
since
Member since Oct 2014
21 posts
In der aktuellen Version (2017:02:06 12:11:07+01:00) der slides.pdf wandert Text nach und nach aus dem Bildbereich - resultierend in aufeinanderfolgende leeren Seiten. Das tritt an mehreren Stellen auf z.B. auf (PDF-)Seite 199ff.

Der Definitions-Counter zählt an mehreren Stellen mit Examples schrittweise höher, obwohl die Definitionen gleich bleiben z.B. auf (PDF-)Seite 435ff.
This post was edited 2 times, last on 2017-02-12, 14:47 by since.
*Ralf
Avatar
Member since Oct 2011
766 posts
Der Link zum Shakey-Video¹ auf Folie 497 funktioniert nicht.

¹ https://vimeo.com/5072714
MarryLookAhead
Member since Mar 2015
12 posts
In reply to post #40
@nenas, das steht in den Slides.
MarryLookAhead
Member since Mar 2015
12 posts
Subject: PSPACE Definition
Die PSPACE Definition ist falsch. Auf Folie 526 steht, dass Probleme in PSPACE von einer nicht-deterministischen Turingmaschine in polynomiellen Platz entschieden werden koennen. Muss natuerlich deterministische Turingmaschine sein.
Vvalter
Member since Dec 2012
119 posts
Quote by MarryLookAhead:
Die PSPACE Definition ist falsch. Auf Folie 526 steht, dass Probleme in PSPACE von einer nicht-deterministischen Turingmaschine in polynomiellen Platz entschieden werden koennen. Muss natuerlich deterministische Turingmaschine sein.

Das ist tatsächlich egal, wegen Savitch's theorem. Kurz gesagt kann eine nicht deterministische Turingmaschine etwas mit polynomiellen Platz entscheiden genau dann wenn es eine deterministische Turingmaschine mit polynomiellen Platz entscheiden kann.
Close Smaller – Larger + Reply to this post:
Verification code: VeriCode Please enter the word from the image into the text field below. (Type the letters only, lower case is okay.)
Smileys: :-) ;-) :-D :-p :blush: :cool: :rolleyes: :huh: :-/ <_< :-( :'( :#: :scared: 8-( :nuts: :-O
Special characters:
Page:  previous  1  2  3  4  next 
Go to forum
Datenschutz | Kontakt
Powered by the Unclassified NewsBoard software, 20150713-dev, © 2003-2011 by Yves Goergen