Druhá část odpovědi na mail ohledně zpracování případů užití

Save this PDF as:
 WORD  PNG  TXT  JPG

Rozměr: px
Začít zobrazení ze stránky:

Download "Druhá část odpovědi na mail ohledně zpracování případů užití"

Transkript

1 Druhá část odpovědi na mail ohledně zpracování případů užití Autor RNDr. Ilja Kraval leden Úvod Tento článek navazuje jako pokračování na článek předešlý. Minule jsme si vysvětlili, jak lze jednoduše a efektivně zavádět pojmy (user concepts) v případech užití a jak je dobré mít i technickou podporu výkonného editoru umožňující zavést odkazy na tyto pojmy (viz produkt EA Object Editor, Odpovíme si nyní na druhý dotaz v mailu: 2. Další často probíranou záležitostí je, jak pojmout situaci, kdy po ukončení nějaké funkcionality, popisované jedním Usecase, je bezprostředně spuštěna (buďto automaticky nebo manuálním zásahem uživatele) funkcionalita popisovaná jiným UseCase. Například ihned po ukončení UseCase Založit žádost následuje vždy UseCase Vytisknout žádost, jehož obsah ale nemůže být součástí UseCase Založit žádost, protože tisk žádosti se provádí nejen po jejím založení ale i v jiných dalších případech a tak je existence samostatného UseCase pro popis tisku žádosti zcela oprávněná. Jakým způsobem tedy předat designerovi informaci, že vždy po provedení Usecase Založit žádost je nutné provést UseCase Vytisknout žádost? Strana 1

2 Dokážu si představit tři různá řešení, z nichž první dvě mi přijdou jako špatná. - První možnost je že informaci o tom že na sebe oba UseCase navazují, nijak v modelu nezaznamenám a tím pádem jí ani nepředám. - Druhá možnost je propojit oba Usecase tak, že UseCase Založit žádost by jako poslední bod svého hlavního scénáře obsahoval include Usecase Vytisknout žádost. Ovšem takto pojaté UseCase diagramy by pak byly naprosto nepřehledné a plné změti vazebních čar. - Třetí a mnou preferovaná možnost, je zaznamenat úspěšné ukončení UseCase Založit žádost jako jeden z několika možných Starting events UseCasu Vytisknout žádost. A jako jednoho z primárních Actorů UseCase Vytisknout žádost zařadit i System, nebo System event (protože o Actora Time respektive Time event se v tomto případě nejedná). Jaký je váš názor na mnou navrhované řešení? Rozbor nedoporučených variant Uvedenou první variantu v modelu vůbec tuto skutečnost neuvádět ihned zavrhneme. Držíme se totiž základního pravidla, které zní: Co není v USE CASE modelu, to se neprogramuje!. Vynechat něco v případech užití znamená vlastně požadavek prosím neprogramovat, což určitě není dobře... Třetí variantě, kdy použijeme tzv. události, tak té bych se osobně raději vyhnul. Mechanismus událostí lze v modelu případu užití efektivně a s velkou výhodou zavést (mimochodem opravdu dobrý námět pro další článek!), ale slouží k úplně jinému účelu! Události a jejich zpracování v USE CASE modelu používáme tam, kde se má vyvolat dopředu neznámý počet zatím díky vývoji a díky novým verzím dopředu neznámých funkcionalit na určitou službu události. Tyto funkcionality (případy užití) se pomocí jednoduchého mechanismu přes generalizaci zaháčkují k dané události a jsou poté při vyvolání události obslouženy (jedná se o use case variantu vzoru OBSERVER - LISTENER). Pro vysvětlení mechanismu událostí v USE CASE modelu bych jako příklad uvedl část scénáře případu užití Zaúčtování převodního příkazu : Na začátku scénáře těsně před zaúčtováním se má obsloužit dopředu neznámý počet funkcionalit, což znamená, že se budou postupně s vývojem rozšiřovat a neznáme je proto přesně dopředu. Pokud chceme korektně tuto situaci namodelovat, neměli bychom použít přímé oslovení a vyvolání seznamu daných funkcionalit například nazvaných U1, U2, U3 nějak takto:...a dále se provede U1, U2, U3.... To Strana 2

3 je špatné řešení (i když funkční), protože seznam se bude s vývojem a s novými verzemi a novými moduly rozšiřovat. Například za půl roku přidáme modul Úvěry a v něm budeme také potřebovat vyvolat funkcionalitu (nazvěme pro názornost např. U4) jako reakci na událost před zaúčtováním převodního příkazu. V tomto špatném řešení musíme otevřít případ užití Zaúčtování převodního příkazu a přidat do něj další řádek a zavolat U4. Všimněte si, jak je to paradoxní a proti zdravému selskému rozumu a tedy indikace chyby: Přidáním nového modulu Úvěry musíme otevřít starý případ užití Zaúčtování převodního příkazu a změnit jej! Správné řešení je v obdobě vzoru OBSERVER: Musíme tyto funkcionality oslovit nepřímo přes polymorfismus, tj. pomocí generalizace v USE CASE modelu takto: Zaúčtování převodního příkazu «include» * Reakce před zaúčtováním U 1 U 2 U 3 obrázek 1 Příklad na využití mechanismu událostí v UC modelu (obdoba vzoru OBSERVER - LISTENER) Poznámka: Podrobněji pojednáme o tomto efektivním mechanismu v některém z dalších článků. Zde si pouze všimněme následujících důležitých skutečností: 1. Případ užití Reakce před zaúčtováním je abstraktní 2. V textu scénáře Zaúčtování převodního příkazu se odvoláváme na tento vrchní abstraktní případ užití ve stromu generalizace, ale realizují se, v tomto vzoru cyklem, konkrétní dědicové vždy po jednom. Technicky je to možné, protože v generalizaci platí tzv. zástupnost zespodu nahoru (do předka je dosazen potomek). Text ve scénáři je tedy napsán nějak takto:...dále se provedou všechny reakce před zaúčtováním, viz UC Reakce před zaúčtováním... (nejlépe pomocí odkazu v EA Object Editoru). Tím se vyvolávají dědicové. Strana 3

4 3. Přidat novou reakci (například s novým modulem Úvěry) vůbec neznamená překopat případ užití Zaúčtování převodního příkazu. Text scénáře se totiž již nemění, viz předešlý odstavec, kde věta...dále se provedou všechny reakce před zaúčtováním, viz UC Reakce před zaúčtováním... se nezmění. Analytik pouze přidá nového dědice (například U4) abstraktního případu užití Reakce před zaúčtováním. V každém případě bych použití událostí pro naše řešení zavrhl. Je zřejmé, že se totiž u nás evidentně nejedná o událostní problém. V okamžiku vystavování žádosti na konci scénáře je totiž zřejmé, že se má (i když třebas volitelně) vyvolat tisk žádosti a nepotřebujeme zavádět obdobu vzoru OBSERVER LISTENER s oslovením anonymních funkcionalit schovaných polymorfismem za předka. Zavedení událostí je tedy ve vašem případě něco navíc, něco, co zbytečně zesložiťuje a znepřehledňuje problém. Mechanismus událostí (obdoba vzoru OBSERVER) je v USE CASE modelu sice velmi efektivní, ale pokud se použije tam, kde nemá být použit (tj. tam, kde je jasné a dopředu dané, jaké funkcionality se mají vyvolat), potom výrazně zvyšuje nepřehlednost modelu, protože čtenář modelu vyhledává zbytečné vazby přes události. Celá konstrukce vyvolání případů je nelogicky skryta do vztahu k událostem. Nakonec ještě připomenu, že problematiku událostí v USE CASE modelu považuji za natolik důležitou, že se jí budu určitě věnovat v některém z příštích článků. Hádanka pro čtenáře Avšak problém dotazu je v našem příkladu úplně jinde. Zakopaný pes je skryt v této větě:...například ihned po ukončení UseCase Založit žádost následuje vždy UseCase Vytisknout žádost, jehož obsah ale nemůže být součástí UseCase Založit žádost, protože tisk žádosti se provádí nejen po jejím založení ale i v jiných dalších případech a tak je existence samostatného UseCase pro popis tisku žádosti zcela oprávněná... V každém případě autorovi musím z celého srdce poděkovat, protože touto větou nám připravil velmi dobrý příklad (kterou bych sám jako příklad nikdy nevymyslel!) pro ověření vlastních schopností správně modelovat. Máme zde nyní předložen opravdu záludný chyták! V této větě je totiž ukryta velmi vážná chyba! Vidíte ji? Otázka tedy zní: V čem je opravdu vážná chyba této věty? Strana 4

5 Zkusme tuto situaci chápat jako opravdu dobré cvičení a zvolme si tuto otázku jako test a hádanku pro čtenáře! Samozřejmě brzy (tj. asi v řádu 14 dnů) vyjde pokračování tohoto článku i s odpovědí, ale zkuste, pokud chcete, odpovědět na tuto otázku mailem na adresu Najděte chybu v uvedené větě z mailu, vysvětlete podstatu této chyby a pošlete mi mail! Mimochodem, pro ty z vás, kteří již absolvovali naše školení OOP a UML (blíže viz zde), bude nalezení této chyby snadné. Napovím pouze, že se jedná o první a základní kapitolu školení, tedy o základní objektové paradigma v modelování, neboli o vnější všeobsahující pohled a vnitřní implementační pohled na prvky při modelování, jinak řečeno na školení stále se opakující červená niť číslo jedna! Těším se na vaše odpovědi, pište na adresu bude pokračovat! Strana 5

Rady pro tvorbu USE CASE MODELU, rada první: Jak pracovat s pojmy ve scénářích UC

Rady pro tvorbu USE CASE MODELU, rada první: Jak pracovat s pojmy ve scénářích UC Rady pro tvorbu USE CASE MODELU, rada první: Jak pracovat s pojmy ve scénářích UC Úvod Před nedávnem jsem obdržel trochu delší mail tohoto znění: Dobrý den pane Kravale, před časem jsem absolvoval vaše

Více

ROZDÍL MEZI VZTAHEM EXTEND A INCLUDE V USE CASE DIAGRAMECH

ROZDÍL MEZI VZTAHEM EXTEND A INCLUDE V USE CASE DIAGRAMECH ROZDÍL MEZI VZTAHEM EXTEND A INCLUDE V USE CASE DIAGRAMECH 3. část RNDr. Ilja Kraval, srpen 2009 http://www.objects.cz ÚVOD Tento článek je pokračováním předešlých článků. Článek vysvětluje použití vztahu

Více

NAUČTE SE MALOVAT SI INSTANCE!

NAUČTE SE MALOVAT SI INSTANCE! NAUČTE SE MALOVAT SI INSTANCE! část 2. RNDr. Ilja Kraval, září 2009 http://www.objects.cz ÚVOD V předešlém článku jsme otevřeli jeden ze základních problémů, který musí analytik řešit: Jak vypadá skladba

Více

JEDNODUCHÁ A PRAKTICKÁ METODA ODHADU PRACNOSTI PROJEKTU (S UTILITOU KE STAŽENÍ ZDARMA)

JEDNODUCHÁ A PRAKTICKÁ METODA ODHADU PRACNOSTI PROJEKTU (S UTILITOU KE STAŽENÍ ZDARMA) JEDNODUCHÁ A PRAKTICKÁ METODA ODHADU PRACNOSTI PROJEKTU (S UTILITOU KE STAŽENÍ ZDARMA) 2. část autor: RNDr. Ilja Kraval, červenec 2010 http://www.objects.cz ÚVOD V minulém článku bylo pojednáno o složitosti

Více

Proč je analytický model IS nutným předpokladem pro zabránění tvorbě molochálních systémů

Proč je analytický model IS nutným předpokladem pro zabránění tvorbě molochálních systémů Proč je analytický model IS nutným předpokladem pro zabránění tvorbě molochálních systémů Část 1 autor RNDr. Ilja Kraval, http://www.objects.cz březen 2007 firma Object Consulting s.r.o. Úvod V reakci

Více

Vztah typu Extend v UML a jeho zvláštnosti

Vztah typu Extend v UML a jeho zvláštnosti Vztah typu Extend v UML a jeho zvláštnosti RNDr. Ilja Kraval 2007 Object Consulting s.r.o. http://www.objects.cz objects@objects.cz Do diskusního fóra na Pandoře (http://pandora.idnes.cz/conference/objcon/)

Více

Úvod do principů objektově orientovaného programování

Úvod do principů objektově orientovaného programování OBSAH DISTANČNÍHO E-LEARNINGOVÉHO KURZU PROFESNÍ RŮST ANALYTIKA OD ZÁKLADŮ (BASE) ÚVOD DO TECHNOLOGIÍ INFORMAČNÍCH SYSTÉMŮ Jak funguje počítač na základní úrovni Základy HTML Skripty ve webovských technologiích

Více

Nutnost použití vzoru OBSERVER pro zamezení nepříjemných efektů zpětných funkcionálních vazeb mezi objekty

Nutnost použití vzoru OBSERVER pro zamezení nepříjemných efektů zpětných funkcionálních vazeb mezi objekty Nutnost použití vzoru OBSERVER pro zamezení nepříjemných efektů zpětných funkcionálních vazeb mezi objekty autor RNDr. Ilja Kraval, http://www.objects.cz únor 2007 firma Object Consulting s.r.o. Úvod V

Více

Případy užití (use case) Projektování SW systémů

Případy užití (use case) Projektování SW systémů Univerzita Pardubice Fakulta elektrotechniky a informatiky Případy užití (use case) Projektování SW systémů Matěj Trakal Poslední úprava: 24. ledna 2012, 17:06 INPSW 2011 (Šimerda) OBSAH Obsah 1 Co jsou

Více

Odpověď na dotaz ohledně asociační třídy v modelu měření

Odpověď na dotaz ohledně asociační třídy v modelu měření Odpověď na dotaz ohledně asociační třídy v modelu měření Část 3. Tento článek navazuje na předešlé články jako jejich pokračování autor RNDr. Ilja Kraval, http://www.objects.cz srpen 2007 firma Object

Více

O JEDNÉ ČASTÉ CHYBĚ PŘI ROZKLADU PROCESŮ PODNIKU ANEB KDY MÁME UKONČIT ROZKLAD PROCESŮ PODNIKU?

O JEDNÉ ČASTÉ CHYBĚ PŘI ROZKLADU PROCESŮ PODNIKU ANEB KDY MÁME UKONČIT ROZKLAD PROCESŮ PODNIKU? O JEDNÉ ČASTÉ CHYBĚ PŘI ROZKLADU PROCESŮ PODNIKU ANEB KDY MÁME UKONČIT ROZKLAD PROCESŮ PODNIKU? RNDr. Ilja Kraval, říjen 2008 http://www.objects.cz AKTÉROVÁ ŠKOLA Jak známo, informační systémy obsahují

Více

O JEDNÉ ZÁLUDNOSTI INTERAKCE «INCLUDE» V MODELU PŘÍPADŮ UŽITÍ

O JEDNÉ ZÁLUDNOSTI INTERAKCE «INCLUDE» V MODELU PŘÍPADŮ UŽITÍ O JEDNÉ ZÁLUDNOSTI INTERAKCE «INCLUDE» V MODELU PŘÍPADŮ UŽITÍ 2. část RNDr. Ilja Kraval, květen 2010 http://www.objects.cz ÚVOD V předešlém článku jsme nastínili problém, který vzniká v souvislosti s hledáním

Více

Vzor OBSERVER a jeho zajímavá varianta v kombinaci se vzorem ADAPTER Část 2

Vzor OBSERVER a jeho zajímavá varianta v kombinaci se vzorem ADAPTER Část 2 Vzor OBSERVER a jeho zajímavá varianta v kombinaci se vzorem ADAPTER Část 2 autor RNDr. Ilja Kraval, http://www.objects.cz únor 2007 firma Object Consulting s.r.o. Úvod V předešlé části článku jsme si

Více

Prozkoumání příkazů na pásu karet Každá karta na pásu karet obsahuje skupiny a každá skupina obsahuje sadu souvisejících příkazů.

Prozkoumání příkazů na pásu karet Každá karta na pásu karet obsahuje skupiny a každá skupina obsahuje sadu souvisejících příkazů. Úvodní příručka Microsoft Project 2013 vypadá jinak než ve starších verzích, proto jsme vytvořili tuto příručku, která vám pomůže se s ním rychle seznámit. Panel nástrojů Rychlý přístup Tuto oblast můžete

Více

OOT Objektově orientované technologie

OOT Objektově orientované technologie OOT Objektově orientované technologie Požadavky a případy užití Daniela Szturcová Institut geoinformatiky, HGF Osnova Systém Uživatelé Případy užití Vazby (asociace, generalizace, include a extend) Shrnutí

Více

Jazyk UML - přehled. diagram hierarchie procesů. IS firmy. podpora řízení. evidence zaměstnanců. pokladny. výroba. diagram procesních vláken

Jazyk UML - přehled. diagram hierarchie procesů. IS firmy. podpora řízení. evidence zaměstnanců. pokladny. výroba. diagram procesních vláken Jazyk UML - přehled Unified Modeling Language jazyk pro popis objektově orientované analýzy a návrhu aplikací slouží k vzájemné komunikaci mezi zadavatelem a návrhářem systému má několik částí, není nutné

Více

Projekt Obrázek strana 135

Projekt Obrázek strana 135 Projekt Obrázek strana 135 14. Projekt Obrázek 14.1. Základní popis, zadání úkolu Pracujeme na projektu Obrázek, který je ke stažení na http://java.vse.cz/. Po otevření v BlueJ vytvoříme instanci třídy

Více

Principy OOP při tvorbě aplikací v JEE. Michal Čejchan

Principy OOP při tvorbě aplikací v JEE. Michal Čejchan Principy OOP při tvorbě aplikací v JEE Michal Čejchan Témata přednášky Principy OOP - připomenutí Úvod - co nás vede k používání OOP Reálný svět - jak (ne)používáme OOP Nedostatky na úrovni programovacích

Více

A7B36SI2 - Řízení SW projektů. Smart-Fine. Systém evidence parkovacích lístků pomocí chytrých telefonů. Analýza (v. 3)

A7B36SI2 - Řízení SW projektů. Smart-Fine. Systém evidence parkovacích lístků pomocí chytrých telefonů. Analýza (v. 3) A7B36SI2 - Řízení SW projektů Smart-Fine Systém evidence parkovacích lístků pomocí chytrých telefonů Analýza (v. 3) Martin Štajner, Pavel Brož 16.12.2011 1 Obsah Obsah Požadavky na systém Případy užití

Více

VYHLEDÁVÁNÍ PRVKŮ ACTOR A PROCESNÍ MODELOVÁNÍ

VYHLEDÁVÁNÍ PRVKŮ ACTOR A PROCESNÍ MODELOVÁNÍ VYHLEDÁVÁNÍ PRVKŮ ACTOR A PROCESNÍ MODELOVÁNÍ Část 2 Tento článek je pokračováním předešlého článku RNDr. Ilja Kraval, duben 2009 http://www.objects.cz ÚVOD V předešlém článku jsme se seznámili s použitím

Více

30 APZ Klienti. Popis modulu

30 APZ Klienti. Popis modulu 30 APZ Klienti Uživatelský modul APZ Klienti náleží k modulům řešícím agendu agentury podporovaného zaměstnávání se zaměřením na osoby se zdravotním postižením. Modul umožňuje evidenci klientů agentury

Více

Svolávací systém Uživatelský manuál

Svolávací systém Uživatelský manuál Uživatelský manuál TTC TELEKOMUNIKACE, s.r.o. Třebohostická 987/5 100 00 Praha 10 tel.: 234 052 111 fax.: 234 052 999 e-mail: ttc@ttc.cz http://www.ttc-telekomunikace.cz Datum vydání: 14. srpna 2013 Číslo

Více

Požadavky Modelování případů užití

Požadavky Modelování případů užití Požadavky Modelování případů užití Požadavky část 2 Clear View Training 2005 v2.2 1 4.2 Modelování případů užití Modelování případů užití je jednou z forem inženýrství požadavků Modelování případů užití

Více

HROMADNÉ ÚPRAVY NAJÍT A NAHRADIT

HROMADNÉ ÚPRAVY NAJÍT A NAHRADIT HROMADNÉ ÚPRAVY NAJÍT A NAHRADIT Funkce Najít a nahradit slouží k rychlému vyhledávání určitých slov a jejich nahrazování jinými slovy. Lze hledat i určité varianty slov a nahrazovat je buď hromadně (všechny

Více

Jiří Mašek BIVŠ V Pra r ha 20 2 08

Jiří Mašek BIVŠ V Pra r ha 20 2 08 Jiří Mašek BIVŠ Praha 2008 Procesvývoje IS Unifiedprocess(UP) Iterace vývoje Rysy CASE nástrojů Podpora metodických přístupů modelování Integrační mechanismy propojení modelů Podpora etap vývoje Generování

Více

Objektově orientované programování v jazyce Python

Objektově orientované programování v jazyce Python Objektově orientované programování v jazyce Python Co to je objektově orientované programování Python není přímo objektově orientovaný jazyk, ale podporuje nejdůležitější části objektově orientovaného

Více

Jednoduchý návod na základní obsluhu Prestashopu 1.6:

Jednoduchý návod na základní obsluhu Prestashopu 1.6: Jednoduchý návod na základní obsluhu Prestashopu 1.6: Správa objednávek Když přijde objednávka, systém automaticky zasílá email provozovateli eshopu a zákazníkovi. Seznam objednávek je zde: Vedle každé

Více

Kombinované úlohy - cvičení

Kombinované úlohy - cvičení DUM Vyšší odborná škola, Obchodní akademie a Střední odborná škola EKONOM, o. p. s. Algoritmy DUM III/2-T1-1-16 PRG-01A-var1 Téma: Kombinované úlohy cvičení Střední škola Rok: 2012 2013 Varianta: A Zpracoval:

Více

úč úč ž ů ž Č Č č č ů ž úč č úč ť Ň č ú Ý č č Ú Ú ť ú č ď ů ž š úč ž úč úč ž ť ď ť ď ž ú č č úč š ž Ů č č ú úč ž ů ť úč ž ž ž Ů č ž ú č Š úč č Úč Č Č š ď š Š š Ó Ó ž ůč ú Ď ť ž ů ů č ů Č ů ž úč Ý č ž úč

Více

Motivační dopis O čem je motivační dopis a jakou má strukturu? Náměty, jak motivační dopis uvést a ukončit

Motivační dopis O čem je motivační dopis a jakou má strukturu? Náměty, jak motivační dopis uvést a ukončit Motivační dopis Forma: Aktuální (datum a místo vyhotovení), S vlastní adresou i adresou potenciálního zaměstnavatele, S titulkem (například přihláška o zaměstnání), Napsaný na počítači (nejlépe ve Wordu

Více

Nápověda k aplikaci EA Script Engine

Nápověda k aplikaci EA Script Engine Nápověda k aplikaci EA Script Engine Object Consulting s.r.o. 2006 Obsah Nápověda k aplikaci EA Script Engine...1 1. Co je EA Script Engine...2 2. Důležité upozornění pro uživatele aplikace EA Script Engine...3

Více

1. Programování proti rozhraní

1. Programování proti rozhraní 1. Programování proti rozhraní Cíl látky Cílem tohoto bloku je seznámení se s jednou z nejdůležitější programátorskou technikou v objektově orientovaném programování. Tou technikou je využívaní rozhraní

Více

Pavel Martinec 4.A 2011/2012

Pavel Martinec 4.A 2011/2012 Pavel Martinec 4.A 2011/2012 Tato úloha se skládala z několika částí: 1) Získávání informací 2) Instalace operačního systému 3) Konfigurace serverů 4) Testování propojení Bod 1: Získávání informací I když

Více

Ukázka zpracování učebních osnov Informační a komunikační technologie

Ukázka zpracování učebních osnov Informační a komunikační technologie Ukázka zpracování učebních osnov Informační a komunikační technologie ZŠ pro sluchově postižené Praha 5, Holečkova ulice Škola má deset ročníků, 1. stupeň tvoří 1. až 6. ročník, 2. stupeň 7. až 10. ročník.

Více

Příloha 09. Obecné dovednosti - popis obsahu a úrovní

Příloha 09. Obecné dovednosti - popis obsahu a úrovní Příloha 09 Obecné dovednosti - popis obsahu a úrovní Obecné dovednosti - popis obsahu a úrovní 1. Počítačová způsobilost Obecné dovednosti práce s PC a se základním SW vybavením potřebným pro běžnou administrativní

Více

Lokální definice (1) plocha-kruhu

Lokální definice (1) plocha-kruhu Lokální definice (1) syntaxe: (local (seznam definic) výraz) definice jsou dostupné pouze uvnitř příkazu local příklad: (local ( (define Pi 3.1415926) (define (plocha-kruhu r) (* Pi r r)) ) (plocha-kruhu

Více

Tvorba kurzu v LMS Moodle

Tvorba kurzu v LMS Moodle Tvorba kurzu v LMS Moodle Před počátkem práce na tvorbě základního kurzu znovu připomínám, že pro vytvoření kurzu musí být profil uživatele nastaven administrátorem systému minimálně na hodnotu tvůrce

Více

Manuál na pořízení technické změny pomocí webové kalkulačky. Verze 1.2

Manuál na pořízení technické změny pomocí webové kalkulačky. Verze 1.2 Manuál na pořízení technické změny pomocí webové kalkulačky Verze 1.2 2 Obsah 1. Úvod.. 3 1.1. Základní informace 3 1.2. Spuštění kalkulačky. 3 1.3. Přehled možných úprav 4 2. Sestavení technické změny.

Více

Portál Algotech HelpDesk Uživatelský manuál

Portál Algotech HelpDesk Uživatelský manuál Portál Algotech HelpDesk Uživatelský manuál Vypracovali: Datum: 14. 9. 2012 Jméno Michal Zeman Jan Košátko Jan Skýpala Funkce IT specialista Project Manager Service Desk Manager Kontakt helpdesk@algotech.cz

Více

Závěrečné práce. Tato aplikace umožňuje vedoucím závěrečných prací:

Závěrečné práce. Tato aplikace umožňuje vedoucím závěrečných prací: Závěrečné práce Tato aplikace umožňuje vedoucím závěrečných prací: navrhnout téma závěrečné práce; schválit studentům zvolená témata; vložit zadání závěrečné práce; provádět úpravy zadání závěrečné práce

Více

Základy analýzy. autor. Jan Novotný http://blog.novoj.net/ 15. února 2007

Základy analýzy. autor. Jan Novotný http://blog.novoj.net/ 15. února 2007 Základy analýzy autor Jan Novotný http://blog.novoj.net/ 15. února 2007 V prezentaci jsou použity diagramy z: Wikipedia, Sparx UML Tutorial, Argo UML Metodiky vývoje Různé metodiky vývoje vazba na fáze

Více

Nemocnice. Prvotní analýza a plán projektu

Nemocnice. Prvotní analýza a plán projektu Nemocnice Projekt do předmětu AIS Prvotní analýza a plán projektu Lukáš Pohl, xpohll00, xkosti03 Jan Novák, xnovak79 2009/2010 1 Neformální specifikace FN potřebuje informační systém, který bude obsahovat

Více

FFUK Uživatelský manuál pro administraci webu Obsah

FFUK Uživatelský manuál pro administraci webu Obsah FFUK Uživatelský manuál pro administraci webu Obsah FFUK Uživatelský manuál pro administraci webu... 1 1 Úvod... 2 2 Po přihlášení... 2 3 Základní nastavení webu... 2 4 Menu... 2 5 Bloky... 5 6 Správa

Více

Webové stránky Webové aplikace WebDesign Internet Marketing VAFRO CMS MODUL REALITY

Webové stránky Webové aplikace WebDesign Internet Marketing VAFRO CMS MODUL REALITY VAFRO CMS MODUL REALITY Řešení pro Realitní kanceláře Vafro CMS s modulem Reality Vám umožní následující: Jednoduchou správu realit domů bytů pozemků komerčních objektů garáží Snadné zadávání položek vytvoření

Více

Diagram tříd (class diagram)

Diagram tříd (class diagram) Diagramy tříd 1 Diagram tříd (class diagram) Zobrazuje třídy v daném systému a vztahy mezi nimi Zobrazuje statický stav ukazuje vzájemné interakce, ale neukazuje co se při těchto interakcích děje Při znázornění

Více

Životní cyklus produktu. 1. výzkum a vývoj 2. uvedení na trh 3. růst prodeje 4. zralost 5. nasycení trhu 6. pokles prodeje

Životní cyklus produktu. 1. výzkum a vývoj 2. uvedení na trh 3. růst prodeje 4. zralost 5. nasycení trhu 6. pokles prodeje Životní cyklus produktu 1. výzkum a vývoj 2. uvedení na trh 3. růst prodeje 4. zralost 5. nasycení trhu 6. pokles prodeje JakÁ KPI a kde je měřit? Data z bannerových reklamních systémů (ať již prodej na

Více

Microsoft. Word. Hromadná korespondence. Mgr. Jan Veverka Střední odborná škola sociální Evangelická akademie

Microsoft. Word. Hromadná korespondence. Mgr. Jan Veverka Střední odborná škola sociální Evangelická akademie Microsoft Word Hromadná korespondence Mgr. Jan Veverka Střední odborná škola sociální Evangelická akademie Hromadná korespondence Funkce hromadná korespondence umožňuje vytvoření malé databáze (tabulky)

Více

a instalace programu COMSOL Multiphysics

a instalace programu COMSOL Multiphysics a instalace programu COMSOL Multiphysics Síťová licence (FNL) Stažení instalace Po úspěšném vytvoření Access Accountu (Uživatelského účtu), návod naleznete na odkazu níže: www.humusoft.cz/link/comsol-access

Více

Backup & recovery, SQL Server Agent, Alerts Jiří Tomeš

Backup & recovery, SQL Server Agent, Alerts Jiří Tomeš Backup & recovery, SQL Server Agent, Alerts Jiří Tomeš Administrace MS SQL Serveru (NDBI039) Úvodní motivace O čem to dnes bude Strategie zálohování Typy zálohování SQL Server Agent Modely pro obnovení

Více

3. Je defenzivní programování technikou skrývání implementace? Vyberte jednu z nabízených možností: Pravda Nepravda

3. Je defenzivní programování technikou skrývání implementace? Vyberte jednu z nabízených možností: Pravda Nepravda 1. Lze vždy z tzv. instanční třídy vytvořit objekt? 2. Co je nejčastější příčinou vzniku chyb? A. Specifikace B. Testování C. Návrh D. Analýza E. Kódování 3. Je defenzivní programování technikou skrývání

Více

Analýza a Návrh. Analýza

Analýza a Návrh. Analýza Analysis & Design Návrh nebo Design? Design = návrh Není vytváření použitelného uživatelského prostředí (pouze malinká podmnožina celého návrhu) Často takto omezeně chápáno studenty nedokáží si představit,

Více

ORGANIZAČNÍ POKYNY A FORMÁLNÍ ÚPRAVA DIPLOMOVÉ PRÁCE

ORGANIZAČNÍ POKYNY A FORMÁLNÍ ÚPRAVA DIPLOMOVÉ PRÁCE ORGANIZAČNÍ POKYNY A FORMÁLNÍ ÚPRAVA DIPLOMOVÉ PRÁCE ORGANIZAČNÍ POKYNY Studijním programem UPA DFJP na akademický rok 2014/2015 je určen termín odevzdání 22. 5. 2015. Studentovi, který včas neodevzdá

Více

Několik rad pro psaní článku na Wikipedii

Několik rad pro psaní článku na Wikipedii Několik rad pro psaní článku na Wikipedii 1. Výstavba článku = jak napsat článek ve Wordu ještě předtím, než začnete přemýšlet o jeho nahrávání na Wikipedii. 2. Nahrávání na Wikipedii 3. Prameny informací

Více

Bohemius, k.s. www.bohemius.cz

Bohemius, k.s. www.bohemius.cz Bohemius, k.s. www.bohemius.cz Modul je součástí administrativní i manažerské kalkulačky Formulář Malé DPH: Dále následuje : FORMULÁŘ - VLASTNÍ KALKULAČKA o produktu KDO BUDE S FORMULÁŘEM PŘEDEVŠÍM PRACOVAT

Více

JRV.CZ s.r.o. Bulharská 4 612 00 Brno www.rosadata.cz. RosaData TM DEVELOPERSKÝ PROJEKT

JRV.CZ s.r.o. Bulharská 4 612 00 Brno www.rosadata.cz. RosaData TM DEVELOPERSKÝ PROJEKT RosaData TM DEVELOPERSKÝ PROJEKT OBSAH Úvod... 4 Developerský projekt... 5 Seznam developerských projektů... 5 Základní údaje... 6 Popis... 7 Technické detaily... 8 Reality... 11 Foto... 13 Obchodní případ...

Více

Amos Software Jednoznakové předložky. Co je modul Jednoznakové předložky. Instalace. Postup pro operační systém Windows:

Amos Software Jednoznakové předložky. Co je modul Jednoznakové předložky. Instalace. Postup pro operační systém Windows: Amos Software Jednoznakové předložky Zásuvný modul pro Adobe InDesign a InCopy CC 2015 červenec 2015, verze 11.0 AMOS Software spol. s r. o. Co je modul Jednoznakové předložky Zásuvný modul Jednoznakové

Více

Gymnázium a Střední odborná škola, Rokycany, Mládežníků 1115

Gymnázium a Střední odborná škola, Rokycany, Mládežníků 1115 Gymnázium a Střední odborná škola, Rokycany, Mládežníků 1115 Číslo projektu: Číslo šablony: Název materiálu: Ročník: Identifikace materiálu: Jméno autora: Předmět: Tématický celek: Anotace: CZ.1.07/1.5.00/34.0410

Více

MS Excel 2007 Kontingenční tabulky

MS Excel 2007 Kontingenční tabulky MS Excel 2007 Kontingenční tabulky Obsah kapitoly V této kapitole se seznámíme s nástrojem, který se používá k analýze dat rozsáhlých seznamů. Studijní cíle Studenti budou umět pro analýzu dat rozsáhlých

Více

PRACUJEME S TSRM. Modul Samoobsluha

PRACUJEME S TSRM. Modul Samoobsluha PRACUJEME S TSRM Modul Samoobsluha V této kapitole Tato kapitola obsahuje následující témata: Téma Na straně Přehled kapitoly 6-1 Užití modulu Samoobsluha 6-2 Přihlášení k systému 6-3 Hlavní nabídka TSRM

Více

SYSTÉM PRO DRAŽBU ZNÁMEK

SYSTÉM PRO DRAŽBU ZNÁMEK SYSTÉM PRO DRAŽBU ZNÁMEK http://geophila.wikidot.com autoři: Ondřej Vodáček, Jiří Anděl, Armen Hajrapetjan, Filip Hřebačka, Michal Strelec Datum: 23.3.2008 OBSAH 1. Slovní zadání 3 2. Katalog požadavků

Více

Programování v jazyku LOGO - úvod

Programování v jazyku LOGO - úvod Programování v jazyku LOGO - úvod Programovací jazyk LOGO je určen pro výuku algoritmizace především pro děti školou povinné. Programovací jazyk pracuje v grafickém prostředí, přičemž jednou z jeho podstatných

Více

Způsob zpracování a pokyny k obsahu a rozsahu maturitní práce

Způsob zpracování a pokyny k obsahu a rozsahu maturitní práce Způsob zpracování a pokyny k obsahu a rozsahu maturitní práce 1 Způsob zpracování práce Práce bude odevzdána ve stanoveném termínu, a to ve dvou formách: a) Dva výtisky ve svázané podobě dle uvážení studenta

Více

Návod k použití: přidat novou studii.

Návod k použití: přidat novou studii. Návod k použití: Prospektivní randomizované studie jakožto vědecké práce nejvyšší validity určují další směřování diagnosticko-terapeutických postupů napříč všemi obory medicíny. Vzhledem k nutnosti kvantitativně

Více

Znáte zařízení na odvod kouře a tepla?

Znáte zařízení na odvod kouře a tepla? Znáte zařízení na odvod kouře a tepla? Datum vydání: 19.05.2009 v.a.d. Součást preventivních opatření požární ochrany tvoří kategorie zařízení na odvod kouře a tepla. Pokud dojde k požáru, představují

Více

Diagramy chovaní jazyka UML

Diagramy chovaní jazyka UML PŘÍRODOVĚDECKÁ FAKULTA UNIVERZITY PALACKÉHO KATEDRA INFORMATIKY BAKALÁŘSKÁ PRÁCE Diagramy chovaní jazyka UML 2014 Pavel Zehnula Anotace Práce popisuje tvorbu jednoduchého editoru UML diagramů. V editoru

Více

Založení individuálního studijního plánu (návod pro studenty)

Založení individuálního studijního plánu (návod pro studenty) Založení individuálního studijního plánu (návod pro studenty) Na stránce https://is.cuni.cz/studium/index.php se přihlásíte do studijního informačního systému (dále jen SIS). Pro přihlášení je třeba mít

Více

Evidenční systém pro reklamace Wooky tabletů reklamace.wooky.cz

Evidenční systém pro reklamace Wooky tabletů reklamace.wooky.cz Evidenční systém pro reklamace Wooky tabletů reklamace.wooky.cz Na výše uvedené URL adrese je umístěno jednoduché online rozhraní pro evidenci reklamací tabletů a příslušenství Wooky. Evidenční rozhraní

Více

MANUAL PRO MANUÁL PRO NOVĚ PŘÍCHOZÍ

MANUAL PRO MANUÁL PRO NOVĚ PŘÍCHOZÍ MANUAL PRO MANUÁL PRO NOVĚ PŘÍCHOZÍ Obsah INFORMACE O VAŠÍ SIM KARTĚ... 3 Co vše najdete na své SIM kartě?... 3 SIM karta T- Mobile... 3 SIM karta Vodafone... 3 DODATEČNÁ AKTIVACE VAŠEHO NOVÉHO ČÍSLA U

Více

Vytvoření komunikační platformy pro realizaci předmětu Projekt v e-learningovém prostředí Moodle

Vytvoření komunikační platformy pro realizaci předmětu Projekt v e-learningovém prostředí Moodle 1 z 19 4.10.2011 14:15 VŠE Podnikové informační systémy Vytvoření komunikační platformy pro realizaci předmětu Projekt v e-learningovém prostředí Moodle Projekt Eva Dvořáková Tomáš Kuneš Miroslav Ballek

Více

Založení blogu (pracovní list)

Založení blogu (pracovní list) Zvyšování kvality výuky v přírodních a technických oblastech CZ.1.07/1.128/02.0055 Označení: EU-Inovace-Inf-7-01 Založení blogu (pracovní list) Předmět: Informatika Cílová skupina: 7. třída Autor: Jana

Více

VÍŠ, CO JE TO BANKA?

VÍŠ, CO JE TO BANKA? VÍŠ, CO JE TO BANKA? Plán vyučovací hodiny (č. 5) TÉMA VYUČOVACÍ HODINY: Víš, co je to banka? VĚK ŽÁKŮ: využití podle úrovně žáků (doporučení 6. až 8. třída) ČASOVÁ DOTACE: 45 minut POTŘEBNÉ MATERIÁLY:

Více

Čtvrtek 3. listopadu. Makra v Excelu. Obecná definice makra: Spouštění makra: Druhy maker, způsoby tvorby a jejich ukládání

Čtvrtek 3. listopadu. Makra v Excelu. Obecná definice makra: Spouštění makra: Druhy maker, způsoby tvorby a jejich ukládání Čtvrtek 3. listopadu Makra v Excelu Obecná definice makra: Podle definice je makro strukturovanou definicí jedné nebo několika akcí, které chceme, aby MS Excel vykonal jako odezvu na nějakou námi definovanou

Více

Soubor index.html se nachází na stejné úrovni jako adresář obrazky. Měla bych použít relativní adresu, že? Hmm.

Soubor index.html se nachází na stejné úrovni jako adresář obrazky. Měla bych použít relativní adresu, že? Hmm. KAPITOLA 2 Úskalí jazyka HTML Soubor index.html se nachází na stejné úrovni jako adresář obrazky. Měla bych použít relativní adresu, že? Hmm. Počkat každou změnu adresáře doprovázel znak /. portfolio/obrazky

Více

Manuál pro implementaci služby PLATBA 24. Datum: 17. prosince 2014 Verze: 1.49

Manuál pro implementaci služby PLATBA 24. Datum: 17. prosince 2014 Verze: 1.49 Manuál pro implementaci služby PLATBA 24 Datum: 17. prosince 2014 Verze: 1.49 1 Úvodní informace ke službě PLATBA 24... 3 1.1 Obecný popis služby... 3 1.2 Administrativní předpoklady k využití služby PLATBA

Více

Indexace pro souborová uložiště a Vyhledávací centrum

Indexace pro souborová uložiště a Vyhledávací centrum Indexace pro souborová uložiště a Vyhledávací centrum Obsah I. Úvod... 2 II. Cíl dokumentu... 2 III. Fáze projektu... 2 IV. Popis jednotlivých fází projektu... 2 1. Fáze 1. - Analýza... 2 2. Fáze 2. -

Více

KAPITOLA 3 - ZPRACOVÁNÍ TEXTU

KAPITOLA 3 - ZPRACOVÁNÍ TEXTU KAPITOLA 3 - ZPRACOVÁNÍ TEXTU KLÍČOVÉ POJMY textové editory formát textu tabulka grafické objekty odrážky a číslování odstavec CÍLE KAPITOLY Pracovat s textovými dokumenty a ukládat je v souborech různého

Více

Návrh informačních systémů pomocí UML, OOP a vzorů

Návrh informačních systémů pomocí UML, OOP a vzorů Návrh informačních systémů pomocí UML, OOP a vzorů RNDr. Ilja Kraval mailto:objects@objects.cz, OBJECT CONSULTING s.r.o. http://www.objects.cz Obsah (postupně se rozšiřuje): Návrh informačních systémů

Více

Co je to SCRUM! FRAMEWORK vs METODIKA. Ken Schwaber a Jeff Sutherland ho mají za framework Kde hledat detaily?

Co je to SCRUM! FRAMEWORK vs METODIKA. Ken Schwaber a Jeff Sutherland ho mají za framework Kde hledat detaily? Úvod do SCRUM!! Co je to SCRUM! FRAMEWORK vs METODIKA Ken Schwaber a Jeff Sutherland ho mají za framework Kde hledat detaily? agilemanifesto.org www.mountaingoatsoftware.com/scrum Z čeho to je...! Vychází

Více

Redakční systém WordPress MU Manuál pro uživatele

Redakční systém WordPress MU Manuál pro uživatele WordPress je pokročilý redakční systém určený především pro tvorbu osobních stránek, blogů apod. Předností programu je snadné a přehledné ovládání, možnost rozšiřitelnosti a WordPress klade také důraz

Více

Ing. Martin Komárek Katedra počítačů ČVUT v Praze, FEL. Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti

Ing. Martin Komárek Katedra počítačů ČVUT v Praze, FEL. Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti UML diagramy Případy užití A7B36SIN - Softwarové inženýrství, A7B36USI - Úvod do SW inženýrství, AD7B36SIN - Softwarové inženýrství(dálkaři), AD7B36USI - Úvod do SW inženýrství(dálkaři), Y36SIN-Úvod do

Více

Západočeská univerzita v Plzni Fakulta aplikovaných věd Katedra informatiky a výpočetní techniky. Dokumentace k programu MMDoc

Západočeská univerzita v Plzni Fakulta aplikovaných věd Katedra informatiky a výpočetní techniky. Dokumentace k programu MMDoc Západočeská univerzita v Plzni Fakulta aplikovaných věd Katedra informatiky a výpočetní techniky Dokumentace k programu MMDoc Vypracoval: Petr Dvořák Datum: 15.prosince 2005 1. Úvod 1.1. Účel tohoto dokumentu

Více

Analytické modelování informačních systémů

Analytické modelování informačních systémů Ilja Kraval Analytické modelování informačních systémů pomocíumlvpraxi Object Consulting 2010 Anotace: V knize je popsán obecný přístup k analýze informačního systému, respektive vytvoření analytického

Více

2. FOTO, AUDIO A VIDEO SOUBORY

2. FOTO, AUDIO A VIDEO SOUBORY AUTORSKÁ PRÁVA 1. TEXT a. Jestliže použijete cizí text musíte ve svém dokumentu uvést bibliografické citace b. Při použití úryvku textu z tištěného nebo elektronického zdroje je nutné u každého díla řádně

Více

KOMU JE KNIHA URČENA?

KOMU JE KNIHA URČENA? 7 Kapitola 0. O této knížce KOMU JE KNIHA URČENA? Tuto učebnici jsem vytvářel na základě mých přednášek a úvodních kursů na Vysoké škole manažerské informatiky a ekonomiky. Většina mých studentů měla malou

Více

Typy souborů ve STATISTICA. Tento článek poslouží jako přehled hlavních typů souborů v programu

Typy souborů ve STATISTICA. Tento článek poslouží jako přehled hlavních typů souborů v programu StatSoft Typy souborů ve STATISTICA Tento článek poslouží jako přehled hlavních typů souborů v programu STATISTICA, ukáže Vám jejich možnosti a tím Vám dovolí využívat program efektivněji. Jistě jste již

Více

N-1 Německý jazyk. (Anotace k sadě 32 materiálů) Přivlastňovací zájmena. Gymnázium Sušice Brána vzdělávání II Gymnázium Sušice Gate of learning

N-1 Německý jazyk. (Anotace k sadě 32 materiálů) Přivlastňovací zájmena. Gymnázium Sušice Brána vzdělávání II Gymnázium Sušice Gate of learning ( k sadě 32 materiálů) 1. N-1_01 Podstatná jména Výukový materiál obsahuje látku 1 vyučovací hodiny. Jedná se o zopakování a utřídění gramatiky a slovní zásoby probrané v souvislosti s podstatnými jmény.

Více

Aplikace BSMS. Uživatelská příručka - 1 -

Aplikace BSMS. Uživatelská příručka - 1 - Aplikace BSMS Uživatelská příručka - 1 - Obsah 1. O aplikaci BSMS... 3 2. Základní předpoklady pro používání BSMS... 3 3. Instalace aplikace... 3 3.1. Samotná instalace... 3 3.2. Možné problémy při instalaci...

Více

Novinky a nastavení ve verzi OZO 2014.001

Novinky a nastavení ve verzi OZO 2014.001 Novinky a nastavení ve verzi OZO 2014.001 1. Nastavení služeb z internetu Pro používání téměř všech novinek v programu (ověření u FÚ, načítání adres, elektronická hlášení na FÚ apod.) je nutné program

Více

TÝDEN PRVNÍ. a proto si je pojďme nyní představit

TÝDEN PRVNÍ. a proto si je pojďme nyní představit TÝDEN PRVNÍ Tímto vás vítáme v e-learningovém kurzu knihoven VUT, který je zaměřený na zvyšování vaší informační gramotnosti. Dříve než se pustíme do samotného obsahu kurzu, dovolte nám krátké úvodní slovo

Více

Zpracování ročních zpráv v IS FKVS Příručka pro koncové uživatele

Zpracování ročních zpráv v IS FKVS Příručka pro koncové uživatele Zpracování ročních zpráv v IS FKVS Příručka pro koncové uživatele vypracovala společnost ASD Software, s.r.o. dokument ze dne 1.10.2007, verze 1.01 Obsah Obsah... 2 1. Úvod... 3 2. Spuštění počítače, spuštění

Více

Testování operačního systému Windows Phone 8

Testování operačního systému Windows Phone 8 Testování operačního systému Windows Phone 8 Semestrální práce A2 v rámci předmětu A4B39TUR Muška Adam ČVUT FEL STM 0 Obsah 1. Popis přístroje... 2 2. Popis cílové skupiny... 2 3. Přehled případů užití...

Více

Dokumentace k produktu IceWarp Notifikační nástroj

Dokumentace k produktu IceWarp Notifikační nástroj Dokumentace k produktu IceWarp Notifikační nástroj Notifikační nástroj umožňuje propojit pracovní stanicí s aplikací IceWarp Web klient. Kromě funkcí pro upozorňování na nové události je pomocí ní možné

Více

ERP informační systém

ERP informační systém Elektronické podání formulářů daně z přidané hodnoty Systém WAK INTRA - modul Účetnictví menu Přiznání DPH / Formuláře / - seznam Přiznání k dani z přidané hodnoty (25 5401 MFin 5401 vzor č.17) - volba

Více

Komprimace/Dekomprimace

Komprimace/Dekomprimace Základy programování Zápočtový projekt Komprimace/Dekomprimace souborů 1 Úvod Tento dokument slouží jako uživatelská příručka a technická dokumentace k programu realizujícímu komprimaci a zpětnou dekomprimaci

Více

Jazyk UML VST (Velmi stručný tutorial) verze 1.0

Jazyk UML VST (Velmi stručný tutorial) verze 1.0 Jazyk UML VST (Velmi stručný tutorial) verze 1.0 Softwarové inženýrství školní rok 2004 2005 Ing. Ladislava Smítková Janků (Praha, 24.5.2005) Obsah Obsah Obsah...2 1 Co je to UML...3 2 Diagram případů

Více

Ř Í Z E N Í F I R E M N Í C H P R O C E S Ů/ BPM

Ř Í Z E N Í F I R E M N Í C H P R O C E S Ů/ BPM Ř Í Z E N Í F I R E M N Í C H P R O C E S Ů/ BPM efektivní řízení procesů ve Vaší firmě Lead it Robustní nástroj firemního managementu Zvyšuje výkonnost a šetří náklady Komplexní řešení Vašich firemních

Více

Výroková logika dokazatelnost

Výroková logika dokazatelnost Výroková logika dokazatelnost Ke zjištění, zda formule sémanticky plyne z dané teorie (množiny formulí), máme k dispozici tabulkovou metodu. Velikost tabulky však roste exponenciálně vzhledem k počtu výrokových

Více