Μοντέλα και Μεθοδολογίες Στρατηγικού Προγραμματισμού ΠΣ.

Slides:



Advertisements
Παρόμοιες παρουσιάσεις
Ο Ρόλος της Πληροφορίας στη Διαχείριση της Εφοδιαστικής Αλυσίδας
Advertisements

“Capacity Building in Sustainable Public Procurement” Πρόγραμμα LIFE+ “Capacity Building in Sustainable Public Procurement” Πολύνα Γκιόκα Οικολογική Εταιρεία.
Ανάπτυξη Μοντέλου Ρομποτικού Οχήματος Σταθερής Τροχιάς, για Αποθήκη Κέντρου Διανομής Λιανεμπορίου ή Υπηρεσιών Logistics Γκρέμος Αναστάσιος ΠΛΣ Διπλωματική.
ΤΡΟΠΟΣ ΑΞΙΟΛΟΓΗΣΗΣ ΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΟΣ ΚΙΝΗΤΙΚΟΤΗΤΑΣ
Υλοποιηςη εργων SAP μεθοδος asap
Information Systems Governance Αγγελής Δημήτριος (ΜΤΕ/0936) IS Governance Ορισμός: Πληροφοριακή Διακυβέρνηση ονομάζουμε εκείνες τις διαδικασίες βάση των.
ΠΜΣ ΠΡΟΗΓΜΕΝΑ ΣΥΣΤΗΜΑΤΑ ΠΛΗΡΟΦΟΡΙΚΗΣ Κατεύθυνση ΤΕΔΑ Τεχνολογίες Διαχείρισης Ασφάλειας Security Management Engineering Τμήμα Πληροφορικής ΠΑΝΕΠΙΣΤΗΜΙΟ.
IT Benefits Τσαγαλά Ευρύκλεια Σιάκουλη Ευθυμία Στρατηγική και Οικονομική των Πληροφοριακών Συστημάτων.
Μεθοδολογίες και Εργαλεία Ανάλυσης και Σχεδιασμού Π.Σ.
Μεθοδολογίες και Εργαλεία Ανάλυσης και Σχεδιασμού Π.Σ. Σπύρος Κοκολάκης ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΑΚΩΝ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΑΚΩΝ.
Γενική Διεύθυνση Απασχόλησης, Κοινωνικών Υποθέσεων και Ίσων Ευκαιριών
Τι είναι Ανάλυση Τι είναι Συστήματα Πληροφορικής
ΠΛΗΡΟΦΟΡΙΑΚΑ ΣΥΣΤΗΜΑΤΑ
Ο ΣΤΡΑΤΗΓΙΚΟΣ ΡΟΛΟΣ ΤΩΝ ΠΣ
ΑΝΑΛΥΣΗ ΤΩΝ ΠΛΗΡΟΦΟΡΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ ERP
ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΑΚΩΝ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ ΠΛΗΡΟΦΟΡΙΑΚΑ ΣΥΣΤΗΜΑΤΑ ΔΙΟΙΚΗΣΗΣ Π.Μ.Σ ΔΗΜΑΚΟΠΟΥΛΟΥ ΕΛΕΥΘΕΡΙΑ.
ΜΑΘΗΜΑ: ΔΙΑΧΕΙΡΗΣΗ ΕΦΟΔΙΑΤΙΚΗΣ ΑΛΥΣΙΔΑΣ.  E.R.P μπορούμε να πούμε ότι είναι ένα επιχειρησιακό εργαλείο ελέγχου, παρακολούθησης και συντονισμού των διαδικασιών.
Εισαγωγή στην Αξιολόγηση Έργων Πληροφορικής Στρατηγική και Οικονομική των Π.Σ. Βέμου Κωνσταντίνα Τσάμα Ριγκέρς.
Ο Ρόλος της υποδομής πληροφορικής στο Disaster Recovery Planning Ανδρέας Τριανταφυλλίδης Διευθυντής Marketing και Πωλήσεων.
Φάσεις της Διοίκησης Αμοιβών
ΟΙΚΟΝΟΜΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ
ΟΙΚΟΝΟΜΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ
Βλάσσης Νικόλαος Α.Μ Γεωργακόπουλος Παναγιώτης Α.Μ Δεπάστα Χαρίκλεια Α.Μ Κουτσιώρα Τριανταφυλλιά Α.Μ
Αξιολόγηση πληροφοριακών συστημάτων
ΣΚΕΛΕΤΟΣ ΜΑΘΗΜΑΤΟΣ Παρουσίαση για το μάθημα “Στρατηγική και Οικονομική των Π.Σ.” Καραμιχάλη Ιφιγένεια Κολλιάρου Μαρία-Ελένη.
Διαχείριση Έργων Πληροφορικής
ΣΧΕΔΙΑΣΜΟΣ ΕΠΙΧΕΙΡΗΜΑΤΙΚΩΝ ΕΠΕΝΔΥΣΕΩΝ
Strategy and the Internet Γιώργος Θάνος Παρασκευή 12 Δεκεμβρίου 2008.
Στρατηγικοί στόχοι του Δικτύου Μακροχρόνιας Φροντίδας. Tο κεντρικό ζητούμενο ενός συστήματος διοίκησης και διαχείρισης των υπηρεσιών Μακροχρόνιας Φροντίδας.
Τεχνολογία ΛογισμικούSlide 1 Τεχνολογία Απαιτήσεων u Καθορίζει τι θέλει ο πελάτης από ένα σύστημα λογισμικού.
ΤΕΧΝΟΛΟΓΙΚΟ ΕΚΠΑΙΔΕΥΤΙΚΌ ΙΔΡΥΜΑ ΚΕΝΤΡΙΚΗΣ ΜΑΚΕΔΟΝΙΑΣ
Έρευνα αγοράς: Ορισμός και Περιγραφή Είναι:Μια ευρύτερη διοικητική δραστηριότητα, η οποία ΔΕΝ περιορίζεται απλώς στην διερεύνηση των επιθυμιών, σκέψεων.
Ορισμός και Αρχιτεκτονική Συστημάτων Υποστήριξης Αποφάσεων.
 Κύριο αντικείμενο της μελέτης είναι ο καθορισμός της μεθοδολογίας, των προτύπων (standards) και των διαδικασιών (procedures) για τις πρώτες και πιο.
1 Στρατηγικό Μάνατζμεντ Τηλεπικοινωνιών Ιεράρχηση Στρατηγικής –Επίπεδα Στρατηγικής.
Μέρος 1 Εισαγωγή στα Πληροφοριακά Συστήματα. 22/9/20162 Περιεχόμενα  Βασικές έννοιες Πληροφοριακών Συστημάτων  Απαιτήσεις των σύγχρονων επιχειρήσεων.
ΑΓΟΡΑ & ΕΠΙΧΕΙΡΗΜΑΤΙΚΟΤΗΤΑ ΗΛΕΚΤΡΟΝΙΚΕΣ ΕΠΙΧΕΙΡΗΣΕΙΣ ΣΤΡΑΤΗΓΙΚΗ ΠΛΗΡΟΦΟΡΙΚΩΝ ΣΥΣΤΗΜΑΤΩΝ Α ργυρή Κατωπόδη.
Ταξινόμηση Πληροφοριακών Συστημάτων. Μοντέλο Μελέτης των ΠΣ Επιχειρηματικά Θέματα Τεχνολογικά Θέματα Κοινωνικά Θέματα Πληροφοριακά Συστήματα.
Συστήματα Υποστήριξης Αποφάσεων Θεωρία Αποφάσεων.
Ο Στρατηγικός Σχεδιασμός της Επιχείρησης και οι Τεχνολογίες Πληροφορίας και Επικοινωνιών Σπυρίδων Πανέτσος.
1 Στρατηγικό Μάνατζμεντ Τηλεπικοινωνιών Εισαγωγικά.
Εφαρμογές και Διοίκηση των Πληροφοριακών Συστημάτων.
Επίσημος ορισμός Ποιότητας (πρότυπο ISO 8402) Σύνολο χαρακτηριστικών μιας οντότητας για την ικανοποίηση εκφρασμένων και συνεπαγόμενων αναγκών. Αντικείμενο.
Διαχείριση κόστους έργων πληροφορικής. 2 Ανάλυση κόστους/οφέλους Η ανάλυση κόστους/οφέλους βασίζεται γενικά στις ακόλουθες οικονομικές αρχές:  Κριτήριο.
ΕΠΙΧΕΙΡΗΜΑΤΙΚΉ ΣΤΡΑΤΗΓΙΚΉ – ΕΠΙΧΕΙΡΗΜΑΤΙΚΌΣ ΣΧΕΔΙΑΣΜΌΣ ΩΣ ΕΡΓΑΛΕΊΟ ΠΟΙΌΤΗΤΑΣ Διοίκηση Ολικής Ποιότητας Τμήμα Διοίκησης Επιχειρήσεων ΤΕΙ Δυτικής Ελλάδας.
Ανάλυση και Σχεδιασμός Πληροφοριακών Συστημάτων (Θεωρία)
Ανάπτυξη ΣΥΑ.
Λήψη αποφάσεων Ληψη Αποφαςεων Γ. Καμπουρίδης.
ΕΠΙΧΕΙΡΗΜΑΤΙΚΟ ΣΧΕΔΙΟ ΙΔΡΥΣΗΣ ΚΑΙ ΛΕΙΤΟΥΡΓΙΑΣ ΠΡΑΤΗΡΙΟΥ ΥΓΡΩΝ ΚΑΥΣΙΜΩΝ
Επιχειρηματικός Σχεδιασμός
Έννοια και τρόπος διαχείρισης του Επιχειρηματικού κινδύνου (ΕΚ)
ΔΙΟΙΚΗΣΗ ΟΛΙΚΗΣ ΠΟΙΟΤΗΤΑΣ
Παράδειγμα 1 Μια ΚΑΕ παρουσίασε τα εξής αποτελέσματα για τα έτη 2006 και Κέρδη χρήσης
Πληροφοριακά Συστήματα Ανώτατης Διοίκησης (EIS) Συστήματα Υποστήριξης Ανώτατης Διοίκησης (ESS) Συστήματα Υποστήριξης Αποφάσεων στο Διαδίκτυο (Web-based.
ΠΑΡΟΥΣΙΑΣΗ ΚΑΤΕΥΘΥΝΣΕΩΝ
Πρακτική Εφαρμογή.
Ανάλυση και σχεδιασμόσ πληροφοριακών συστημάτων
Επιχειρησιακός Σχεδιασμός και Διαχείριση Έργων
Η Μετάβαση από το Ηλεκτρονικό Επιχειρείν στην ανάπτυξη Υπηρεσιών
ΑΞΙΟΛΟΓΗΣΗ ΠΡΟΣΩΠΙΚΟΥ ΣΤΙΣ ΜΟΝΑΔΕΣ ΥΓΕΙΑΣ ΑΝΤΙΚΕΙΜΕΝΙΚΕΣ ΜΕΘΟΔΟΙ
Οργάνωση & Διοίκηση Αθλητισμού
Δ ι α χ ε ί ρ ι σ η Έ ρ γ ο υ P r o j e c t M a n a g e m e n t
Εκπαιδευτικό Σενάριο Επιχειρηματικότητας
Το κόστος Ποιότητας    
Κλειούσης Ε. Ελευθέριος
ΕΠΙΧΕΙΡΗΜΑΤΙΚΑ ΣΧΕΔΙΑ: ΟΡΙΣΜΟΙ ΚΑΙ ΘΕΣΜΙΚΟ ΠΛΑΙΣΙΟ
Πληροφοριακά Συστήματα
Αρχική Εκτίμηση Ετήσιου Οικονομικού Οφέλους Περιγραφή Δράσεων Βασικοί Στόχοι – Προσδοκώμενα Οφέλη Αρχική Εκτίμηση Ετήσιου.
Αξιολόγηση της επίδοσης ενός οργανισμού σε θέματα ασφάλειας
Υλοποίηση &΄Έλεγχος σχεδιασμού μάρκετινγκ Δρ. Μάλαμα Ελεονώρα Ιουλία
Μεταγράφημα παρουσίασης:

Μοντέλα και Μεθοδολογίες Στρατηγικού Προγραμματισμού ΠΣ

Μοντέλα Φάσεων (Stages Models) Πολύ γνωστό είναι το μοντέλο του Nolan που στην τελική του μορφή έφτασε το Εύκολο και κατανοητό μεν, αλλά όχι και το πιο έγκυρο!! Διακρίνει 6 φάσεις για την ανάπτυξη των ΠΣ σε μια επιχείρηση.

Μοντέλα Φάσεων (Stages Models) 1.Initiation: μερικές μόνο εφαρμογές, μικρός έλεγχος σχετικά με τα έξοδα, απουσία σχεδιασμού. 2.Contagion: η ανάπτυξη ΠΣ ενθαρρύνεται, μικρός έλεγχος σχετικά με τα έξοδα, απουσία σχεδιασμού, χαμηλή ποιότητα συστημάτων.

Μοντέλα Φάσεων (Stages Models) 3.Control: Λόγων χαμηλής ποιότητας ΠΣ, αυξάνεται ο έλεγχος κόστους, το οποίο όμως συνεχίζει να αυξάνεται λόγω «εισόδου» των δικτύων. 4.Integration: Το κόστος συνεχίζει να αυξάνεται, εισαγωγή των DBMS.

Μοντέλα Φάσεων (Stages Models) 5.Data Administration: Συνεχίζεται ο έλεγχος κόστους, ανάπτυξη συστημάτων με αναμενόμενο μεγάλο όφελος για την επιχείρηση. 6.Maturity: Η ανάπτυξη των ΠΣ θεωρείται πλήρης και ανταποκρίνεται στην οργανωτική δομή της επιχείρησης.

Μεθοδολογίες

1.Critical Success Factors (CSFs) Rockart (1979)

Ορισμός των CSFs Οι critical success factors είναι οι λίγοι σημαντικοί παράγοντες όπου ένα στέλεχος ή ένας οργανισμός πρέπει να επιτύχει καλή απόδοση ώστε να θεωρείτε επιτυχής η δραστηριότητά του.

Βήματα Μεθοδολογίας CSFs 1.Προσδιορισμός των στόχων της επιχείρησης. 2.Καθορισμός του συνόλου των CSFs. 3.Ανάπτυξη συστημάτων / μονάδων μέτρησης των CSFs. 4.Καταγραφή και ενημέρωση των μετρήσεων των CSFs.

Πλεονεκτήματα της Μεθοδολογίας CSFs 1.Εύκολα αποδεκτή από τους managers. 2.Οδηγεί τη σκέψη και την προσοχή στα CSFs δηλαδή στους σημαντικούς παράγοντες απόδοσης. 3.Τα CSFs και οι μετρήσεις τους μπορούν να χρησιμοποιηθούν για τον έλεγχο της προόδου της στρατηγικής.

Μειονεκτήματα της Μεθοδολογίας CSFs 1.Απαιτεί εξοικείωση και την εκπαίδευση των αναλυτών. (Όλες οι μεθοδολογίες στρατηγικού σχεδιασμού ΠΣ όμως έχουν αυτές τις απαιτήσεις). 2.Η υποκειμενικότητα των managers μπορεί να επηρεάσει τα αποτελέσματα. (Διαφορετικές όμως μελέτες CSFs οδήγησε σε παρόμοια αποτελέσματα). 3.Δεν αντιμετωπίζει εύκολα την πολυπλοκότητα των θεμάτων που αφορούν στο στρατηγικό προγραμματισμό των ΠΣ, λόγω ανθρώπινων αδυναμιών αντιμετώπισης ιδιαίτερα πολύπλοκων καταστάσεων.

Προσδιορίστε τα CSFs της δικής σας… επιχείρησης.

Μεθοδολογία των Henderson / Sifonis (1987) (επέκταση της CSFs)

Βήματα Μεθοδολογίας Henderson / Sifonis 1.Προσδιορισμός της στρατηγικής της επιχείρησης. 2.Καθορισμός των CSFs.

Βήματα Μεθοδολογίας Henderson / Sifonis 3.Βασιζόμενοι στους CSFs προσδιορίζονται τα: Critical Decision Set Value based Processes Set Critical Assumptions Set Strategic Data Model …τα οποία οδηγούν σε προσδιορισμό των απαραίτητων ΠΣ.

Critical Decision Set Προσδιορισμός των αποφάσεων που επηρεάζουν τους CSFs περισσότερο. Οδηγεί σε θεώρηση της στρατηγικής ανάπτυξης Συστημάτων Υποστήριξης Αποφάσεων.

Value based Processes Set Προσδιορισμός των επιχειρηματικών διαδικασιών των οποίων η απόδοση είναι σημαντική για την επίτευξη των CSFs. Οδηγεί σε θεώρηση της στρατηγικής ανάπτυξης Πληροφοριακών Συστημάτων Διοίκησης.

Critical Assumptions Set Προσδιορισμός των υποθέσεων και θέσεων που υιοθετούν οι managers σχετικά με τους CSFs. Καθορισμός των απαιτούμενων δεδομένων για την μελέτη (αποδοχή ή απόρριψη) των υποθέσεων και των θέσεων. Οδηγεί στη θεώρηση της στρατηγικής ανάπτυξης Συστημάτων Υποστήριξης Διοίκησης (Executive Support Systems) που ελέγχουν / αξιολογούν τις υποθέσεις και τις διατυπωμένες θέσεις.

Strategic Data Model Είναι Entity Relationship Diagrams (ERDs), που συνθέτουν τις απόψεις (views) των δεδομένων όπως έχουν προκύψει από τα προηγούμενα βήματα κατά τον προσδιορισμό των: DSS MIS ESS

Προσδιορίστε τα σχετικά sets…και DSS / MIS / ESS / ERDs της δικής σας… επιχείρησης.

Μεθοδολογία του Earl (1989) Βήματα Προσδιορισμός επιχειρηματικών στρατηγικών αναγκών και CSFs. (top-down) Αξιολόγηση υπαρχόντων ΠΣ π.χ. ποιότητα, αξιοπιστία, κάλυψη. (bottom-up) Καθορισμός ευκαιριών ανάπτυξης στρατηγικών ΠΣ. (brainstorming, Delphi method)

Business Systems Planning (BSP), από την IBM Προετοιμασία Προσδιορισμός του εύρους του σχεδιασμού ΠΣ. Οργάνωση της ομάδας. Οργάνωση συνεντεύξεων με τα στελέχη.

Business Systems Planning (BSP), από την IBM (βήματα) 1.Ανάπτυξη των ERD models. 2.Ανάλυση τρέχουσας υποστήριξης που παρέχουν τα υπάρχοντα ΠΣ. 3.Καθορισμός προτεραιοτήτων ανάπτυξης ΠΣ. 4.Ανάλυση των προσδιορισμένων ΠΣ. 5.Υλοποίηση των ΠΣ.

Business Systems Planning (BSP), από την IBM (βήματα) Η μεθοδολογία αυτή έχει σαφή προσδιορισμό στην ανάλυση ευκαιριών βελτίωσης της παραγωγικότητας των υπαρχόντων διαδικασιών και όχι τόσο στον προσδιορισμό καινοτόμων ευκαιριών.

Άλλες Μεθοδολογίες Portfolio Analysis (Synnott 1987) Information Engineering (James Martin 1982) Strategic Tree Methodology (Meyer and Boon 1987) Method 1 (Andersen Consulting)

Η ανάπτυξη computer-based μοντέλων αλλά και η computer- based υποστήριξη στις μεθοδολογίες θεωρείται από τις πολύ σημαντικές προτεραιότητες για την αντιμετώπιση της πολυπλοκότητας των θεμάτων του στρατηγικού προγραμματισμού ΠΣ.

Σύστημα Βάσης Δεδομένων (Mensah 1989) Η Βάση Δεδομένων περιέχει πληροφορίες και τεκμηρίωση σχετικά με καινοτομικές εφαρμογές ΠΣ που αναπτύχθηκαν από ανταγωνιστικές επιχειρήσεις και προμηθευτές συστημάτων πληροφορικής.

Σύστημα Βάσης Δεδομένων (Mensah 1989) Η Βάση Δεδομένων περιέχει επίσης πληροφορίες σχετικά με την στρατηγική και τους στόχους της επιχείρησης. Το σύστημα αυτό όμως λειτουργεί μόνο ως σύστημα αναφοράς, δίνοντας πληροφορίες και περιγράφοντας καταστάσεις. Δεν έχει δυνατότητες εξαγωγής συμπερασμάτων και προσδιορισμού ΠΣ.

Έμπειρο Σύστημα (Gongla 1989) Χρησιμοποιεί τα μοντέλα Growth Share Matrix, Strategic Grid, Strategic Option Generator, Customer Resource Life Cycle. Μια Βάση Δεδομένων αναπτύχθηκε με πολλά παραδείγματα ΠΣ, τα οποία είναι ταξινομημένα με βάση κάποια κριτήρια τα οποία απορρέουν από τα προαναφερθέντα μοντέλα.

Τα κριτήρια αντικατοπτρίζουν συγκεκριμένα τα παρακάτω Επιχειρηματική περιοχή (προσωπικό, ΙΤ, χρηματοοικονομικά, κλπ). Στρατηγική (cost leadership, differentiation, κλπ). Στόχος (πελάτες, προμηθευτές, σύμμαχοι, κλπ). Χρήση του ΠΣ (αυτοματοποίηση, βελτίωση πληροφοριών, προϊόντων, κλπ).

Αρχιτεκτονική Συστήματος (Gongla 1989)

Teachers Module Browser Module Facilitator (Analogical Reasoning) Ερευνώ περιπτώσεις Μαθαίνω Δυνατότητες ΠΣ Δημιουργώ προτάσεις και ιδέες

Έμπειρο Σύστημα GNOSIS (1992) Βασίζεται σε πληροφορίες και γνώσεις σχετικά με: Την επιχείρηση (δομή, διαδικασίες, στρατηγική). Τα στρατηγικές ΠΣ (χρησιμοποιεί μια επεκτεταμένη μορφή του Information Weapon model). Τεχνολογίες ΠΣ.

Μοντέλο Επιχείρησης

Στρατηγικές ΠΣ Generic Strategies Domain Independent Strategies Domain-Specific Strategies

Generic IT Strategies Information Productivity Communication Innovation

Domain Independent Strategies Μείωση χρόνου διεκπεραίωσης διαδικασίας. Βελτίωση ποιότητας προϊόντος / υπηρεσίας. Βελτίωση διαθεσιμότητας πληροφοριών. Αύξηση του bandwidth μεταφοράς πληροφοριών.

Domain Specific Strategies Αύξηση των δυνατοτήτων συναλλαγών με πελάτες / προμηθευτές. Αύξηση ασφάλειας συναλλαγών. Αύξηση αξιοπιστίας μετάδοσης πληροφοριών.

Τεχνολογίες ΠΣ Μοντέλο που αντικατοπτρίζει τα χαρακτηριστικά διαφόρων τεχνολογιών των ΠΣ.

Χαρακτηριστικά Τεχνολογιών Αναμενόμενη Επίδραση στην επιχείρηση από την εφαρμογή του συστήματος. Υποστήριξη καλά δομημένων αποφάσεων. Συνεισφορά στην αποδοτικότητα ενός ειδικού. Ανταπόκριση σε ειδικές απαιτήσεις του χρήστη σε πληροφορίες. Απαιτήσεις σε ΒΔ, Δίκτυα, Υλικό, Λογισμικό. Κόστος. Κλπ.

Αρχιτεκτονική Συστήματος GNOSIS

If Generic Strategy = productivity AND DIndS= Μείωση χρόνου ολοκλήρωσης διαδικασίας AND DSpS= Μείωση χρόνου δημιουργίας πληροφοριών ΤΗΕΝ τα προτεινόμενα συστήματα είναι DSS, EIS, ESS, ES

Τα συστήματα μετά αξιολογούνται με βάση τα κριτήρια από την βάση των τεχνολογικών χαρακτηριστικών.

Σύστημα Βασισμένο στην Ασαφή Λογική