25 Νοεμβρίου 2015
Η Βασιλική Ευσταθίου θα δώσει διάλεξη στα πλαίσια της σειράς ομιλιών του Ινστιτούτου Πληροφορικής και Τηλεπικοινωνιών του Δημόκριτου, αυτή την Τετάρτη στις 16.00. Η διάλεξη αυτή θα παρουσιάσει αλγόριθμους αυτοματοποιημένης συλλογιστικής για την εξαγωγή επιχειρημάτων σε κλασική λογική, προτασιακή και λογική πρώτης τάξης.
Περισσότερα...
25 Νοεμβρίου 2015
Η Βασιλική Ευσταθίου θα δώσει διάλεξη στα πλαίσια της σειράς ομιλιών του Ινστιτούτου Πληροφορικής και Τηλεπικοινωνιών του Δημόκριτου, αυτή την Τετάρτη στις 16.00. Η διάλεξη αυτή θα παρουσιάσει αλγόριθμους αυτοματοποιημένης συλλογιστικής για την εξαγωγή επιχειρημάτων σε κλασική λογική, προτασιακή και λογική πρώτης τάξης.
Περισσότερα...