Το iSchool είναι η μεγαλύτερη μαθητική διαδικτυακή κοινότητα με 67,849 εγγεγραμμένα μέλη και 3,470,924 μηνύματα σε 103,764 θέματα. Αυτή τη στιγμή μαζί με εσάς απολαμβάνουν το iSchool άλλα 241 άτομα.
αν μπορει καποιος να βοηθησει και να λυσει αυτα τα θεματα
ΛΟΓΙΚΗ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ
Ιούλιος 2013
ΘΕΜΑ 1
Δείξτε ότι η πρόταση [α]( ¬ p ¬ q) → ¬ [α]p∨ [α] ¬ q είναι θεώρημα του πολυτροπικού συστήματος Κ .
ΘΕΜΑ 2
Εξηγείστε με ποία έννοια η ικανοποιησιμότα μιας πρότασης της PLD της μορφής φ→≺...
Το forum μας χρησιμοποιεί cookies για να βελτιστοποιήσει την εμπειρία σας.
Συνεχίζοντας την περιήγησή σας, συναινείτε στη χρήση cookies στον περιηγητή σας.