Μαθηματική Λογική

[lne]

1)Πότε δίνουμε το μάθημα;
Και γιατί υπάρχουν δύο ημερομηνίες στο πρόγραμμα; (25/6 και 3/7)

2)Στο θεώρημα πληρότητας στην απόδειξη λέει "χρησιμοποιούμε την άσκηση 3.4" και παρακάτω την "3.3(g)".
Ξέρετε πού είναι αυτές και τι λένε;
Ή μήπως έχει κάποιος ολοκληρωμένη την απόδειξη από την παράδοση;

Ευχαριστώ.

[sakaman]

Παιδιά αν μπορεί κάποιος να ανεβάσει λυμένα τα παλαιότερα θέματα . Ευχαριστώ

[1/2rizax]

1) Το μάθημα το δίνουμε 25/6 12.00 Αμφ. 1,2. Η 2η οφείλεται σε λάθος.
2) Διάβασε την απόδειξη από τις σημειώσεις του Δημητρακόπουλου σελίδες 29-32

[DrCox]

hello..yparxei kaneis kamia pou exei luymenes askiseis i lyumena themata autounou tou athliou mathimatos..?plirwnw oso oso gia na mou tis promitheusei,,..einai apo ta teleutaia mou... thanx

[DrCox]

profanws kaneis den asxoleitai me auto to mathima mia alli erwtisi . kserei kaneis an tha meinei tin idia wra auto to mathima?gt stis 19 tou mina stis 6 tapogema dinoume kai statistiki...

[taratatzoum]

hello!!
μπορεί κάποιος να λύσει το εξής:
Να κατασκευάσετε ένα κλειστό σημασιολογικό tableau ενός κατάλληλα προσημασμένου προτασιακού τύπου για να αποδείξτε ότι ο προτασιακός τύπος (^φ->ψ)->((^φ->^ψ)->φ) είναι ταυτολογία.
(όπου ^το σηματάκι της άρνησης και -> υποτίθεται βελάκι)
ευχαριστώ εκ των προτέρων για την βοήθεια!!

[o_apolytos]

Πώς σας φάνηκαν τα σημερινά θέματα; Παλεύονταν; Μπήκα, αλλά δεν πολυκαταλάβα και τίποτα . . .

[pao132003]

το πρώτο λυνόταν όλο
το δεύτερο, το μισό το έχει ξαναβάλει, αν είχες κοιτάξει παλιά θέματα, θα το είχες δει
το τρίτο, το α) ήταν αρκετά παλέψιμο
το τέταρτο ήταν πολύ sos, αρκετά αναμενόμενο θέμα

[Hawaiian]

Mipos xerei kapoios ti ginetai me ta vivlia se auto to mathima?Duo fores episkefthika tis ekdoseis EKKREMES kai oi listes den eixan paei akoma.An xerei kapoios ti ginetai...PLEASE!

[nick7913]

Ξέρει κανείς από τις σημειώσεις του Κολέτσου την ύλη; Ή είναι όλες μέσα; Ευχαριστώ!

[tasa]

to biblio exei erthei apo tin paraskeui.

[Hawaiian]

Thnx!! Kali exetastiki se olous!!

[pao132003]

Ξέρει κανείς από τις σημειώσεις του Κολέτσου την ύλη; Ή είναι όλες μέσα; Ευχαριστώ!

όλες μέσα.

[nick7913]

Ευχαριστώ pao!

[armaos]

Παιδια ξερει κανεις πως ακριβως λυνονται οι ασκησεις με το να δειξεις οτι ενας τυπος ειναι η δεν ειναι λογικα εγκυρος; (ασκησεις 1, 3, 4, 5 σελ 37 απο τις σημειωσεις)
Ξερω πως για να δειξεις οτι δεν ειναι εγκυροι παιρνεις τιμες πχ {α,b} κ αντικαθιστας αλλα εχω κολλησει κ ας πουμε η ασκηση 3 δεν μου βγαινει(κολλαω στα χ1 κ χ2).
Το ρωταω γιατι ειναι σταθερα θεμα.αν μπορει καποιος ας απαντησει. θενκς