Λογική πρώτης τάξης. Παραδοχές
|
|
- Φιλήμων Μανιάκης
- 7 χρόνια πριν
- Προβολές:
Transcript
1 Λογική πρώτης τάξης First-Order Logic Παραδοχές Οντολογικές δεσµεύσεις λογικής πρώτης τάξης: Αντικείµενα Σχέσεις Μοναδιαίες σχέσεις (Ιδιότητες) Συναρτήσεις Ένα συν δύο ίσον τρία Ο κακός Βασιλιάς Ιωάννης κυβερνούσε την Αγγλία το Επιστηµολογικές δεσµεύσεις λογικής πρώτης τάξης: Αληθές, ψευδές, άγνωστο 8-2
2 Παράδειγµα (1/2) 5 Αντικείµενα Σχέσεις 2 υαδικές 3 µοναδιαίες 1 Συνάρτηση 8-3 Παράδειγµα (2/2) Σχέση «Αδελφός»: { Ριχάρδος Λεοντόκαρδος, Βασιλιάς Ιωάννης, Βασιλιάς Ιωάννης, Ριχάρδος Λεοντόκαρδος } Συνάρτηση «Αριστερό πόδι»: Ριχάρδος ο Λεοντόκαρδος αριστερό πόδι του Ριχάρδου Βασιλιάς Ιωάννης αριστερό πόδι του Ιωάννη 8-4
3 Σύµβολα και ερµηνείες Σύµβολα: Σταθερές (constants) Ριχάρδος, Ιωάννης Κατηγορήµατα (predicates) Βασιλιάς, Αδελφός Συναρτήσεις (functions) ΑριστερόΠόδι Τάξη (arity) κατηγορήµατος και συνάρτησης Ερµηνεία (interpretation): Αντιστοίχηση συµβόλων σε αντικείµενα, σχέσεις και συναρτήσεις του πραγµατικού κόσµου. Επιδιωκόµενη ερµηνεία (intended interpretation): Μια όχι και τόσο αυθαίρετη αντιστοίχηση. 8-5 Όροι Όροι = Ονόµατα αντικειµένων Σύµβολα σταθερών π.χ. Ιωάννης Συναρτήσεις µε άλλους όρους ως ορίσµατα π.χ. ΑριστερόΠόδι(Ιωάννης) 8-6
4 Προτάσεις Ατοµικές προτάσεις: Κατηγόρηµα και όροι ως ορίσµατα Αδελφός( Ριχάρδος, Ιωάννης ) Σύζυγος( Πατέρας( Ριχάρδος ), Μητέρα( Ιωάννης )) Σύνθετες προτάσεις Αδελφός( ΑριστερόΠόδι( Ριχάρδος ), Ιωάννης ) Αδελφός( Ριχάρδος, Ιωάννης ) Αδελφός( Ιωάννης, Ριχάρδος ) Βασιλιάς( Ριχάρδος ) Βασιλιάς( Ιωάννης ) Βασιλιάς( Ριχάρδος ) Βασιλιάς( Ιωάννης ) 8-7 Καθολική ποσοτικοποίηση Καθολικός ποσοδείκτης: x Βασιλιάς( x ) Άνθρωπος( x) Πεζά γράµµατα για µεταβλητές Ησυνεπαγωγή(και όχι η σύζευξη) είναι το «φυσικό» συνδετικό του καθολικού ποσοδείκτη. Η παρακάτω πρόταση είναι ιδιαίτερα περιοριστική για να έχει νόηµα: x Βασιλιάς( x ) Άνθρωπος( x) 8-8
5 Υπαρξιακή ποσοτικοποίηση Υπαρξιακός ποσοδείκτης: x Στέµµα( x ) ΣτοΚεφάλι( x, Ιωάννης ) Ησύζευξη(και όχι η συνεπαγωγή) είναι το «φυσικό» συνδετικό του καθολικού ποσοδείκτη. Η παρακάτω πρόταση είναι ιδιαίτερα περιοριστική για να έχει νόηµα: x Στέµµα( x ) ΣτοΚεφάλι( x, Ριχάρδος ) 8-9 Ένθετοι ποσοδείκτες x y Αδελφός( x, y ) Αδέλφι( x, y ) x, y Αδέλφι( x, y ) Αδέλφι( y, x ) x y Αγαπά( x, y ) y x Αγαπά( x, y ) 8-10
6 Μερικά ακόµη παραδείγµατα (1/2) Κάθε µητέρα αγαπά τα παιδιά της. x, y, Μητέρα(x,y) Αγαπά(x,y) Για κάθε αριθµό υπάρχει ένας άλλος που είναι µεγαλύτερός του. x, Αριθµός(x) y Αριθµός(y) Μεγαλύτερος(y,x) Υπάρχει κάποιος άνθρωπος που είναι µεγαλύτερος από όλους τους άλλους ανθρώπους. x, y Άνθρωπος(x) Ηλικία(x,y), z, w Άνθρωπος(z) Ηλικία(z,w) Μεγαλύτερος(y,w) 8-11 Μερικά ακόµη παραδείγµατα (2/2) Κάθε άνθρωπος που γεννήθηκε στη Μεγάλη Βρετανία, του οποίου οι γονείς είναι και οι δύο πολίτες (είτε από γέννηση ή από καταγωγή) της Μεγάλης Βρετανίας ή κάτοικοι της Μεγάλης Βρετανίας, είναι και αυτός πολίτης της Μεγάλης Βρετανίας από γέννηση. x, Άνθρωπος(x) Γεννήθηκε(x, ΜεγάληΒρετανία) ( y, Άνθρωπος(y) Γονέας(y,x) Πολίτης_από_γέννηση(y,ΜεγάληΒρετανία) Πολίτης_από_καταγωγή(y,ΜεγάληΒρετανία) Κάτοικος(y,ΜεγάληΒρετανία) ) Πολίτης_από_γέννηση(x,ΜεγάληΒρετανία) Κάθε άνθρωπος που γεννήθηκε εκτός της Μεγάλης Βρετανίας, για τον οποίο ένας από τους γονείς είναι πολίτης της Μεγάλης Βρετανίας από γέννηση, είναι και αυτός πολίτης της Μεγάλης Βρετανίας από καταγωγή. x, Άνθρωπος(x) Γεννήθηκε(x, ΜεγάληΒρετανία) ( y, Άνθρωπος(y) Γονέας(y,x) Πολίτης_από_γέννηση(y,ΜεγάληΒρετανία)) Πολίτης_από_καταγωγή(x,ΜεγάληΒρετανία) 8-12
7 Σχέσεις µεταξύ ποσοδεικτών x P x P P Q ( P Q ) x P x P ( P Q ) P Q x P x P P Q ( P Q ) x P x P P Q ( P Q ) x Αγαπά( x, Γλυκοπατάτες ) x Αγαπά( x, Γλυκοπατάτες ) x Αγαπά( x, Παγωτό ) x Αγαπά( x, Παγωτό ) 8-13 Ισότητα Σύµβολο ισότητας: = ύοόροιαναφέρονταιστοίδιοαντικείµενο Παράδειγµα: «ο Ριχάρδος έχει τουλάχιστον δύο αδελφούς» x, y Αδελφός( x, Ριχάρδος ) Αδελφός( y, Ριχάρδος ) ( x = y ) ( x = y ) x y 8-14
8 Χρήση της Λογικής πρώτης τάξης Ισχυρισµοί και ερωτήµατα Ισχυρισµοί (assertions) Tell( KB, Βασιλιάς( Ιωάννης )). Tell( KB, x Βασιλιάς( x ) Άνθρωπος( x)) Ερωτήµατα (queries) Ask( KB, Βασιλιάς( Ιωάννης )) Απάντηση: Αληθές Ask( KB, Άνθρωπος( Ιωάννης )) Απάντηση: Αληθές Ask( KB, x Άνθρωπος( x)) Απάντηση: {x / Ιωάννης} Λίστα δεσµεύσεων 8-16
9 Το πεδίο των συγγενειών (1/2) Αντικείµενα: Οι άνθρωποι Μοναδιαία κατηγορήµατα: Αρσενικό, Θηλυκό υαδικά κατηγορήµατα: Γονέας, Αδέλφι, Αδελφός, Αδελφή, Παιδί, Κόρη, Γιος, Σύζυγος, ΗΣύζυγος, ΟΣύζυγος, Προγονιός, Εγγόνι, Ξαδέλφι, Θεία και Θείος Συναρτήσεις: Μητέρα, Πατέρας 8-17 Το πεδίο των συγγενειών (2/2) m, c Μητέρα( c ) = m Θηλυκό( m ) Γονέας( m, c ) w, h ΟΣύζυγος( h, w ) Αρσενικό( h ) Σύζυγος( h, w ) x Αρσενικό( x ) Θηλυκό( x ) p, c Γονέας( p, c ) Παιδί( c, p ) g, c Προγονιός( g, c ) p Γονέας( g, p ) Γονέας( p, c ) x, y Αδέλφι( x, y ) x y p Γονέας( p, x ) Γονέας( p, y ) Αρσενικό( ηµήτρης) Σύζυγος( ηµήτρης, Λάουρα) Αξιώµατα, ορισµοί Βασικό σύνολο κατηγορήµατων, π.χ. {Παιδί, Σύζυγος, Θηλυκό} όχι µοναδικό Θεωρήµατα: Μπορούν να αποδειχθούν από τα αξιώµατα Απαραίτητη η ύπαρξη τους για λόγους αποδοτικότητας. 8-18
10 Φυσικοί αριθµοί Αξιώµατα του Peano: ΦυσικόςΑριθµός( 0 ) n ΦυσικόςΑριθµός( n ) ΦυσικόςΑριθµός( S( n )) n 0 S( n ). m, n m n S( m ) S( n ). m ΦυσικόςΑριθµός(m) +( 0, m ) = m. m, n ΦυσικόςΑριθµός( m ) ΦυσικόςΑριθµός( n ) +( S(m), n ) = S(+( m, n )) Το τελευταίο αξίωµα, µε συντακτικό καλλωπισµό, γράφεται: m, n ΦυσικόςΑριθµός( m ) ΦυσικόςΑριθµός( n ) (m+1) + n = ( m+n) Σύνολα Αντικείµενα: Κενό σύνολο, {} Μοναδιαίο κατηγόρηµα: Σύνολο υαδικά κατηγορήµατα:, Συναρτήσεις: s 1 s 2, s 1 s 2, {x s} Αξιώµατα: 1. s Σύνολο( s ) ( s = { } ) ( x, s 2 Σύνολο( s 2 ) s = {x s 2 } ) 2. x, s {x s} = { } 3. x, s x s s = {x s} 4. x, s x s [ y, s 2 ( s = {y s 2 } ( x = y x s 2 ))] 5. s 1, s 2 s 1 s 2 ( x x s 1 x s 2 ) 6. s 1, s 2 ( s 1 = s 2 ) ( s 1 s 2 s 2 s 1 ) 7. x, s 1, s 2 x ( s 1 s 2 ) ( x s 1 x s 2 ) 8. x, s 1, s 2 x (s 1 s 2 ) ( x s 1 x s 2 ) 8-20
11 Οκόσµος του wumpus (1/3) Ακέραιοι αριθµοί για αναπαράσταση του χρόνου: Αντίληψη( [ υσοσµία, Αύρα, Λάµψη, Τίποτα, Τίποτα], 5 ) Όροι για τις ενέργειες: Στροφή( εξιά ), Στροφή( Αριστερά ), Εµπρός, Εξακόντιση, Αρπαγή, Άφεση, Αναρρίχηση Επιλογή καλύτερης ενέργειας µε την ερώτηση: α ΚαλύτερηΕνέργεια( α, 5 ) Ορισµός καλύτερης ενέργειας: t Αντίληψη( [s, b, Λάµψη, m, c], t ) ΚαλύτερηΕνέργεια( Αρπαγή, t ) 8-21 Οκόσµος του wumpus (2/3) Ονοµασία θέσεων: Σύνθετοι όροι µε ακέραιους αριθµούς π.χ. [1,2] Ορισµός γειτνίασης: x, y, a, b Γειτονικό( [x, y], [a, b] ) [a, b] { [x+1, y], [x 1, y], [x, y+1], [x, y 1] } Μοναδιαία κατηγορήµατα για γούβες, αύρα κλπ: π.χ. Γούβα([2,3]), Γούβα([4,1]), ΈχειΑύρα([1,2]) κλπ 8-22
12 Οκόσµος του wumpus (3/3) ιαγνωστικοί κανόνες (diagnostic rules): s ΈχειΑύρα( s ) r Γειτονικό( r, s ) Γούβα( r ) s ΈχειΑύρα( s ) r Γειτονικό( r, s ) Γούβα( r ) Αιτιολογικοί κανόνες (causal rules): r Γούβα( r ) [ s Γειτονικό( r, s ) ΈχειΑύρα( s )] s [ r Γειτονικό( r, s ) Γούβα( r )] ΈχειΑύρα( s ) Συλλογιστική βασισµένη σε µοντέλο 8-23 Μηχανική Γνώσης στη Λογική Πρώτης Τάξης Εφαρµογή στον κόσµο των ηλεκτρονικών κυκλωµάτων
13 Το πεδίο των ηλεκτρονικών κυκλωµάτων Ψηφιακός αθροιστής 1 bit Κρατούµενα: Είσοδος 3, Έξοδος Αναγνώριση εργασίας ιαπίστωση ερωτήσεων που θέλουµε νααπαντάειτοσύστηµα. Σχέση εξόδου / εισόδου οµή κυκλώµατος εν µας ενδιαφέρουν: Κατανάλωση ενέργειας Χρονισµοί Κόστος παραγωγής κλπ 8-26
14 Συναρµολόγηση συναφούς γνώσης ιαδικασία απόκτησης γνώσης Συνεντεύξεις Βιβλιογραφία Παρατήρηση κλπ Πύλες AND, OR, NOT XOR 8-27 Λεξιλόγιο Επιλογή για αντικείµενα, συναρτήσεις, σχέσεις κλπ. Οι γούβες είναι αντικείµενα Οι γούβες είναι ιδιότητες των θέσεων Επιλογή ονοµάτων για αντικείµενα, κατηγορήµατα, συναρτήσεις Οντολογία X 1, X 2, A 1, A 2, O 1 Τύπος(x)= y, όπου y {AND, OR, XOR, NOT} Η χρήση συνάρτησης για τον τύπο υπονοεί τη µοναδικότητά του για κάθε πύλη. Εισ(1,Χ 1 ), Εξ(1,Ο 1 ) Συνδεδεµένο(Εξ(1, X 1 ), Εισ(1, X 2 )) Σήµα(ακροδέκτης) µε τιµές 0 και
15 Κωδικοποίηση γενικής γνώσης (1/2) 1. Αν δύο ακροδέκτες είναι συνδεδεµένοι, τότε έχουν το ίδιο σήµα: t 1, t 2 Συνδεδεµένο( t 1, t 2 ) Σήµα( t 1 ) = Σήµα( t 2 ) 2. Το σήµα σε κάθε ακροδέκτη είναι είτε 1 είτε 0 (αλλά όχι και τα δύο): t Σήµα( t ) = 1 Σήµα( t ) = Το κατηγόρηµα Συνδεδεµένο είναι αντιµεταθετικό: t 1, t 2 Συνδεδεµένο( t 1, t 2 ) Συνδεδεµένο( t 2, t 1 ) 4. Ηέξοδοςµιας πύλης OR είναι 1 εάν και µόνο εάν οποιαδήποτε από τις εισόδους της είναι 1: g Τύπος( g ) = OR Σήµα( Εξ(1, g) ) = 1 n Σήµα( Εισ(n, g) ) = Κωδικοποίηση γενικής γνώσης (2/2) 5. Ηέξοδοςµιας πύλης AND είναι 0 εάν και µόνο εάν οποιαδήποτε από τις εξόδους της είναι 0: g Τύπος( g ) = AND Σήµα( Εξ(1, g) ) = 0 n Σήµα( Εισ(n, g) ) = 0 6. Ηέξοδοςµιας πύλης XOR είναι 1 εάν και µόνο εάν οι είσοδοί της είναι διαφορετικές: g Τύπος( g ) = XOR Σήµα( Εξ(1, g) ) = 1 Σήµα( Εισ(1, g) ) Σήµα( Εισ(2, g) ) 7. Η έξοδος µια πύλης NOT είναι διαφορετική από την είσοδό της: g ( Τύπος( g ) = NOT ) Σήµα( Εξ(1, g) ) Σήµα( Εισ(1, g) ) 8-30
16 Κωδικοποίηση στιγµιοτύπου Τύπος(X1) = XOR Τύπος(X2) = XOR Τύπος(A1) = AND Τύπος(A2) = AND Τύπος(O1) = OR Συνδεδεµένο( Εξ(1, X1), Εισ(1, X2) ) Συνδεδεµένο( Εισ(1, C1), Εισ(1, X1) ) Συνδεδεµένο( Εξ(1, X1), Εισ(2, A2) ) Συνδεδεµένο( Εισ(1, C1), Εισ(1, A1) ) Συνδεδεµένο( Εξ(1, A2), Εισ(1, O1) ) Συνδεδεµένο( Εισ(2, C1), Εισ(2, X1) ) Συνδεδεµένο( Εξ(1, A1), Εισ(2, O1) ) Συνδεδεµένο( Εισ(2, C1), Εισ(2, A1) ) Συνδεδεµένο( Εξ(1, X2), Εξ(1, C1) ) Συνδεδεµένο( Εισ(3, C1), Εισ(2, X2) ) Συνδεδεµένο( Εξ(1, O1), Εξ(2, C1) ) Συνδεδεµένο( Εισ(3, C1), Εισ(1, A2) ) 8-31 Υποβολή ερωτηµάτων Ποιοι συνδυασµοί εισόδων θα έκαναν την πρώτη έξοδο του C 1 να γίνει 0 και τη δεύτερη έξοδο του C 1 να γίνει 1; i 1, i 2, i 3 Σήµα( Εισ(1, C 1 ) ) = i 1 Σήµα( Εισ(2, C 1 ) ) = i 2 Σήµα( Εισ(3, C 1 ) ) = i 3 Σήµα( Εξ(1, C 1 ) ) = 0 Σήµα( Εξ(2, C 1 ) ) = 1. Απάντηση: { i 1 /1, i 2 /1, i 3 /0 } { i 1 /1, i 2 /0, i 3 /1 } { i 1 /0, i 2 /1, i 3 /1 } Ποια είναι τα δυνατά σύνολα τιµών όλων των ακροδεκτών για το κύκλωµα τουαθροιστή; i 1, i 2, i 3, o 1, o 2 Σήµα( Εισ(1, C 1 ) ) = i 1 Σήµα( Εισ(2, C 1 ) ) = i 2 Σήµα( Εισ(3, C 1 ) ) = i 3 Σήµα( Εξ(1, C 1 ) ) = o 1 Σήµα( Εξ(2, C 1 ) ) = o 2 Επαλήθευση κυκλώµατος (circuit verification) 8-32
17 Αποσφαλµάτωση της βάσης γνώσης Έστω ότι είχαµε ξεχάσει τη δήλωση 1 0 δεν θα «λειτουργούσαν» τα αξιώµατα για τις πύλες XOR και NOT. 8-33
ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ. Ενότητα 11: Λογική πρώτης τάξης. Ρεφανίδης Ιωάννης Τμήμα Εφαρμοσμένης Πληροφορικής
Ενότητα 11: Λογική πρώτης τάξης Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύπου
Διαβάστε περισσότεραΠΛΗ 405 Τεχνητή Νοηµοσύνη 2006. Ε ανάληψη. πράκτορες βασισµένοι σε προτασιακή λογική. πράκτορες βασισµένοι σε κύκλωµα
ΠΛΗ 405 Τεχνητή Νοηµοσύνη Λογική Πρώτης Τάξης First-Order Logic Τµήµα Ηλεκτρονικών Μηχανικών και Μηχανικών Υ ολογιστών Πολυτεχνείο Κρήτης Ε ανάληψη Συστηµατική αναζήτηση DPLL Το ική αναζήτηση WalkSat Λογικοί
Διαβάστε περισσότεραΛογικοί πράκτορες. Πράκτορες βασισµένοι στη γνώση
Λογικοί πράκτορες Πράκτορες βασισµένοι στη γνώση Βάση γνώσης (knowledge base: Σύνολο προτάσεων (sentences Γλώσσα αναπαράστασης της γνώσης Γνωστικό υπόβαθρο: «Αµετάβλητο» µέρος της ΒΓ Βασικές εργασίες:
Διαβάστε περισσότεραΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ. Ενότητα 9: Προτασιακή λογική. Ρεφανίδης Ιωάννης Τμήμα Εφαρμοσμένης Πληροφορικής
Ενότητα 9: Προτασιακή λογική Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύπου
Διαβάστε περισσότεραΤΜΗΜΑ ΔΙΟΙΚΗΣΗΣ ΕΠΙΧΕΙΡΗΣΕΩΝ
ΤΕΙ Δυτικής Μακεδονίας ΤΜΗΜΑ ΔΙΟΙΚΗΣΗΣ ΕΠΙΧΕΙΡΗΣΕΩΝ 2015-2016 Τεχνητή Νοημοσύνη Λογικοί Πράκτορες Διδάσκων: Τσίπουρας Μάρκος Εκπαιδευτικό Υλικό: Τσίπουρας Μάρκος http://ai.uom.gr/aima/ 2 Πράκτορες βασισμένοι
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΜΑΚΕ ΟΝΙΑΣ ΟΙΚΟΝΟΜΙΚΩΝ ΚΑΙ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ
ΘΕΜΑ 1 ο (2.5 µονάδες) ΠΑΝΕΠΙΣΤΗΜΙΟ ΜΑΚΕΟΝΙΑΣ ΟΙΚΟΝΟΜΙΚΩΝ ΚΑΙ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ Τελικές εξετάσεις 25 Ιουνίου 2003 ιάρκεια: 2 ώρες α) Σε ποια περίπτωση
Διαβάστε περισσότερα! όπου το σύµβολο έχει την έννοια της παραγωγής, δηλαδή το αριστερό µέρος ισχύει ενώ το δεξιό µέρος συµπεραίνεται και προστίθεται στη βάση γνώσης.
Αποδείξεις (1/2)! Χρησιµοποιούµε τις συνεπαγωγές της βάσης γνώσης για να βγάλουµε νέα συµπεράσµατα. Για παράδειγµα:! Από τις προτάσεις:! Ακαι Α Β! µπορούµε να βγάλουµε το συµπέρασµα (τεχνική modus ponens
Διαβάστε περισσότεραΠΛΗ 405 Τεχνητή Νοηµοσύνη
ΠΛΗ 405 Τεχνητή Νοηµοσύνη Α οδοτικός Προτασιακός Συµ ερασµός Τµήµα Ηλεκτρονικών Μηχανικών και Μηχανικών Υ ολογιστών Πολυτεχνείο Κρήτης Ε ανάληψη Λογικοί ράκτορες πράκτορες βασισµένοι στη λογική Λογικές
Διαβάστε περισσότεραΕΙΣΑΓΩΓΗ ΣΤΟΥΣ ΥΠΟΛΟΓΙΣΤΕΣ. ΜΑΘΗΜΑ 2 ο. ΑΛΓΕΒΡΑ Boole ΛΟΓΙΚΑ ΚΥΚΛΩΜΑΤΑ
ΕΙΣΑΓΩΓΗ ΣΤΟΥΣ ΥΠΟΛΟΓΙΣΤΕΣ ΜΑΘΗΜΑ 2 ο ΑΛΓΕΒΡΑ Boole ΛΟΓΙΚΑ ΚΥΚΛΩΜΑΤΑ 2009-10 ΕΙΣΑΓΩΓΗ ΣΤΟΥΣ ΥΠΟΛΟΓΙΣΤΕΣ 1 Άλγεβρα Βοοle η θεωρητική βάση των λογικών κυκλωμάτων Η άλγεβρα Βοοle ορίζεται επάνω στο σύνολο
Διαβάστε περισσότεραΜαθηματική Λογική και Λογικός Προγραμματισμός
Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών
Διαβάστε περισσότεραΔιακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά
Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων
Διαβάστε περισσότεραΑρχιτεκτονικές Υπολογιστών BOOLEAN ALGEBRA
ΑΡΧΙΤΕΚΤΟΝΙΚΕΣ ΥΠΟΛΟΓΙΣΤΩΝ Μάθηµα: Αρχιτεκτονικές Υπολογιστών OOLEN LGER ιδάσκων: ναπλ. Καθ. Κ. Λαµπρινουδάκης clam@unp.gr Αρχιτεκτονικές Υπολογιστών ναπλ. Καθ. Κ. Λαµπρινουδάκης Άλγεβρα OOLE Οι µεταβλητές
Διαβάστε περισσότεραK15 Ψηφιακή Λογική Σχεδίαση 6: Λογικές πύλες και λογικά κυκλώματα
K15 Ψηφιακή Λογική Σχεδίαση 6: Λογικές πύλες και λογικά κυκλώματα Γιάννης Λιαπέρδος TEI Πελοποννήσου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής ΤΕ Λογικές πύλες Περιεχόμενα 1 Λογικές πύλες
Διαβάστε περισσότεραΠΛΗ 405 Τεχνητή Νοηµοσύνη
ΠΛΗ 405 Τεχνητή Νοηµοσύνη Α οδοτικός Προτασιακός Συµ ερασµός Τµήµα Ηλεκτρονικών Μηχανικών και Μηχανικών Υ ολογιστών Πολυτεχνείο Κρήτης Ε ανάληψη Λογικές τυπικές γλώσσες λογική κάλυψη Προτασιακή λογική
Διαβάστε περισσότερα4. Ο,τιδήποτε δεν ορίζεται με βάση τα (1) (3) δεν είναι προτασιακός τύπος.
Κεφάλαιο 10 Μαθηματική Λογική 10.1 Προτασιακή Λογική Η γλώσσα της μαθηματικής λογικής στηρίζεται βασικά στις εργασίες του Boole και του Frege. Ο Προτασιακός Λογισμός περιλαμβάνει στο αλφάβητό του, εκτός
Διαβάστε περισσότεραΚεφάλαιο Τρία: Ψηφιακά Ηλεκτρονικά
Κεφάλαιο Τρία: 3.1 Τι είναι αναλογικό και τι ψηφιακό µέγεθος Αναλογικό ονοµάζεται το µέγεθος που µπορεί να πάρει οποιαδήποτε τιµή σε µια συγκεκριµένη περιοχή τιµών π.χ. η ταχύτητα ενός αυτοκινήτου. Ψηφιακό
Διαβάστε περισσότεραΠΑΙΓΝΙΑ Παιχνίδια Γενική Θεώρηση μεγιστοποιήσει την πιθανότητά
ΠΑΙΓΝΙΑ Παιχνίδια Γενική Θεώρηση: Έστω ότι έχουμε τους παίκτες Χ και Υ. Ο κάθε παίκτης, σε κάθε κίνηση που κάνει, προσπαθεί να μεγιστοποιήσει την πιθανότητά του να κερδίσει. Ο Χ σε κάθε κίνηση που κάνει
Διαβάστε περισσότεραΚατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5)
Κατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Εισαγωγή στον Κατηγορηματικό Λογισμό Σύνταξη Κανόνες Συμπερασμού Σημασιολογία ΕΠΛ 412 Λογική στην
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Πέμπτη, 15/02/2018 Το υλικό των διαφανειών έχει βασιστεί σε Αντώνης διαφάνειες Α. Αργυρός του Kees van e-mail: argyros@csd.uoc.gr Deemter, από το University of Aberdeen 15-Feb-18
Διαβάστε περισσότεραΚεφάλαιο 4. Λογική Σχεδίαση
Κεφάλαιο 4 Λογική Σχεδίαση 4.1 Εισαγωγή Λογικές συναρτήσεις ονομάζουμε εκείνες για τις οποίες μπορούμε να αποφασίσουμε αν είναι αληθείς ή όχι. Χειριζόμαστε τις λογικές προτάσεις στην συγγραφή λογισμικού
Διαβάστε περισσότεραΒΑΣΙΚΕΣ ΑΡΧΕΣ ΨΗΦΙΑΚΗΣ ΤΕΧΝΟΛΟΓΙΑΣ. Κεφάλαιο 3
ΒΑΣΙΚΕΣ ΑΡΧΕΣ ΨΗΦΙΑΚΗΣ ΤΕΧΝΟΛΟΓΙΑΣ Κεφάλαιο 3 Δυαδική λογική Με τον όρο λογική πρόταση ή απλά πρόταση καλούμε κάθε φράση η οποία μπορεί να χαρακτηριστεί αληθής ή ψευδής με βάση το νόημα της. π.χ. Σήμερα
Διαβάστε περισσότεραΗΜΥ 210: Λογικός Σχεδιασµός, Εαρινό Εξάµηνο Ένα συνδυαστικό κύκλωµα µπορεί να περιγραφεί από: Φεβ-05. n-είσοδοι
ΗΜΥ 2: Λογικός Σχεδιασµός, Εαρινό Εξάµηνο 25 Φεβ-5 ΗΜΥ-2: Λογικός Σχεδιασµός Εαρινό Εξάµηνο 25 Κεφάλαιο 3 -i: Σχεδιασµός Συνδυαστικών Κυκλωµάτων Περίληψη Αρχές σχεδιασµού Ιεραρχία σχεδιασµού Σχεδιασµός
Διαβάστε περισσότερα"My Binary Logic" Ένας προσομοιωτής λογικών πυλών στο Scratch
"My Binary Logic" Ένας προσομοιωτής λογικών πυλών στο Scratch Καραγιάννη Ελένη 1, Καραγιαννάκη Μαρία-Ελένη 2, Βασιλειάδης Αθανάσιος 3, Κωστουλίδης Αναστάσιος-Συμεών 4, Μουτεβελίδης Ιωάννης-Παναγιώτης 5,
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΜΑΚΕ ΟΝΙΑΣ ΟΙΚΟΝΟΜΙΚΩΝ ΚΑΙ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΘΕΜΑ 1 ο (2.5 µονάδες) ΠΑΝΕΠΙΣΤΗΜΙΟ ΜΑΚΕ ΟΝΙΑΣ ΟΙΚΟΝΟΜΙΚΩΝ ΚΑΙ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ Τελικές εξετάσεις Τρίτη 23 Ιανουαρίου 2007 ιάρκεια: 12:00-15:00 Κωδικοποιείστε
Διαβάστε περισσότεραΕπανάληψη Βασικών Στοιχείων Ψηφιακής Λογικής
Επανάληψη Βασικών Στοιχείων Ψηφιακής Λογικής Αριθµοί Διαφόρων Βάσεων Δυαδικά Συστήµατα 2 Υπολογιστική Ακρίβεια Ο αριθµός των δυαδικών ψηφίων αναπαράστασης αριθµών καθορίζει την ακρίβεια των αριθµών σε
Διαβάστε περισσότεραΒασικές έννοιες προγραμματισμού
Βασικές έννοιες προγραμματισμού Αλφάβητο Γράμματα Κεφαλαία Ελληνικά ( Α Ω ) Πεζά Ελληνικά ( α ω ) Κεφαλαία Λατινικά ( A Z ) Πεζά Ελληνικά ( a z) Ψηφία 0-9 Ειδικοί χαρακτήρες ( +, -, *,/, =,.,,!, κενό )
Διαβάστε περισσότερα2 η Θεµατική Ενότητα : Άλγεβρα Boole και Λογικές Πύλες. Βασικοί Ορισµοί
2 η Θεµατική Ενότητα : Άλγεβρα Boole και Λογικές Πύλες Βασικοί Ορισµοί υαδικός Τελεστής (Binary Operator): σε κάθε ζεύγος από το S αντιστοιχίζει ένα στοιχείο του S = set, σύνολο Συνηθισµένα Αξιώµατα (α,
Διαβάστε περισσότεραεπανενεργοποιηθεί Βιομηχανικά Ηλεκτρονικά - Κ.Ι.Κυριακόπουλος Control Systems Laboratory
Μετατροπέας Αναλογικού Σήµατος σε Ψηφιακό Ο δειγματολήπτης (S/H) παίρνει δείγματα του στιγμιαίου εύρους ενός σήματος και διατηρεί την τάση που αντιστοιχεί σταθερή, τροφοδοτώντας έναν κβαντιστή, μέχρι την
Διαβάστε περισσότεραΠΛΗ 405 Τεχνητή Νοηµοσύνη
ΠΛΗ 405 Τεχνητή Νοηµοσύνη Λογικοί Πράκτορες Προτασιακή Λογική Τµήµα Ηλεκτρονικών Μηχανικών και Μηχανικών Υ ολογιστών Πολυτεχνείο Κρήτης Ε ανάληψη Παιχνίδια τύχης αναζήτηση expectiminimax Παιχνίδια ατελούς
Διαβάστε περισσότεραΓνώση. Γνώση (knowledge) είναι ο κοινός παράγοντας (π.χ. κανόνες) που περιγράφει συνοπτικά τις συσχετίσεις μεταξύ των δεδομένων ενός προβλήματος.
Γνώση Η γνώση είναι διαφορετική από τα δεδομένα Γνώση (knowledge) είναι ο κοινός παράγοντας (π.χ. κανόνες) που περιγράφει συνοπτικά τις συσχετίσεις μεταξύ των δεδομένων ενός προβλήματος. Η γνώση για κάποιο
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Παρασκευή, 16/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 17-Feb-18
Διαβάστε περισσότεραΕΡΓΑΣΤΗΡΙΟ ΗΛΕΚΤΡΟΝΙΚΩΝ ΕΦΑΡΜΟΓΩΝ
ΕΡΓΑΣΤΗΡΙΟ ΗΛΕΚΤΡΟΝΙΚΩΝ ΕΦΑΡΜΟΓΩΝ ΨΗΦΙΑΚΑ ΟΛΟΚΛΗΡΩΜΕΝΑ ΗΛΕΚΤΡΟΝΙΚΑ ΚΑΙ ΣΥΣΤΗΜΑΤΑ ΟΜΑ Α Α Αριθµητική Λογική Μονάδα των 8-bit 1. Εισαγωγή Γενικά µια αριθµητική λογική µονάδα (ALU, Arithmetic Logic Unit)
Διαβάστε περισσότεραK15 Ψηφιακή Λογική Σχεδίαση 4+5: Άλγεβρα Boole
K15 Ψηφιακή Λογική Σχεδίαση 4+5: Άλγεβρα Boole Γιάννης Λιαπέρδος TEI Πελοποννήσου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής ΤΕ Ορισμός της δίτιμης άλγεβρας Boole Περιεχόμενα 1 Ορισμός της
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Τρίτη, 21/02/2017 Το υλικό των διαφανειών έχει βασιστεί σε Αντώνης διαφάνειες Α. Αργυρός του Kees van e-mail: argyros@csd.uoc.gr Deemter, από το University of Aberdeen 2/21/2017
Διαβάστε περισσότεραΚατηγορηµατική Λογική
Προβλήµατα της Προτασιακής Λογικής Γιατί δεν µας αρκεί η Προτασιακή Λογική; Εστω ότι ισχύουν τα P και Q: P : «Ο Σωκράτης είναι άνθρωπος» Q : «Κάθε άνθρωπος είναι ϑνητός» R : «Ο Σωκράτης είναι ϑνητός» Μπορούµε
Διαβάστε περισσότεραΜαθηματική Λογική και Λογικός Προγραμματισμός
Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών
Διαβάστε περισσότεραΠερίληψη. ΗΜΥ 210: Λογικός Σχεδιασµός, Εαρινό Εξάµηνο 2005. υαδική Αφαίρεση. υαδική Αφαίρεση (συν.) Ακόµη ένα παράδειγµα Αφαίρεσης.
ΗΜΥ-210: Λογικός Σχεδιασµός Εαρινό Εξάµηνο 2005 Κεφάλαιο 5 -ii: Αριθµητικές Συναρτήσεις και Κυκλώµατα Πανεπιστήµιο Κύπρου Τµήµα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Αφαίρεση δυαδικών Περίληψη
Διαβάστε περισσότεραΠεριεχόµενα. Πρόλογος 11. 0 Εισαγωγή 21
Περιεχόµενα Πρόλογος 11 Σκοπός αυτού του βιβλίου 11 Σε ποιους απευθύνεται αυτό το βιβλίο 12 Βασικά χαρακτηριστικά του βιβλίου 12 Κάλυψη συστηµάτων CAD 14 Εργαστηριακή υποστήριξη 14 Συνοπτική παρουσίαση
Διαβάστε περισσότερασύνθεση και απλοποίησή τους θεωρήµατα της άλγεβρας Boole, αξιώµατα του Huntington, κλπ.
Εισαγωγή Εργαστήριο 2 ΛΟΓΙΚΑ ΚΥΚΛΩΜΑΤΑ Σκοπός του εργαστηρίου είναι να κατανοήσουµε τον τρόπο µε τον οποίο εκφράζεται η ψηφιακή λογική υλοποιώντας ασκήσεις απλά και σύνθετα λογικά κυκλώµατα (χρήση του
Διαβάστε περισσότεραΑναλογικά & Ψηφιακά Κυκλώματα ιαφάνειες Μαθήματος ρ. Μηχ. Μαραβελάκης Εμ.
Αναλογικά & Ψηφιακά Κυκλώματα ιαφάνειες Μαθήματος ρ. Μηχ. Μαραβελάκης Εμ. 1 Οι λογικές πύλες (ή απλά πύλες) είναι οι θεμελιώδεις δομικές μονάδες των ψηφιακών κυκλωμάτων. Όπως φαίνεται και από την ονομασία
Διαβάστε περισσότεραΑναπαράσταση Γνώσης και Συλλογιστικές
Αναπαράσταση Γνώσης και Συλλογιστικές Γενικά Προτασιακή λογική Λογική πρώτης τάξης Λογικός προγραµµατισµός Επεκτάσεις της Λογικής Πρώτης Τάξης Συστήµατα Κανόνων Επίλογος Μειονεκτήµατα προτασιακής λογικής
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Πέµπτη, 23/02/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 2/23/2017
Διαβάστε περισσότεραK15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων
K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων Γιάννης Λιαπέρδος TEI Πελοποννήσου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής ΤΕ Στοιχεία προτασιακής λογικής Περιεχόμενα
Διαβάστε περισσότεραΕπίπεδο Ψηφιακής Λογικής (The Digital Logic Level)
Επίπεδο Ψηφιακής Λογικής (The Digital Logic Level) Ερωτήσεις Επανάληψης 1. Ένας καθηγητής λογικής μπαίνει σε ένα εστιατόριο και λέει : Θέλω ένα σάντουιτς ή ένα σουβλάκι και τηγανητές πατάτες. Δυστυχώς,
Διαβάστε περισσότεραΨΗΦΙΑΚΑ ΚΥΚΛΩΜΑΤΑ - ΕΡΓΑΣΤΗΡΙΑΚΗ ΑΣΚΗΣΗ 3
ΨΗΦΙΑΚΑ ΚΥΚΛΩΜΑΤΑ - ΕΡΓΑΣΤΗΡΙΑΚΗ ΑΣΚΗΣΗ 3 ΑΠΛΟΠΟΙΗΣΗ και ΥΛΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΣΥΝΑΡΤΗΣΕΩΝ Σκοπός: Η κατανόηση της σχέσης µιας λογικής συνάρτησης µε το αντίστοιχο κύκλωµα. Η απλοποίηση λογικών συναρτήσεων
Διαβάστε περισσότεραΚΑΤΗΓΟΡΗΜΑΤΙΚΟΣ ΛΟΓΙΣΜΟΣ Ι
ΚΑΤΗΓΟΡΗΜΑΤΙΚΟΣ ΛΟΓΙΣΜΟΣ Ι Για τον προτασιακό λογισμό παρουσιάσαμε την αποδεικτική θεωρία (natural deduction/λογικό συμπέρασμα) τη σύνταξη (ορίζεται με γραμματική χωρίς συμφραζόμενα και εκφράζεται με συντακτικά
Διαβάστε περισσότεραΨηφιακά Κυκλώματα (1 ο μέρος) ΜΥΥ-106 Εισαγωγή στους Η/Υ και στην Πληροφορική
Ψηφιακά Κυκλώματα ( ο μέρος) ΜΥΥ-6 Εισαγωγή στους Η/Υ και στην Πληροφορική Ψηφιακά κυκλώματα Οι δύο λογικές τιμές, αντιστοιχούν σε ηλεκτρικές τάσεις Υλοποιούνται με τρανζίστορ ή διόδους: ελεγχόμενοι διακόπτες
Διαβάστε περισσότερα4.1 Θεωρητική εισαγωγή
ΨΗΦΙΑΚΑ ΚΥΚΛΩΜΑΤΑ - ΕΡΓΑΣΤΗΡΙΑΚΗ ΑΣΚΗΣΗ 4 ΥΑ ΙΚΟΣ ΑΘΡΟΙΣΤΗΣ-ΑΦΑΙΡΕΤΗΣ Σκοπός: Να µελετηθούν αριθµητικά κυκλώµατα δυαδικής πρόσθεσης και αφαίρεσης. Να σχεδιαστούν τα κυκλώµατα από τους πίνακες αληθείας
Διαβάστε περισσότεραΠΛΗ 405 Τεχνητή Νοηµοσύνη 2006. Ε ανάληψη. πεπερασµένα χρονικά περιθώρια ανά κίνηση. απευθείας αξιολόγηση σε ενδιάµεσους κόµβους
ΠΛΗ 405 Τεχνητή Νοηµοσύνη Παιχνίδια Τύχης Λογικοί Πράκτορες Τµήµα Ηλεκτρονικών Μηχανικών και Μηχανικών Υ ολογιστών Πολυτεχνείο Κρήτης Ε ανάληψη Περιορισµοί χρόνου πεπερασµένα χρονικά περιθώρια ανά κίνηση
Διαβάστε περισσότεραΨηφιακοί Υπολογιστές
1 η Θεµατική Ενότητα : υαδικά Συστήµατα Ψηφιακοί Υπολογιστές Παλαιότερα οι υπολογιστές χρησιµοποιούνταν για αριθµητικούς υπολογισµούς Ψηφίο (digit) Ψηφιακοί Υπολογιστές Σήµατα (signals) : διακριτά στοιχεία
Διαβάστε περισσότεραΣχόλιο. Παρατηρήσεις. Παρατηρήσεις. p q p. , p1 p2
A. ΠΡΟΤΑΣΕΙΣ Στα Μαθηµατικά χρησιµοποιούµε προτάσεις οι οποίες µπορούν να χαρακτηριστούν ως αληθείς (α) ή ψευδείς (ψ). Τις προτάσεις συµβολίζουµε µε τα τελευταία µικρά γράµµατα του Λατινικού αλφαβήτου:
Διαβάστε περισσότεραΠανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Τεχνητή Νοημοσύνη. Ενότητα 5: Αναπαράσταση Γνώσης με Λογική
Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Τεχνητή Νοημοσύνη Ενότητα 5: Αναπαράσταση Γνώσης με Λογική Αν. καθηγητής Στεργίου Κωνσταντίνος kstergiou@uowm.gr Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Πέµπτη, 02/03/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/2/2017
Διαβάστε περισσότεραΕισαγωγή στους Ηλεκτρονικούς Υπολογιστές
Εισαγωγή στους Ηλεκτρονικούς Υπολογιστές 12 ο Μάθημα Λεωνίδας Αλεξόπουλος Λέκτορας ΕΜΠ E-mail: leo@mail.ntua.gr URL: http://users.ntua.gr/leo 1 GROUP I A Λ ΤΡΙΤΗ PC-Lab GROUP IΙ Μ Ω ΠΑΡΑΣΚΕΥΗ Central Κέντρο
Διαβάστε περισσότεραΓενικά Στοιχεία Ηλεκτρονικού Υπολογιστή
Γενικά Στοιχεία Ηλεκτρονικού Υπολογιστή 1. Ηλεκτρονικός Υπολογιστής Ο Ηλεκτρονικός Υπολογιστής είναι μια συσκευή, μεγάλη ή μικρή, που επεξεργάζεται δεδομένα και εκτελεί την εργασία του σύμφωνα με τα παρακάτω
Διαβάστε περισσότεραΠερίληψη. ΗΜΥ-210: Λογικός Σχεδιασµός Εαρινό Εξάµηνο 2005. Στοιχειώδης Λογικές Συναρτήσεις
ΗΜΥ 2: Λογικός Σχεδιασµός, Εαρινό Εξάµηνο 25 Μαρ-5 ΗΜΥ-2: Λογικός Σχεδιασµός Εαρινό Εξάµηνο 25 Κεφάλαιο 4 -i: Βασικές Συνδυαστικές Συναρτήσεις και Κυκλώµατα Περίληψη Συναρτήσεις και συναρτησιακές (λειτουργικές)
Διαβάστε περισσότερα9 ο Μαθητικό Συνέδριο Πληροφορικής Κεντρικής Μακεδονίας. "My Binary Logic" Ένας προσομοιωτής λογικών πυλών στο Scratch
9 ο Μαθητικό Συνέδριο Πληροφορικής Κεντρικής Μακεδονίας Θεσσαλονίκη, 25-28 Απριλίου 2017, ΝΟΗΣΙΣ "My Binary Logic" Ένας προσομοιωτής λογικών πυλών στο Scratch Κωνσταντίνος Παρασκευόπουλος Καθηγητής Πληροφορικής
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Τρίτη, 21/02/2017 Το υλικό των διαφανειών έχει βασιστεί σε Αντώνης διαφάνειες Α. Αργυρός του Kees van e-mail: argyros@csd.uoc.gr Deemter, από το University of Aberdeen 2/21/2017
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΜΑΚΕ ΟΝΙΑΣ ΟΙΚΟΝΟΜΙΚΩΝ ΚΑΙ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ
ΘΕΜΑ 1 ο (2.5 µονάδες) ΠΑΝΕΠΙΣΤΗΜΙΟ ΜΑΚΕ ΟΝΙΑΣ ΟΙΚΟΝΟΜΙΚΩΝ ΚΑΙ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ Τελικές εξετάσεις 17 Φεβρουαρίου 2004 ιάρκεια: 2 ώρες (15:00-17:00)
Διαβάστε περισσότεραΗΜΥ 100 Εισαγωγή στην Τεχνολογία ιάλεξη 11
ΗΜΥ Εισαγωγή στην Τεχνολογία ιάλεξη 11 13 Οκτωβρίου, 6 Γεώργιος Έλληνας Επίκουρος Καθηγητής ΤΜΗΜΑ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΠΟΛΥΤΕΧΝΙΚΗ ΣΧΟΛΗ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΑ ΘΕΜΑΤΑ ΜΑΣ ΣΗΜΕΡΑ
Διαβάστε περισσότερα8 η Θεµατική Ενότητα : Εισαγωγή στις Γλώσσες Περιγραφής Υλικού: Μοντέλα Συνδυαστικών Κυκλωµάτων
8 η Θεµατική Ενότητα : Εισαγωγή στις Γλώσσες Περιγραφής Υλικού: Μοντέλα Συνδυαστικών Κυκλωµάτων Εισαγωγή Η λογική που περιγράφεται σε ένα module µπορεί να περιγραφεί µε διάφορα στυλ Μοντελοποίηση σε επίπεδο
Διαβάστε περισσότεραΔΟΜΗΜΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Κεφάλαιο 8 : H γλώσσα προγραµµατισµού Pascal 1 ο Μέρος σηµειώσεων (Ενότητες 8.1 & 8.2 σχολικού βιβλίου)
ΔΟΜΗΜΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Κεφάλαιο 8 : H γλώσσα προγραµµατισµού Pascal 1 ο Μέρος σηµειώσεων (Ενότητες 8.1 & 8.2 σχολικού βιβλίου) 1. Εισαγωγή Χαρακτηριστικά της γλώσσας Τύποι δεδοµένων Γλώσσα προγραµµατισµού
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά. Ένα παράδειγµα... Έχουµε δει. Κατηγορηµατικός Λογισµός. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο Πέµπτη, 23/02/2017
HY118- ιακριτά Μαθηµατικά Πέµπτη, 23/02/2017 Κατηγορηµατικός Λογισµός Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University
Διαβάστε περισσότεραΥποθετικές προτάσεις και λογική αλήθεια
Υποθετικές προτάσεις και λογική αλήθεια Δρ. Παναγιώτης Λ. Θεοδωρόπουλος Σχολικός Σύμβουλος κλάδου ΠΕ03 www.p-theodoropoulos.gr Περίληψη Στην εργασία αυτή επιχειρείται μια ερμηνεία της λογικής αλήθειας
Διαβάστε περισσότεραΚΕΦΑΛΑΙΟ 3 ο Αλγεβρα BOOLE και Λογικές Πύλες
ΤΜΗΜΑ ΤΕΧΝΟΛΟΓΙΑΣ ΑΕΡΟΣΚΑΦΩΝ ΤΕΙ ΣΤΕΡΕΑΣ ΕΛΛΑΔΑΣ ΕΙΣΑΓΩΓΗ στους Η/Υ Διδάσκουσα Δρ. Β. Σγαρδώνη 2013-14 ΚΕΦΑΛΑΙΟ 3 ο Αλγεβρα BOOLE και Λογικές Πύλες Α. ΑΛΓΕΒΡΑ Boole Η Άλγεβρα Boole (Boolean algebra) πήρε
Διαβάστε περισσότεραΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Δημήτρης Πλεξουσάκης. 5ο μέρος σημειώσεων: Κατηγορηματικός Λογισμός (Predicate Calculus)
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Δημήτρης Πλεξουσάκης 5ο μέρος σημειώσεων: Κατηγορηματικός Λογισμός (Predicate Calculus) Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό
Διαβάστε περισσότεραΕργαστήριο Ψηφιακών Συστηµάτων ΗΜΥ211
Εργαστήριο Ψηφιακών Συστηµάτων ΗΜΥ2 Χειµερινό 23 Εργαστήριο Ψηφιακών Συστηµάτων ΗΜΥ2 υαδικός Αθροιστής, Πολυπλέκτες και Αποκωδικοποιητές Εβδοµάδα: 5 Εργαστήριο Ψηφιακών Συστηµάτων ΗΜΥ2 Χειµερινό 23 Στόχοι
Διαβάστε περισσότεραΠεριεχόμενα. Πρώτο Κεφάλαιο. Εισαγωγή στα Ψηφιακά Συστήματα. Δεύτερο Κεφάλαιο. Αριθμητικά Συστήματα Κώδικες
Πρώτο Κεφάλαιο Εισαγωγή στα Ψηφιακά Συστήματα 1.1 Αναλογικά και Ψηφιακά Σήματα και Συστήματα... 1 1.2 Βασικά Ψηφιακά Κυκλώματα... 3 1.3 Ολοκληρωμένα κυκλώματα... 4 1.4 Τυπωμένα κυκλώματα... 7 1.5 Εργαλεία
Διαβάστε περισσότεραΠρογραμματισμός Ηλεκτρονικών Υπολογιστών 1
Προγραμματισμός Ηλεκτρονικών Υπολογιστών 1 Ενότητα 3: Άλγεβρα Βοole και Λογικές Πράξεις Δρ. Φραγκούλης Γεώργιος Τμήμα Ηλεκτρολογίας Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης
Διαβάστε περισσότερα\5. Κατηγορηματικός Λογισμός (Predicate Calculus)
\5 Κατηγορηματικός Λογισμός (Predicate Calculus) 51 Αντικείμενα Ιδιότητες και Σχέσεις Θεωρείστε την παρακάτω εξαγωγή συμπεράσματος: Κανένας ακέραιος δεν είναι μεγαλύτερος από το τετράγωνό του Το 1 2 είναι
Διαβάστε περισσότεραΤμήμα Χρηματοοικονομικής & Ελεγκτικής ΤΕΙ Ηπείρου Παράρτημα Πρέβεζας. Πληροφορική Ι. Μάθημα 4 ο Πράξεις με bits. Δρ.
Τμήμα Χρηματοοικονομικής & Ελεγκτικής ΤΕΙ Ηπείρου Παράρτημα Πρέβεζας Πληροφορική Ι Μάθημα 4 ο Πράξεις με bits Δρ. Γκόγκος Χρήστος Κατηγορίες πράξεων με bits Πράξεις με δυαδικά ψηφία Αριθμητικές πράξεις
Διαβάστε περισσότεραοµές Επιλογής Εντολές if και switch
οµές Επιλογής Εντολές if και switch οµή Ελέγχου Control Structure Ένας συνδυασµός ατοµικών εντολών σε µία λογική µονάδα, όπου υπάρχει µόνο ένα σηµείο εισόδου και ένα σηµείο εξόδου. οµή Ελέγχου για Επιλογή
Διαβάστε περισσότεραΨΗΦΙΑΚΑ ΚΥΚΛΩΜΑΤΑ - ΕΡΓΑΣΤΗΡΙΑΚΗ ΑΣΚΗΣΗ 2 ΛΟΓΙΚΕΣ ΠΥΛΕΣ OR, NOR, XOR
ΨΗΦΙΑΚΑ ΚΥΚΛΩΜΑΤΑ - ΕΡΓΑΣΤΗΡΙΑΚΗ ΑΣΚΗΣΗ 2 ΛΟΓΙΚΕΣ ΠΥΛΕΣ OR, NOR, XOR Σκοπός: Να επαληθευτούν πειραµατικά οι πίνακες αληθείας των λογικών πυλών OR, NOR, XOR. Να δειχτεί ότι η πύλη NOR είναι οικουµενική.
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά (Τσικνο)Πέµπτη, 12/02/2015 Το υλικό των Αντώνης διαφανειών Α. Αργυρός έχει βασιστεί σε διαφάνειες του e-mail: Kees argyros@csd.uoc.gr van Deemter, από το University of Aberdeen
Διαβάστε περισσότεραΒΑΣΙΚΟΙ ΤΥΠΟΙ ΔΕΔΟΜΕΝΩΝ
Η ΓΛΩΣΣΑ PASCAL ΒΑΣΙΚΟΙ ΤΥΠΟΙ ΔΕΔΟΜΕΝΩΝ Απλοί ή στοιχειώδης Τ.Δ. Ακέραιος τύπος Πραγματικός τύπος Λογικός τύπος Χαρακτήρας Σύνθετοι Τ.Δ. Αλφαριθμητικός 1. Ακέραιος (integer) Εύρος: -32768 έως 32767 Δήλωση
Διαβάστε περισσότεραΕλίνα Μακρή
Ελίνα Μακρή elmak@unipi.gr Μετατροπή Αριθμητικών Συστημάτων Πράξεις στα Αριθμητικά Συστήματα Σχεδίαση Ψηφιακών Κυκλωμάτων με Logism Άλγεβρα Boole Λογικές Πύλες (AND, OR, NOT, NAND, XOR) Flip Flops (D,
Διαβάστε περισσότεραΚΕΦΑΛΑΙΟ 8 Η ΓΛΩΣΣΑ PASCAL
8.1. Εισαγωγή ΚΕΦΑΛΑΙΟ 8 Η ΓΛΩΣΣΑ PACAL Πως προέκυψε η γλώσσα προγραμματισμού Pascal και ποια είναι τα γενικά της χαρακτηριστικά; Σχεδιάστηκε από τον Ελβετό επιστήμονα της Πληροφορικής Nicklaus Wirth to
Διαβάστε περισσότεραΓ' ΛΥΚΕΙΟΥ ΤΕΧΝΟΛΟΓΙΚΗ ΚΑΤΕΥΘΥΝΣΗ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΕΚΦΩΝΗΣΕΙΣ ÏÅÖÅ
1 Γ' ΛΥΚΕΙΟΥ ΤΕΧΝΟΛΟΓΙΚΗ ΚΑΤΕΥΘΥΝΣΗ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΘΕΜΑ 1 ο ΕΚΦΩΝΗΣΕΙΣ Α. Να γράψετε στην κόλλα σας τον αριθµό καθεµιάς από τις παρακάτω προτάσεις 1 5 και δίπλα τη λέξη
Διαβάστε περισσότεραΨΗΦΙΑΚΑ ΗΛΕΚΤΡΟΝΙΚΑ. ιδάσκων : ρ. Β. ΒΑΛΑΜΟΝΤΕΣ. Πύλες - Άλγεβρα Boole 1
ΨΗΦΙΑΚΑ ΗΛΕΚΤΡΟΝΙΚΑ ιδάσκων : ρ. Β. ΒΑΛΑΜΟΝΤΕΣ Πύλες - Άλγεβρα Boole 1 ΕΙΣΑΓΩΓΗ Α)Ηλεκτρονικά κυκλώµατα Αναλογικά κυκλώµατα Ψηφιακά κυκλώµατα ( δίτιµα ) V V 2 1 V 1 0 t t Θετική λογική: Ο V 1 µε V 1 =
Διαβάστε περισσότεραΠανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 6: Προτασιακός Λογισμός
Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Διακριτά Μαθηματικά Ενότητα 6: Προτασιακός Λογισμός Αν. Καθηγητής Κ. Στεργίου e-mail: kstergiou@uowm.gr Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών Άδειες
Διαβάστε περισσότεραΣ ή. : υαδικά. Ε ό. ή Ενότητα
1η Θεµατική Θ ή Ενότητα Ε ό : υαδικά δ ά Συστήµατα Σ ή Μονάδα Ελέγχου Ψηφιακοί Υπολογιστές Αριθµητική Μονάδα Κρυφή Μνήµη Μονάδα Μνήµης ιαχείριση Μονάδων Ι/Ο ίσκοι Οθόνες ικτυακές Μονάδες Πληκτρολόγιο,
Διαβάστε περισσότεραΠώς είναι δυνατόν να είναι ισοδύναµες οι εξισώσεις που αναφέρονται στο ερώτηµα ii, αφού δεν έχουν το ίδιο πεδίο ορισµού 2 ;
1 Ισοδύναµες εξισώσεις και η έννοια του «κοντά» ρ. Παναγιώτης Λ. Θεοδωρόπουλος πρώην Σχολικός Σύµβουλος ΠΕ03 e-mail@p-thedrpuls.gr Εισαγωγή Στην εργασία αυτή αναλύονται και αναπτύσσονται οι έννοιες που
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Πέµπτη, 09/03/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/9/2017
Διαβάστε περισσότεραΑποφασισιµότητα. HY118- ιακριτά Μαθηµατικά. Βασικές µέθοδοι απόδειξης. 07 -Αποδείξεις. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο 2017
HY118- ιακριτά Μαθηµατικά Πέµπτη, 02/03/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/2/2017
Διαβάστε περισσότεραΕΙΣΑΓΩΓΗ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ
ΤΕΙ ΙΟΝΙΩΝ ΝΗΣΩΝ ΤΜΗΜΑ ΕΦΑΡΜΟΓΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ ΣΤΗ ΔΙΟΙΚΗΣΗ ΚΑΙ ΣΤΗΝ ΟΙΚΟΝΟΜΙΑ 8 Ο ΜΑΘΗΜΑ ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ ΑΠΟΣΤΟΛΙΑ ΠΑΓΓΕ Περιεχόμενα 2 Άλγεβρα Boole Ορισμοί Λογικές πράξεις Πίνακες αληθείας Πύλες
Διαβάστε περισσότεραΠεριεχόµενα. οµή Η/Υ: Αναπαράσταση εδοµένων. υαδικό σύστηµα. Συστήµατα Αρίθµησης υαδικό Οκταδικό εκαεξαδικό Παραδείγµατα
οµή Η/Υ: Αναπαράσταση εδοµένων Συστήµατα Αρίθµησης υαδικό Οκταδικό εκαεξαδικό Παραδείγµατα Περιεχόµενα Κωδικοποίηση δεδοµένων Κώδικας ASCII Άλλοι κώδικες Παραδείγµατα Συστήµατα Αρίθµησης Τα συνηθέστερα
Διαβάστε περισσότεραΤεχνητή Νοημοσύνη (ΥΠ23) 6 ο εξάμηνο Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ουρανία Χατζή
Τεχνητή Νοημοσύνη (ΥΠ23) 6 ο εξάμηνο Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ουρανία Χατζή raniah@hua.gr 1 Λογική Αποσαφήνιση και τυποποίηση της διαδικασίας της ανθρώπινης σκέψης Η μαθηματική
Διαβάστε περισσότεραΑναπαράσταση Γνώσης και Συλλογιστικές
ναπαράσταση Γνώσης και Συλλογιστικές! Γενικά Προτασιακή λογική Λογική πρώτης τάξης Λογικός προγραµµατισµός Επεκτάσεις της Λογικής Πρώτης Τάξης Συστήµατα Κανόνων Επίλογος ναπαράσταση γνώσης " ναπαράσταση
Διαβάστε περισσότεραΨηφιακά Συστήματα. 3. Λογικές Πράξεις & Λογικές Πύλες
Ψηφιακά Συστήματα 3. Λογικές Πράξεις & Λογικές Πύλες Βιβλιογραφία 1. Φανουράκης Κ., Πάτσης Γ., Τσακιρίδης Ο., Θεωρία και Ασκήσεις Ψηφιακών Ηλεκτρονικών, ΜΑΡΙΑ ΠΑΡΙΚΟΥ & ΣΙΑ ΕΠΕ, 2016. [59382199] 2. Floyd
Διαβάστε περισσότεραεπιµέλεια Θοδωρής Πιερράτος
Βασικές έννοιες προγραµµατισµού Η ύλη που αναπτύσσεται σε αυτό το κεφάλαιο είναι συναφής µε την ύλη που αναπτύσσεται στο 2 ο κεφάλαιο. Όπου υπάρχουν διαφορές αναφέρονται ρητά. Προσέξτε ιδιαίτερα, πάντως,
Διαβάστε περισσότεραΜάθημα 0: Εισαγωγή. Λευτέρης Καπετανάκης. ΤΕΧΝΟΛΟΓΙΚΟ ΕΚΠΑΙΔΕΥΤΙΚΟ ΙΔΡΥΜΑ ΚΡΗΤΗΣ ΤΜΗΜΑ ΗΛΕΚΤΡΟΝΙΚΗΣ Άνοιξη 2011
ΤΛ22 Ψηφιακά Κυκλώματα Ι Μάθημα : Εισαγωγή Λευτέρης Καπετανάκης ΤΕΧΝΟΛΟΓΙΚΟ ΕΚΠΑΙΔΕΥΤΙΚΟ ΙΔΡΥΜΑ ΚΡΗΤΗΣ ΤΜΗΜΑ ΗΛΕΚΤΡΟΝΙΚΗΣ Άνοιξη 2 Περιεχόμενα Μαθήματος Εισαγωγή στη σχεδίαση των ψηφιακών κυκλώματων Εισαγωγή
Διαβάστε περισσότεραΨΗΦΙΑΚΗ ΛΟΓΙΚΗ ΣΧΕ ΙΑΣΗ
Τµήµα Ηλεκτρολόγων Μηχανικών Εργαστήριο Ενσύρµατης Τηλεπικοινωνίας ΨΗΦΙΑΚΗ ΛΟΓΙΚΗ ΣΧΕ ΙΑΣΗ ιδάσκων: Καθηγητής Ν. Φακωτάκης Τµήµα Ηλεκτρολόγων Μηχανικών Εργαστήριο Ενσύρµατης Τηλεπικοινωνίας ΨΗΦΙΑΚΗ ΛΟΓΙΚΗ
Διαβάστε περισσότεραΓνώση. Γνώση (knowledge) είναι ο κοινός παράγοντας (π.χ. κανόνες) που περιγράφει συνοπτικά τις συσχετίσεις μεταξύ των δεδομένων ενός προβλήματος.
Γνώση Η γνώση είναι διαφορετική από τα δεδομένα Γνώση (knowledge) είναι ο κοινός παράγοντας (π.χ. κανόνες) που περιγράφει συνοπτικά τις συσχετίσεις μεταξύ των δεδομένων ενός προβλήματος. Η γνώση για κάποιο
Διαβάστε περισσότεραΒασικοί τύποι δεδομένων (Pascal) ΕΠΑ.Λ Αλίμου Γ Πληροφορική Δομημένος Προγραμματισμός (Ε) Σχολ. Ετος Κων/νος Φλώρος
Βασικοί τύποι δεδομένων (Pascal) ΕΠΑ.Λ Αλίμου Γ Πληροφορική Δομημένος Προγραμματισμός (Ε) Σχολ. Ετος 2012-13 Κων/νος Φλώρος Απλοί τύποι δεδομένων Οι τύποι δεδομένων προσδιορίζουν τον τρόπο παράστασης των
Διαβάστε περισσότεραΗΥ Λογική. Διδάσκων: Δημήτρης Πλεξουσάκης Καθηγητής
ΗΥ 180 - Λογική Διδάσκων: Καθηγητής E-mail: dp@csd.uoc.gr Ώρες διδασκαλίας: Δευτέρα, Τετάρτη 4-6 μμ, Αμφ. Β Ώρες φροντιστηρίου: Πέμπτη 4-6 μμ, Αμφ. Β Ώρες γραφείου: Δευτέρα, Τετάρτη 2-4 μμ, Κ.307 Web site:
Διαβάστε περισσότεραΘΕΜΑΤΑ & ΕΝΔΕΙΚΤΙΚΕΣ ΛΥΣΕΙΣ
ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΚΑΙ ΤΕΧΝΟΛΟΓΙΑΣ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ Θεματική Ενότητα Ακαδημαϊκό Έτος 2010 2011 Ημερομηνία Εξέτασης Κυριακή 26.6.2011 Ώρα Έναρξης Εξέτασης
Διαβάστε περισσότεραΕπιλογή και επανάληψη. Λογική έκφραση ή συνθήκη
Επιλογή και επανάληψη Η ύλη που αναπτύσσεται σε αυτό το κεφάλαιο είναι συναφής µε την ύλη που αναπτύσσεται στο 2 ο κεφάλαιο. Όπου υπάρχουν διαφορές αναφέρονται ρητά. Προσέξτε ιδιαίτερα, πάντως, ότι στο
Διαβάστε περισσότεραΕισαγωγή στην Επιστήμη των Υπολογιστών
Εισαγωγή στην Επιστήμη των Υπολογιστών Ενότητα 2: Λογικές πράξεις, 2ΔΩ Τμήμα: Αγροτικής Οικονομίας & Ανάπτυξης Διδάσκων: Θεόδωρος Τσιλικρίδης Μαθησιακοί Στόχοι Η Ενότητα 2 διαπραγματεύεται θέματα που αφορούν
Διαβάστε περισσότεραΕισαγωγή στην πληροφορική
Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Εισαγωγή στην πληροφορική Ενότητα 4: Ψηφιακή Λογική, Άλγεβρα Boole, Πίνακες Αλήθειας (Μέρος Α) Αγγελίδης Παντελής Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών
Διαβάστε περισσότεραa = 10; a = k; int a,b,c; a = b = c = 10;
C: Από τη Θεωρία στην Εφαρµογή Κεφάλαιο 4 ο Τελεστές Γ. Σ. Τσελίκης Ν. Δ. Τσελίκας Ο τελεστής εκχώρησης = Ο τελεστής = χρησιµοποιείται για την απόδοση τιµής (ή αλλιώς ανάθεση τιµής) σε µία µεταβλητή Π.χ.
Διαβάστε περισσότερα