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

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

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

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

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

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

  • Δεν επιτρέπεται να δημοσιεύσετε νέα θέματα
  • Δεν επιτρέπεται να επεξεργαστείτε τις απαντήσεις
  • Δεν επιτρέπεται να ανεβάσετε επισυναπτόμενα
  • Δεν επιτρέπεται να επεξεργαστείτε τις δημοσιεύσεις σας
  •  
  • BB κώδικας είναι Ενεργός
  • Smilies είναι Απενεργοποιημένα
  • [IMG] κώδικας είναι Ενεργός
  • [VIDEO] κώδικας είναι Ενεργός
  • HTML κώδικας είναι Ενεργός

Κανόνες Ορθής Χρήσης Forum

Επικοινωνία
Εργαστήριο Η/Υ & Εφαρμογών
Πανεπιστημιούπολη, T.K. 265 00, Ρίο Πατρών
Τηλ: +30 2610 997280
Φαξ: +30 2610 997424
lcsa@math.upatras.gr
Λοιποί Σύνδεσμοι Τμήματος


Προσαρμοσμένη Έκδοση Forum My.Math
Mobile Έκδοση
Προσαρμοσμένη Έκδοση Forum My.Math
για κινητές συσκευές
Ακολουθήστε μας
Ανάπτυξη & Συντήρηση Ιστοχώρου
Εργαστήριο Η/Υ & Εφαρμογών
Εργαστήριο Η/Υ & Εφαρμογών
Υπεύθ. Επικοινωνίας : Δ. Ανυφαντής (Ε.Τ.Ε.Π)