Αποτελέσματα 1 μέχρι 1 από 1

Θέμα: Σημειώσεις - "Μαθηματική Λογική"

  1. #1
    Εισαγωγικό Μέλος Eίδωλο του pkarazer
    Ημερομηνία Εγγραφής
    Jul 2014
    Τοποθεσία
    Πανεπιστήμιο Πατρών
    Δημοσιεύσεις
    37

    Εκπαιδευτικά Θέματα Σημειώσεις - "Μαθηματική Λογική"

    Επισυνάπτω ένα αρχείο με σημειώσεις γύρω από το θέμα της τυπικής απόδειξης στην προτασιακή λογική και το θεώρημα πληρότητας.
    Καλό Πάσχα!
    Επισυναπτόμενες ΜικροΕικόνες Επισυναπτόμενες ΜικροΕικόνες -formal_proof_compl-pdf  
    Τελευταία επεξεργασία από dany; 2 Εβδομάδες Πρίν την 17:32.
    -- Παναγής Καραζέρης

Δικαιώματα Δημοσιεύσεων

  • Δεν επιτρέπεται να δημοσιεύσετε νέα θέματα
  • Δεν επιτρέπεται να επεξεργαστείτε τις απαντήσεις
  • Δεν επιτρέπεται να ανεβάσετε επισυναπτόμενα
  • Δεν επιτρέπεται να επεξεργαστείτε τις δημοσιεύσεις σας
  •  
  • BB κώδικας είναι Ενεργός
  • Smilies είναι Απενεργοποιημένα
  • [IMG] κώδικας είναι Ενεργός
  • [VIDEO] κώδικας είναι Ενεργός
  • HTML κώδικας είναι Ενεργός
Επικοινωνία
Εργαστήριο Η/Υ & Εφαρμογών
Πανεπιστημιούπολη, T.K. 265 00, Ρίο Πατρών
Τηλ: +30 2610 997280
Φαξ: +30 2610 997424
lcsa@math.upatras.gr
Ακολουθήστε μας
Ανάπτυξη & Συντήρηση Ιστοχώρου
Εργαστήριο Η/Υ & Εφαρμογών
Εργαστήριο Η/Υ & Εφαρμογών
Υπεύθ. Επικοινωνίας : Δ. Ανυφαντής (Ε.Τ.Ε.Π)