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


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

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

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





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


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