Informatika štúdium

Operace – definovaná dvěmi částmi1. Signatura (interface) – specifikuje jméno operace a argumenty2. Metoda (tělo) – specifikuje implementaci operace– operace je vyvolána zprávou, kterou přijme objekt a která obsahuje jméno operace a parametry. Objekt...

OO AnalýzaKoncem 80. a začátkem 90. let se vytváří OO Analýza (OOA).OOA představuje obohacení datového modelování o prvky, které přineslo modulární a OO programování: spojování dat s funkcemi, generalizace (dědění), případně ukrývání informací. OOA...

Stavové diagramy v OOA se přiřazují třídám na rozdíl od strukturované analýzy, kde se přiřaďují procesům. Model dynamiky systému tak pozůstává z množiny stavových diagramů, každý pro jednu třídu s relevantním chováním. Tyto diagramy...

OO NávrhSoftwarový systém je soubor funkcí nad souborem dat. Základní otázkou při návrhu softwarového systému je, zda má být založena na datech nebo činnostech. Tradiční – procedurální metoda považuje za základ činnost, zatímco OO...

OO návrhu – zkoumej nejprve data a zapomeň na bezprostřední specifikaci systému – neodpovídá ovšem na další otázky:• jak najít objekty a třídy• jak popsat objekty a třídy• jak popsat relace a společné rysy...

Základní pojmy OOP:– objekt – představuje atomickou jednotku modelu reálného světa a umožňuje počítačovou implementaci, zabírá místo v paměti a je známa jeho adresa, skládá se z množiny hodnot – atributů a z množiny...

Polymorfizmus– v programování znamená, že proměnná a hodnota může patřit do více než jednoho typuExistují dva druhy polymorfizmu– univerzální polymorfické funkce pracují s nekonečným počtem typů– Ad – hoc polymorfické funkce pracují pouze s...

Státnicová otázka: 21. Objektový princíp v informačných technológiách – súvislosť problematiky objektovo orientovanej analýzy, návrhu, objektového programovania, objektových databáz, rámcových expertných systémov a pod. OO přístup má své počátky v oblasti programování – OO...

Príklady : predikáty : je_vedúci(X,Y); X je vedúcim Y je_nadriadený(X,Y); X je nadriadeným Y je_podriadený(X,Y); X je podriadeným Y fakty : je_vedúci(Andrej,Michal); je_vedúci(Andrej,Fero); je_vedúci(Michal,Gabriel) je_vedúci(Fero,Jozef); je_vedúci(Andrej,Jana); je_vedúci(Jana,Dušan); je_vedúci(Fero,Peter); je_vedúci(Jana, Zuzana); je_vedúci(Jana,Mirka) pravidlá : je_nadriadený(X,Y)...

interpretácia dôkazom • je_vedúci(Michal, Gabriel) – fakt• je_vedúci(Andrej,Michal) – fakt • je_nadriadený(Michal,Gabriel) 1. odvodený fakt • je_nadriadený(Andrej,Gabriel) :- je_vedúci(Andrej,Michal), je_nadriadený(Michal,Gabriel)2. odvodený fakt, nakoľko je totožný s cieľom, inferencia je úspešne ukončená interpretácia modelovaním známe...