Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά

Πρακτικά Συνεδρίου uoadl:1001829 3057 Αναγνώσεις

Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Πρωτότυπος Τίτλος:
Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά
Γλώσσες Τεκμηρίου:
Ελληνικά
Συλλογικό όργανο:
Πανεπιστήμιο Κύπρου. Τμήμα Μαθηματικών και Στατιστικής
Εκδότης:
Πανεπιστήμιο Κύπρου
Επιμελητής:
Κάκας, Αντώνης Κ.
Συναχοπούλου, Αννέτα
Έτος έκδοσης:
1997
Τόπος έκδοσης:
Λευκωσία, Κύπρος
Κύρια θεματική κατηγορία:
Φιλοσοφία
Λοιπές θεματικές κατηγορίες:
Λογική
Μαθηματικά
Πληροφορική
Εκπαίδευση
Θετικές Επιστήμες
Αριθμός σελίδων:
363
ISBN:
9963-607-11-X
Bib number:
504221
Ταξιθετικός αριθμός:
168 ΠΣΛ1997 π 1997

Φίλτρο

 

41. Μερικές σκέψεις για την έρευνα επί της μαθηματικής λογικής στην Ελλάδα

Άρθρο Συνεδρίου uoadl:1046970
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Φειδάς, Αθανάσιος
Κύρια θεματική κατηγορία:
Λογική

42. Rationality: a change in turnstyle

Άρθρο Συνεδρίου uoadl:1046974
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Γεωργάτος, Κωνσταντίνος
Κύρια θεματική κατηγορία:
Λογική

43. Frontiers of logic: research trends and directions

Άρθρο Συνεδρίου uoadl:1046977
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Κολαΐτης, Φωκίων Γ.
Κύρια θεματική κατηγορία:
Λογική

44. Frontiers of logic: research trends and directions (position for the panel discussion)

Άρθρο Συνεδρίου uoadl:1046981
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Μυτιληναίος, Μιχαήλ
Κύρια θεματική κατηγορία:
Λογική

45. Effective computations in analysis

Άρθρο Συνεδρίου uoadl:1046992
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Σκανδαλίδης, Κώστας
Κύρια θεματική κατηγορία:
Λογική

46. Formal methods and their application

Άρθρο Συνεδρίου uoadl:1047102
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Σηφάκης, Ιωσήφ
Κύρια θεματική κατηγορία:
Λογική

47. Applications of logic in databases

Άρθρο Συνεδρίου uoadl:1047104
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Αφράτη, Φώτω Ν.
Κύρια θεματική κατηγορία:
Λογική

48. Computational logic: theory meets practice

Άρθρο Συνεδρίου uoadl:1047114
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Κάκας, Αντώνης Κ.
Κύρια θεματική κατηγορία:
Λογική

49. Application of logic to computer science

Άρθρο Συνεδρίου uoadl:1047116
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Ζάχος, Ευστάθιος
Κύρια θεματική κατηγορία:
Λογική

50. Το μάθημα της λογικής στη μέση εκπαίδευση

Άρθρο Συνεδρίου uoadl:1047117
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Δημητρακόπουλος, Κωνσταντίνος
Κύρια θεματική κατηγορία:
Λογική

51. For the panel: "Logic in education"

Άρθρο Συνεδρίου uoadl:1047148
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Δρόσος, Κώστας Αθ.
Κύρια θεματική κατηγορία:
Λογική

52. Logic as a fundamental course for university studies

Άρθρο Συνεδρίου uoadl:1047153
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Κάκας, Αντώνης Κ.
Κύρια θεματική κατηγορία:
Λογική

53. Panel discussion "Logic in education" (Position statement)

Άρθρο Συνεδρίου uoadl:1047159
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Χατζηκυριάκου, Κώστας
Κύρια θεματική κατηγορία:
Λογική