Cover Image

Λογική & πληροφορική/

Main Author:	Χαρτώνας, Χ.
Format:	Book
Language:	Greek
Published:	Θεσσαλονίκη: Ζήτη, 2000
Subjects:	Λογική > Πληροφορική Λογική, Συμβολική και μαθηματική Σύνολα, Θεωρία των Πληροφορική

Similar Items

Το πρόβλημα της ισομετρίας σε πολωνικούς χώρους/
by: Αρβανιτάκης, Αλέξανδρος Δ.
Published: (2001)

Set theory and its logic/
by: QUINE, Willard Van Orman
Published: (1969)

Λογική : φιλοσοφική και συμβολική /
by: Βουδούρης, Κωνσταντίνος I., 1935-
Published: (1977)

Λογική /
by: Μυτιληναίος, Μιχάλης
Published: (2005)

Λογική /
by: Μυτιληναίος, Μιχάλης
Published: (2005)

Λογική
by: Κυβεντίδης, Κωνσταντίνος
Published: (2007)

Τροπική λογική και αποδειξιμότητα/
by: Φασούλη, Αναστασία - Μαρία
Published: (2007)

Λογική και απόδειξη :Θεωρία - ασκήσεις
by: Boricic, Branislav
Published: (1995)

Διακριτά μαθηματικά και μαθηματική λογική/
by: Βούρος, Γεώργιος
Published: (2002)

Υβριδική τροπική λογική/
by: Καλιακούδα, Βασιλική
Published: (2003)

Σημειώσεις στη συνολοθεωρία /
by: Μοσχοβάκης, Γιάννης Ν., 1938-
Published: (1993)

Μαθηματική λογική μετά μεθόδων αποδείξεως εις τα μαθηματικά/
by: Κυριακόπουλος, Α. Κ.
Published: (1977)

Λογική : Φιλοσοφική και συμβολική /
by: Βουδούρης, Κωνσταντίνος I., 1935-
Published: (1977)

Einfuehrung in die formale Logik : unter der besonderen Fragestellung: was ist Wahrheit allein aufgrund der Form? /
by: Buth, Manfred
Published: (1996)

A concise introduction to logic/
by: HACKING, Ian, 1942-
Published: (1972)

Τα σύγχρονα μαθηματικά : των παιδαγωγικών ακαδημιών, των εκπαιδευτικών..διδασκαλίου Δ. εκπαιδεύσεως /
by: Τζουμάκας, Δημήτριος Κ.
Published: (1973)

Παίγνια συμφόρησης και κόστος αναρχίας/
by: Περουτσέας, Ευστράτιος
Published: (2004)

Στοιχεία μαθηματικής λογικής/
by: Τζουβάρας, Αθανάσιος
Published: (1992)

Μαθηματική λογική /
by: Δημητρακόπουλος, Κωνσταντίνος.
Published: (2002)

Το άπειρο και ο νους/
by: Rucker, Rudy v.B. 1946-
Published: (1995)

Mathematical reasoning : Analogies,metaphors and images ; edited: Lyn D.Ehglish
by: English, Lyn D.
Published: (1997)

Τυπική επαλήθευση και χρονοπρογραμματισμός για συστήματα πραγματικού χρόνου/
by: Καλυβιανάκη, Ελένη
Published: (2000)

Η πυθαγόρειος αρμονική συμβολική
by: Haase, R.
Published: (1966)

Θέματα ειδικών δεξιοτήτων λογικομαθηματικών και χωρικής αντίληψης
by: Κεΐσογλου, Στέφανος Ν.
Published: (2008)

Όπερ έδει δείξαι Η ομορφιά της μαθηματικής απόδειξης
by: Polster, Burkard
Published: (2009)

Arthur Merlin games and interactive proof system/
by: Τσιρώνης, Χρήστος
Published: (2004)

Fuzzy logic systems/
by: Αγριοπούλου, Ελένη
Published: (1998)

Κριτική προσέγγιση στο επιχείρημα του προγράμματος του νεολογικισμού για τους φυσικούς αριθμούς ως πραγματικά αντικείμενα και για την προέλευση της αριθμητικής γνώσης/
by: Χριστοπούλου, Δήμητρα

Μηχανές Turing και υπολογίσιμες συναρτήσεις/
by: Μανούβελος, Κωνσταντίνος
Published: (2002)

Πολυπλοκότητα αποδείξεων προτασιακού λογισμού= propositional proof complexity/
by: Σουλδάτος, Γιάννης
Published: (2002)

Οι μεταμορφώσεις του λογισμού μια συναρπαστική μαθηματική ιστορία
by: Dowek, Gilles
Published: (2012)

Σημειώσεις μαθηματικής λογικής/
by: Δημητρακόπουλος, Κ. Ι.
Published: (1999)

(Regulae ad directionem ingenii)
by: Descartes, René (1596-1650)
Published: (2011)

A survey of symbolic logic
by: Lewis, Clarence Irving (1883-1964)
Published: (1918)

The principles of science A treatise on logic and scientific method
by: Jevons, William Stanley (1835-1882)
Published: (1883)

Symbolic logic
by: Venn, John (1834-1923)
Published: (1881)

A survey of symbolic logic/
by: LEWIS, Clarence Irving, 1883-
Published: (1960)

First-order functional calculus/
by: KEENE, Geoffrey Bourton
Published: (1966)

The elements of mathematical logic/
by: ROSENBLOOM, Paul C.
Published: (1950)

Topics in modern logic/
by: MAKINSON, D. C.
Published: (1973)

Cannot write session to /tmp/vufind_sessions/sess_h95bkuahc3lqb19pejva6jrar0