Βιβλία
Email
Password
25.04.2018
   
 
Προσθήκη στα αγαπημένα
Προωθήστε σε ένα φίλο
 
*μπες στο vres και βρες τα πάντα!
Κατηγορίες: 1076
Βιβλία : 151392
ΚΥΡΙΕΣ ΚΑΤΗΓΟΡΙΕΣ
+
Σχολικά βοηθήματα
+
Ξένες γλώσσες
+
Βίντεο
+
Λεξικά
+
Θρησκεία
+
Εκπαίδευση
+
Λογοτεχνία
+
Λαογραφία, ήθη και έθιμα
+
Παιδικά και εφηβικά βιβλία
+
Θέατρο
+
Γλώσσα (γενικά)
+
Ψυχολογία
+
Γεωγραφία- Ιστορία
+
CD
+
Φιλοσοφία- Μεταφυσική
+
Καλές τέχνες
+
Περιοδικά
+
Φυσικές επιστήμες
+
Γυναικεία θέματα
+
Οικολογία - Περιβάλλον
+
Εφαρμοσμένες Επιστήμες
+
Κοινωνικές επιστήμες
+
Αστυνομικά και θρίλερ
+
Ψυχαγωγία
+
Επιστημονική φαντασία
+
Ημερολόγια
+
Μάνατζμεντ - Μάρκετινγκ
 
ΧΟΡΗΓΟΣ
 
holiday.gr
Πανελλαδικός τουριστικός οδηγός με όλες τις πόλεις και τα χωριά της Ελλάδας και περισσότερα από 9000 ξενοδοχεία με δυνατότητα online κρατήσεων.
 
  ΤΕΛΕΥΤΑΙΕΣ ΕΙΔΗΣΕΙΣ
+
Η ομιλία του Μίκη Θεοδωράκη στο συλλαλητήριο για την Μακεδονία
+
Θεσσαλονίκη συλλαλητήριο για την Μακεδονία
+
Η Τράπεζα της Ελλάδος - Το Κουτί της Πανδώρας
+
Ίσως ανακαλύφθηκε η δεύτερη μεγαλύτερη μαύρη τρύπα στον γαλαξία μας
+
Όχι στα Lidl από την ΕΒΟΛ
+
Μόνο Vergina, δεν πίνουμε ΑΛΦΑ, Amstel και Heineken
+
Γενοκτονία των Ελλήνων του Πόντου
+
Εντυπωσιακές γέφυρες σε όλο τον κόσμο
+
Νέο app κατά της σπατάλης τροφίμων
+
Προβλήματα στα νοσοκομεία στη Βρετανία μετά από κυβερνοεπίθεση
 
 
Vres βιβλία / Φυσικές επιστήμες / Μαθηματικά / Λογική και απόδειξη


Λογική και απόδειξη Τίτλος : Λογική και απόδειξη
Θεωρία, ασκήσεις
Συγγραφέας : Μπόριτσιτς, Μπρανισλάβ
ISBN : 9604313355
ISBN 13 : 9789604313358
Εκδόσεις : ΖΗΤΗ
Χρονολογία έκδοσης : 1995
Σελίδες : 168
Τιμή: 12.22 euro

Περιγραφή : Tα πιο σημαντικά θέματα της κλασικής και διαισθητικής λογικής από την άποψη της θεωρίας αποδείξεων. Θεωρούνται η σύνταξη (λογισμοί τύπου Hilbert, τύπου Gentzen και συστήματα φυσικών απαγωγών) και η σημασιολογία (μοντέλα) κλασικού και διαισθητικού λογισμού προτάσεων και κατηγορημάτων, μαζί με τα αντίστοιχα αποτελέσματα πληρότητας, όπως και μερικά από τα συνηθισμένα παραδείγματα μαθηματικών θεωριών πάνω στην πρωτοβάθμια γλώσσα. Mελετούνται οι ανάλογες άλγεβρες της κλασικής και διαισθητικής λογικής προτάσεων - άλγεβρες Boole και άλγεβρες Heyting το Θεώρημα Aπαλοιφής της Tομής των πρωτοβάθμιων κατηγορηματικών σειριακών λογισμών της κλασικής και διαισθητικής λογικής, με τις γνωστές συνέπειες (αποφασισιμότητα προτασιακών λογισμών, ιδιότητες παρεμβολής) και το Θεώρημα Kανονικής Mορφής για τα συστήματα φυσικών απαγωγών. Kάθε κεφάλαιο περιέχει και τις αντίστοιχες ασκήσεις.

Εμφανίσεις : 766
Αξιολόγηση βιβλίου :
Βαθμολογία: Το βιβλίο δεν έχει βαθμολογηθεί ακόμα.





   
  ΔΙΑΦΗΜΙΣΕΙΣ GOOGLE


  ΔΗΜΟΦΙΛΗ ΒΙΒΛΙΑ
+
Μετασχηματισμός Laplace και σειρές Fourier - Αθανασιάδης, Ανδρέας
+
Ασκήσεις και προβλήματα γεωμετρίας Α - Τόγκας, Πέτρος
+
Ασκήσεις διαφορικού και ολοκληρωτικού λογισμού συναρτήσεων περισσότερων μεταβλητών - Αθανασιάδης, Ανδρέας
+
Θεώρημα Fermat - Rolle - Καραγεώργος, Αθανάσιος
+
ΘΕΜΑΤΑ ΣΥΝΑΡΤΗΣΕΩΝ ΠΟΛΛΩΝ ΜΕΤΑΒΛΗΤΩΝ ΚΑΙ ΠΟΛΛΑΠΛΩΝ ΟΛΟΚΛΗΡΩΜΑΤΩΝ - Γκαρούτσος, Γιάννης
+
Ολοκληρώματα - Γκαρούτσος, Γιάννης
+
Μαθηματική στατιστική Ι - Κολυβά-Μαχαίρα, Φωτεινή
+
Η πλήρης τριτοβάθμια εξίσωση - Πετράκης, Ανδρέας
+
Τα αινίγματα της σφίγγας και άλλες γριφώδεις μαθηματικές ιστορίες - Gardner, Martin
+
Ολυμπιάδες μαθηματικών μαθηματικοί διαγωνισμοί Γ' γυμνασιου - Στεργίου, Χαράλαμπος
 
Εταιρείες
Κατάλογος
Αγγελίες
Ξενοδοχεία
Ειδήσεις
Βιβλία
Παιχνίδια
Ραδιόφωνο
Ταινίες
 
Copyright 2018 Marinet Ltd - Vres.gr  
back top