SLOVNÍČEK TERMÍNŮ. A', A s pruhem. posun do místa argumentu. zapuštěných elementů směrem vzhůru. kontrola, kontrolovat

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

Download "SLOVNÍČEK TERMÍNŮ. A', A s pruhem. posun do místa argumentu. zapuštěných elementů směrem vzhůru. kontrola, kontrolovat"

Transkript

1 SLOVNÍČEK TERMÍNŮ A' adjacency adjacent adjunct adjunction Affect Alpha affix hopping agreement pattern alternative realization A'-Movement A-Movement anaphora antecedent argument assignment Attract Alpha Attract F(feature) auditive perceptual level auxiliary verb bare phrase base generated binary branching binding Binding Theory bottom up derivation bounding node Bounding Theory branches Case assignment Case Filter Case Theory categories, lexical ~ c-command clitic climbing clitic doubling coindexation competence complement complementiser Complex NP Constraint configurational configurational case constituent content category control co-referrence covert movement A', A s pruhem adjacence adjacentní adjunkt adjunkce Ovlivni Alfa přeskok afixu kongruenční vzorce alternativní realizace posun do místa neargumentu posun do místa argumentu anafora antecedent argument udělení Atrakce Alfa Atrakce rysu auditivně percepční rozhraní pomocné sloveso holá fráze generované v bázi binární větvení vázání Teorie vázání derivace odzdola nahoru, - od nejhlouběji zapuštěných elementů směrem vzhůru ohraničující uzel Teorie ohraničení hrany udělení pádu Pádový filtr Teorie pádů lexikální kategorie c-ovládání šplhání/úlet klitik dublování klitikou koindexace kompetence komplement komplementizér Ostrov komplexní NP konfigurační konfigurační pád konstituent obsahová kategorie kontrola, kontrolovat koreference skrytý posun

2 kolaps struktury c-selekce, kategoriální selekce cyklická derivace cyklická doména dceřinný uzel D-Struktura, hloubková struktura derivace determinátor distributivní morfologie vložení do- doména saturační doména lokální doména minimální doména dominované dominující Filtr dvojitého komplementizéru Ekonomie derivace Ekonomie reprezentace hranice zapuštěné struktury Princip prázdných kategorií (PPK) zadní vrátka rozšířená projekce Rozšířená standardní teorie Zákon rozšiřování vnější SPEC rys transformace/posun vyvolaný silným rysem v cílové oblasti saturace rysu komplex rysů filtr plochá struktura plovoucí kvantifikátory formální/syntaktické rysy funkční kategorie generalizovaná transformace globální omezení řídít, X řídí Z řídit, X je řízeno řízenost Teorie řízenosti a vázání řízenost, antecedentní řízenost řízenost, přísná řízenost Nenasytnost hlava Transformace/posun/přemístění hlavy Princip omezeného posunu hlavy hlava řetězu crash c-selection, category selection cyclic derivation cyclic domain daughter node Deep Structure derivation determiner distributed morphology do-insertion domain domain, checking ~ domain, local ~ domain, minimal ~ dominated dominating Doubly filled COMP filter Economy of Derivation Economy of Representation edge embeded structures Empty Category Principle (ECP) escape hatch extended projection Extended Standard Theory Extension Condition external SPEC feature feature driven movement feature checking feture complex filter flat structure floating quantifiers formal/syntactic features functional categories generalised transformation global constraints govern, X governs Z govern, X is governed government Government and Binding Theory government, antecedent government government, proper government Greed head Head Movement Head Movement Constraint head of the chain

3 head transformation chain check checking domain Chomsky: A Minimalist Program for Linguistic Theory Chomsky: Bare Phrase Structure Chomsky: Barriers Chomsky: Categories and Transformations Chomsky: Concepts and Consequencies of Theory of Government and Binding Chomsky: Conditions on Transformations Chomsky: Derivation by phase Chomsky: Knowledge of Language Chomsky: Lectures on Government and Binding Chomsky: Minimalist Inquiries: The Framework Chomsky: On Binding Chomsky: Some Notes on Economy of Derivation and Representation immediate in situ incorporation interface intermediate trace interpretable features interpretive level island I-to-C Movement landing site language acquisition Last resort Least effort left adjunction Left Branch Condition Lexical Array lexical case lexical item lexicalist hypothesis lexicon LF light vp L-marked local constraints local domain long distance binding long distance movement lowering movement main verb transformace posunující hlavy řetěz saturovat saturační doména Chomsky: Minimalistický program pro lingvistickou teorii Chomsky: Struktura holé fráze Chomsky: Bariéry Chomsky: Kategorie a Transformace Chomsky: Pojmy a důsledky teorie řízenosti a vázání Chomsky: Podmínky transformací Chomsky: Fázová derivace Chomsky: Znalost jazyka Chomsky: Přednášky o řízenosti a vázání Chomsky: Výzkum v rámci minimalismu Chomsky: O vázání Chomsky: Poznámky k ekonomii derivace a reprezentace bezprostředně in situ inkorporace rozhraní střední stopa interpretovatelné rysy interpretativnímu modulu ostrov I-do-C Posun přístaviště/ místo dopadu jazyková akvizice, osvojení jazyka Poslední východisko Nejmenší námaha adjunkce vlevo Omezení levé větve lexikální soubor lexikální pád lexikální jednotka lexikalistická hypotéza lexikon Logická forma lehká vp L-označené lokálního omezení lokální doména vázání na dálku posun na dálku posun směrem dolů hlavní sloveso

4 mark(ed) maximal projection m-command Merge minimal (checking) domain Minimal Link Condition minimal projection Minimal Steps Condition Minimalist Program Mirror Principle modifier mother node Move Alpha movement multiple SPEC node NP Agreement NP Movement N-to-D Movement Numeration optional overt transformation parasitic gap partial movement percolation performance PF PF movement phases of derivation phonetic features phonological component phrases pre-quantifiers PRO pro drop process(ed) Procrastinate project projection Projection Principle pronouns: weak/strong proper government QR, quantifier raising quantifier raising Reference Set relativised minimality rewriting rule scrambling semantic features označit, -ené maximální projekce m-ovládání sloučení, vnoření minimální (saturační) doména Pravidlo minimálního řetězu minimální projekce Princip minimálního počtu kroků Minimalistický program Zrcadlový princip modifikátor mateřský uzel Posun Alfa posun/přemisťování několikanásobný specifikátor uzel NP shoda NP posun, posun jmenných frází N-do-D Posun (e)numerace neobligatorní, fakultativní viditelný posun parazitující stopa/mezera částečný posun perkolace performance Fonetická forma fonetické transformace fáze derivace rysy fonetické fonologický komponent fráze pre-kvantifikátory velké PRO pro drop zpracovat, -né Odklad promítat se, promítnout projekce, rozšíření, promítnutí projekční princip zájmena: silná/slabá přísná řízenost SQ, stoupání kvantifikátorů kvantifikátor stoupání referenční soubor relativizovaná minimalita přepisovací pravidlo skrembling rysy sémantické

5 send to LF Short Step Condition sister node sisterhood small pro specifier Spell Out s-selection Strict Cycle Condition strong agreement strong features structural analysis structural case structural description structural change structure preservation constraint Structure Preserving Principle stylistic movement subarray subarray subcategorization subcategorizational feature subjacency subjacency node, node of subjacency Surface Structure tail of the chain terminal nodes THAT-trace filter thematic hierarchy Theory of Principles and Parameters Theta Theory T-Model trace trace theory transformation cyclus tree ungoverned Universal Grammar UTAH V-Agreement visibility condition vocabulary VP internal subject hypothesis VP shell weak agreement weak features weak verb WH Criterion WH Movement WH-island Constraint poslat na LF Princip minimální délky kroku sestřinný uzel vztah sester malé pro specifikátor Spell Out s-selekce Zákon striktního cyklu silná shoda silné rysy strukturní analýza strukturní pád strukturní popis strukturní změna princip zachování struktury Princip zachování struktury stylistický posun podsoubor, podmnožina submnožiny subkategorizace subkategorizační rys subjacence subjacentní uzel S-Struktura, povrchová struktura konec řetězu terminální symboly Filtr ŽE+stopa tematická hierarchie Teorie Principů a parametrů Teorie tematických vztahů, Theta teorie T-Model stopa teorie stop transformační cyklus strom, frázový/větný graf/ukazatel neřízený Univerzální gramatika UTAH subjekt-predikátová shoda podmínka viditelnosti slovník Hypotéza o subjektu uvnitř VP verbální struktura slabá shoda slabé rysy slabé sloveso Wh Kritérium K-posun, posun typu zjišťovacích otázek Wh ostrov

6 X' X-bar X-bar Theory X s pruhem X-bar Teorie struktury

6. Generativní lingvistika (1)

6. Generativní lingvistika (1) 6. Generativní lingvistika (1) I. Generativní gramatika 80. a 90. let Government & Binding Theory (Principles & Parameters Theory), literatura: Haegeman, L. 1994; Hajičová Panevová Sgall, 2002, Úvod do

Více

Sémantická interpretace

Sémantická interpretace Vysoké učení technické v Brně Fakulta informačních technologií Sémantická interpretace Moderní teoretická informatika Semestrální projekt Autor: Zdeněk Martínek Školitel: RNDr. Jitka Kreslíková, CSc. 19.

Více

Úvod do formální lingvistiky

Úvod do formální lingvistiky Úvod do formální lingvistiky 1 Vývojové tendence v teoretickém popisu jazyka předchůdci předchůdci Ch. -- deskriptivismus (Bloomfield), šlo hlavně o klasifikaci, distribuci prvků ve větě a jejich vztahy

Více

Syntaxe gramatiky a syntaktické struktury

Syntaxe gramatiky a syntaktické struktury Syntaxe gramatiky a syntaktické struktury Aleš Horák E-mail: hales@fi.muni.cz http://nlp.fi.muni.cz/poc_lingv/ Obsah: Syntaxe, syntaktická analýza Specifikace gramatik Chomského teorie syntaxe Východiska

Více

Problematika klitik a jejich analýza v generativní syntaxi

Problematika klitik a jejich analýza v generativní syntaxi Veselovská, Ludmila (2005) "Problematika klitik a jejich analýza v generativní syntaxi." In Habilitační práce UP Olomouc. pp 33-56. (Komentář k přiloženému textu Vos, Riet & Veselovská, Ludmila (1999)

Více

GRAMATIKA A LEXIKON ČEŠTINY. Funkční kategorie

GRAMATIKA A LEXIKON ČEŠTINY. Funkční kategorie GRAMATIKA A LEXIKON ČEŠTINY Funkční kategorie Termín funkční kategorie se v generativní gramatice pouz ívá pro označení syntaktické kategorie, která je nositelem gramatického významu nebo funkce; je to

Více

Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 1 / 20 p

Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 1 / 20 p Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně polaritní výrazy FF MU Mojmír Dočekal ÚJABL Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik

Více

Gramatické formalismy pro ZPJ

Gramatické formalismy pro ZPJ Gramatické formalismy pro ZPJ Aleš Horák E-mail: hales@fi.muni.cz http://nlp.fi.muni.cz/poc_lingv/ Obsah: Gramatické formalismy Kategoriální gramatiky Závislostní gramatiky Stromové gramatiky TAG a LTAG

Více

Tabulka1 Tradiční dělení české deklinace na 14 paradigmat singulárové koncovky. NOM Ø Ø Ø e Ø a a e Ø Ø o e e í GEN a u e e e y y e e i a e (et)e í

Tabulka1 Tradiční dělení české deklinace na 14 paradigmat singulárové koncovky. NOM Ø Ø Ø e Ø a a e Ø Ø o e e í GEN a u e e e y y e e i a e (et)e í PRINCIP SYNKRETISMU ANEB AUGIÁŠŮV CHLÉV ČESKÉ DEKLINACE MARKÉTA ZIKOVÁ (9336@mail.muni.cz) & PAVEL CAHA (pcaha@mail.muni.cz) SETKÁNÍ MLADÝCH LINGVISTŮ, OLOMOUC, 18.5. 2005 1. Jmenná deklinace a české gramatiky:tradiční

Více

Metody tvorby ontologií a sémantický web. Martin Malčík, Rostislav Miarka

Metody tvorby ontologií a sémantický web. Martin Malčík, Rostislav Miarka Metody tvorby ontologií a sémantický web Martin Malčík, Rostislav Miarka Obsah Reprezentace znalostí Ontologie a sémantický web Tvorba ontologií Hierarchie znalostí (D.R.Tobin) Data jakékoliv znakové řetězce

Více

K ANALÝZE ČESKÝCH DEVERBÁLNÍCH SUBSTANTIV

K ANALÝZE ČESKÝCH DEVERBÁLNÍCH SUBSTANTIV K ANALÝZE ČESKÝCH DEVERBÁLNÍCH SUBSTANTIV Ludmila Veselovská 1. Nominalizace jako syntaktický proces Nominalizacemi se v transformační generativní syntaxi 1 jako první systematicky zabýval už Robert Lees

Více

Projekt LISp-Miner. M. Šimůnek

Projekt LISp-Miner.   M. Šimůnek Projekt LISp-Miner http://lispminer.vse.cz M. Šimůnek Obsah Systém LISp-Miner Vývoj systému v dlouhém období ETree-Miner Project LISp-Miner 2 Systém LISp-Miner Metoda GUHA (od roku 1966) předchozí implementace

Více

Metody analýzy dat I (Data Analysis I) Úvod do sítí (Networks Basics)

Metody analýzy dat I (Data Analysis I) Úvod do sítí (Networks Basics) Metody analýzy dat I (Data Analysis I) Úvod do sítí (Networks Basics) Literatura Newman, M. (2010). Networks: An Introduction. Oxford University Press. [15-77] Leskovec, J., Rajaraman, A., Ullman, J. D.

Více

MAL. one of the best corroborated law in linguistics

MAL. one of the best corroborated law in linguistics MAL one of the best corroborated law in linguistics proč se vo tom pořád dohadujete, když je to tak dobře dokázaný? proč se vo tom pořád dohadujete, když je to tak dobře dokázaný? hmm není to tak jednoduché,

Více

Analýza Realizace případů užití

Analýza Realizace případů užití Analýza Realizace případů užití Analýza část 9 Clear View Training 2005 v2.2 1 12.2 Analýza případu užití Obchodní model [nebo doménový model] Inženýr případů užití Analytická třída Model požadavků Analyse

Více

Metody analýzy dat I (Data Analysis I) Úvod do sítí (Networks Basics)

Metody analýzy dat I (Data Analysis I) Úvod do sítí (Networks Basics) Metody analýzy dat I (Data Analysis I) Úvod do sítí (Networks Basics) Literatura Newman, M. (2010). Networks: An Introduction. Oxford University Press. [15-77] Leskovec, J., Rajaraman, A., Ullman, J. D.

Více

Surfels: Surface Elements as Rendering Primitives

Surfels: Surface Elements as Rendering Primitives Surfels: Surface Elements as Rendering Primitives Výzkum v počítačové grafice Martin Herodes Nevýhody plošných primitiv Reprezentace složitých objektů pomocí plošných primitiv (trojúhelníků, čtyřúhelníků

Více

Metody analýzy dat I (Data Analysis I) Úvod do sítí (Networks Basics)

Metody analýzy dat I (Data Analysis I) Úvod do sítí (Networks Basics) Metody analýzy dat I (Data Analysis I) Úvod do sítí (Networks Basics) Literatura Albert-László Barabási. Network Science http://barabasi.com/networksciencebook/ kapitoly 1 a 2 http://tuvalu.santafe.edu/~aaronc/courses/5352/csci5352_

Více

Typy predikátů: slovesa, predikativní jména, adjektiva, tranzitivní slovesa, relativní 1 věty / 10

Typy predikátů: slovesa, predikativní jména, adjektiva, tranzitivní slovesa, relativní 1 věty / 10 : slovesa, predikativní jména, adjektiva, tranzitivní slovesa, relativní věty FF MU Mojmír Dočekal ÚJABL Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia

Více

Modifikace: atributivní použití adjektiv, druhy adjektiv,

Modifikace: atributivní použití adjektiv, druhy adjektiv, : atributivní použití adjektiv, druhy adjektiv, adverbia jako modifikátory událostí/predikáty vyššího řádu FF MU Mojmír Dočekal ÚJABL Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik

Více

Syntaxe gramatiky a syntaktické struktury

Syntaxe gramatiky a syntaktické struktury Syntaxe gramatiky a syntaktické struktury Aleš Horák E-mail: hales@fimunicz http://nlpfimunicz/poc_lingv/ syntaxe charakterizace dobře utvořených kombinací slovních tvarů do věty nebo fráze pomocí gramatických

Více

Přehled mezinárodních norem (ISO) Označení mezinárodní normy Názvy mezinárodních norem Rok vydání

Přehled mezinárodních norem (ISO) Označení mezinárodní normy Názvy mezinárodních norem Rok vydání Přehled mezinárodních norem (ISO) Označení mezinárodní normy Názvy mezinárodních norem Rok vydání ISO 19101-1 Geographic information Reference model- Part 1:Fundan 2014 ISO/TS 19101-2 Geographic information

Více

OLOMOUCKÉ LINGVISTICKÉ KOLOKVIUM (OLINCO) ZPRÁVA O OLINCO 2013 2014

OLOMOUCKÉ LINGVISTICKÉ KOLOKVIUM (OLINCO) ZPRÁVA O OLINCO 2013 2014 ČASOPIS PRO MODERNÍ FILOLOGII 97, 2015, Č. 1, S. 101 107 OLOMOUCKÉ LINGVISTICKÉ KOLOKVIUM (OLINCO) ZPRÁVA O OLINCO 2013 2014 Olomoucká lingvistická kolokvia OLINCO 2013 a 2014 byla realizována na Filozofické

Více

Přehled a definice seznamů

Přehled a definice seznamů Přehled a definice seznamů Verze 2009 05 05 L{P1} Project Repositories Listing Popis: Přehled všech vytvořených Repository komponent v daném Projectu; Skupina: Project Components; Titulek: Components:

Více

Hierarchický model. 1995-2013 Josef Pelikán CGG MFF UK Praha. pepca@cgg.mff.cuni.cz http://cgg.mff.cuni.cz/~pepca/ 1 / 16

Hierarchický model. 1995-2013 Josef Pelikán CGG MFF UK Praha. pepca@cgg.mff.cuni.cz http://cgg.mff.cuni.cz/~pepca/ 1 / 16 Hierarchický model 1995-2013 Josef Pelikán CGG MFF UK Praha pepca@cgg.mff.cuni.cz http://cgg.mff.cuni.cz/~pepca/ 1 / 16 Hierarchie v 3D modelování kompozice zdola-nahoru složitější objekty se sestavují

Více

GENEROVÁNÍ KÓDU 9. SHRNUTÍ - PŘÍKLAD POSTUPU PŘEKLADU VSTUPNÍHO PROGRAMU (ZA POUŽITÍ DOSUD ZNÁMÝCH TECHNIK)

GENEROVÁNÍ KÓDU 9. SHRNUTÍ - PŘÍKLAD POSTUPU PŘEKLADU VSTUPNÍHO PROGRAMU (ZA POUŽITÍ DOSUD ZNÁMÝCH TECHNIK) GENEROVÁNÍ KÓDU 9. SHRNUTÍ - PŘÍKLAD POSTUPU PŘEKLADU VSTUPNÍHO PROGRAMU (ZA POUŽITÍ DOSUD ZNÁMÝCH TECHNIK) 2011 Jan Janoušek MI-GEN Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti Úvod

Více

Lexikální kategorie. Lexikální kategorie slovní druhy

Lexikální kategorie. Lexikální kategorie slovní druhy GRAMATIKA A LEXIKON ČEŠTINY Lexikální kategorie Termín lexikální kategorie je v generativní gramatice svázán s lexikalistickou hypotézou, zvl. s tím jejím předpokladem, z e slova, ať uz atomární, nebo

Více

PLIN041 Vývoj počítačové lingvistiky Algebraická lingvistika. Mgr. Dana Hlaváčková, Ph.D. od 2. pol. 50. let 20. st.

PLIN041 Vývoj počítačové lingvistiky Algebraická lingvistika. Mgr. Dana Hlaváčková, Ph.D. od 2. pol. 50. let 20. st. PLIN041 Vývoj počítačové lingvistiky Algebraická lingvistika Mgr. Dana Hlaváčková, Ph.D. od 2. pol. 50. let 20. st. Algebraická lingvistika matematika algebra logika formální logika logická analýza jazyka

Více

Formální jazyky a gramatiky Teorie programovacích jazyků

Formální jazyky a gramatiky Teorie programovacích jazyků Formální jazyky a gramatiky Teorie programovacích jazyků doc. Ing. Jiří Rybička, Dr. ústav informatiky PEF MENDELU v Brně rybicka@mendelu.cz Připomenutí základních pojmů ABECEDA jazyk je libovolná podmnožina

Více

Kolaborativní aplikace

Kolaborativní aplikace Kolaborativní aplikace Michal Máčel Vema, a. s. Okružní 3a, 638 00 Brno - Lesná, macel@vema.cz Tomáš Hruška Fakulta informačních technologií Vysokého učení technického v Brně, Ústav informačních systémů,

Více

Logika a logické programování

Logika a logické programování Logika a logické programování témata ke zkoušce Poslední aktualizace: 16. prosince 2009 Zkouška je písemná, skládá se obvykle ze sedmi otázek (může být více nebo méně, podle náročnosti otázek), z toho

Více

TVORBA MODELU A VÝKRESU SESTAVY CATIA V5 R14

TVORBA MODELU A VÝKRESU SESTAVY CATIA V5 R14 Cvičení 7 z předmětu CAD I. TVORBA MODELU A VÝKRESU SESTAVY CATIA V5 R14 Cílem sedmého cvičení je vytvoření jednoduché sestavy vstupního hřídele převodovky viz. obr.1, osvojení základních typů 3D vazeb

Více

ROZŠÍŘENÁ VERBÁLNÍ PROJEKCE V ČEŠTINĚ: Tři druhy slovesa být

ROZŠÍŘENÁ VERBÁLNÍ PROJEKCE V ČEŠTINĚ: Tři druhy slovesa být LUDMILA VESELOVSKÁ ROZŠÍŘENÁ VERBÁLNÍ PROJEKCE V ČEŠTINĚ: Tři druhy slovesa být 1. Vývoj struktury verbální fráze V tomto referátu budu předpokládat současnou verzi minimalistické verbální fráze, která

Více

Lukáš Brodský www.gisat.cz. Praha 2008. Osnova. Objektový přístup Verze 4, 5, 6 / 7 Developer7 -funkčnost, nové vlastnosti HW

Lukáš Brodský www.gisat.cz. Praha 2008. Osnova. Objektový přístup Verze 4, 5, 6 / 7 Developer7 -funkčnost, nové vlastnosti HW Nové možnosti objektověorientované klasifikace v Definiens Lukáš Brodský www.gisat.cz GISAT Praha 2008 Osnova Objektový přístup Verze 4, 5, 6 / 7 Developer7 -funkčnost, nové vlastnosti HW Objektový přístup

Více

Kompozicionalita: jm na a reference, logick typy, rule-to-rule vs. interpretativn s mantika 1 / 14

Kompozicionalita: jm na a reference, logick typy, rule-to-rule vs. interpretativn s mantika 1 / 14 Д1Х3Kompozicionalita: jm na a reference, logick typy, rule-to-rule vs. interpretativn s mantika FF MU Mojm r DoБ0Н0ekal Б0Й3JABL Logika: syst movб0л5 r Ґmec rozvoje oboru v Б0М9R a koncepce logickб0л5ch

Více

Analýza. Pracovní postup Analýza

Analýza. Pracovní postup Analýza Otázka 4 - Analýza - hledání analytických tříd, hledání atributů a stavů, analýza chování a odpovídající diagramy v UML. (A7B36SIN) Analýza Pracovní postup Analýza Analýza v metodice UP zahrnuje architektonickou

Více

Základní datové struktury

Základní datové struktury Základní datové struktury Martin Trnečka Katedra informatiky, Přírodovědecká fakulta Univerzita Palackého v Olomouci 4. listopadu 2013 Martin Trnečka (UPOL) Algoritmická matematika 1 4. listopadu 2013

Více

ROLZ-2. Portable AV/Conference Center. Assembly Instructions

ROLZ-2. Portable AV/Conference Center. Assembly Instructions 1 ROLZ-2 Portable AV/Conference Center Assembly Instructions Rolz-2 Portable AV/Conference Center Part Drawing Description Qty Part Drawing Description Qty Hardware List A 1 ½ Flat Head Screw 2 EA P-1

Více

2 Axiomatic Definition of Object 2. 3 UML Unified Modelling Language Classes in UML Tools for System Design in UML 5

2 Axiomatic Definition of Object 2. 3 UML Unified Modelling Language Classes in UML Tools for System Design in UML 5 Contents Contents 1 Semestrální práce 1 2 Axiomatic Definition of Object 2 3 UML Unified Modelling Language 2 3.1 Classes in UML............................ 3 4 Tools for System Design in UML 5 5 Student

Více

OOT Objektově orientované technologie

OOT Objektově orientované technologie OOT Objektově orientované technologie Logická struktura systému (Diagram tříd) Daniela Szturcová Institut geoinformatiky, HGF Osnova Třídy Statický pohled na systém Atributy a operace, řízení přístupu

Více

On the Structure of Constituent Negation in Czech

On the Structure of Constituent Negation in Czech On the Structure of Constituent Negation in Czech Kateřina Veselovská veselovska@ufal.mff.cuni.cz Institute of Formal and Applied Linguistics Faculty of Mathematics and Physics Charles University in Prague

Více

Monotematické číslo / Special Issue. Čeština za zrcadlem formální gramatiky Czech Through the Looking Glass of Formal Grammar

Monotematické číslo / Special Issue. Čeština za zrcadlem formální gramatiky Czech Through the Looking Glass of Formal Grammar Monotematické číslo / Special Issue Čeština za zrcadlem formální gramatiky Czech Through the Looking Glass of Formal Grammar Hostující editoři / Guest Editors: Mojmír Dočekal Markéta Ziková SLOVO A SLOVESNOST

Více

Návrh a implementace algoritmů pro adaptivní řízení průmyslových robotů

Návrh a implementace algoritmů pro adaptivní řízení průmyslových robotů Návrh a implementace algoritmů pro adaptivní řízení průmyslových robotů Design and implementation of algorithms for adaptive control of stationary robots Marcel Vytečka 1, Karel Zídek 2 Abstrakt Článek

Více

ALGORITMIZACE 2010/03 STROMY, BINÁRNÍ STROMY VZTAH STROMŮ A REKURZE ZÁSOBNÍK IMPLEMENTUJE REKURZI PROHLEDÁVÁNÍ S NÁVRATEM (BACKTRACK)

ALGORITMIZACE 2010/03 STROMY, BINÁRNÍ STROMY VZTAH STROMŮ A REKURZE ZÁSOBNÍK IMPLEMENTUJE REKURZI PROHLEDÁVÁNÍ S NÁVRATEM (BACKTRACK) ALGORITMIZACE 2010/03 STROMY, BINÁRNÍ STROMY VZTAH STROMŮ A REKURZE ZÁSOBNÍK IMPLEMENTUJE REKURZI PROHLEDÁVÁNÍ S NÁVRATEM (BACKTRACK) Strom / tree uzel, vrchol / node, vertex hrana / edge vnitřní uzel

Více

Ontologie Příklady. Přednáška z předmětu Socioekonomická geografie pro geomatiku (KMA/SGG) Otakar Čerba Západočeská univerzita

Ontologie Příklady. Přednáška z předmětu Socioekonomická geografie pro geomatiku (KMA/SGG) Otakar Čerba Západočeská univerzita Ontologie Příklady Přednáška z předmětu Socioekonomická geografie pro geomatiku (KMA/SGG) Otakar Čerba Západočeská univerzita Datum vytvoření: 15.5. 2013 Poslední aktualizace: 15. 5. 2013 Ontologie v projektu

Více

vztahy, konverzační implikatury, presupozice

vztahy, konverzační implikatury, presupozice : sémantika, formální sémantika, významové vztahy, konverzační implikatury, presupozice FF MU Mojmír Dočekal ÚJABL Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová

Více

Řízení SW projektů. Lekce 1 Základní pojmy a jejich vztahy. přednáška pro studenty FJFI ČVUT. zimní semestr 2012

Řízení SW projektů. Lekce 1 Základní pojmy a jejich vztahy. přednáška pro studenty FJFI ČVUT. zimní semestr 2012 Řízení SW projektů Lekce 1 Základní pojmy a jejich vztahy přednáška pro studenty FJFI ČVUT zimní semestr 2012 Ing. Pavel Rozsypal IBM Česká republika Global Business Services Lekce 1 - Základní pojmy a

Více

ROLZ-2. Portable AV/Conference Center. Assembly Instructions

ROLZ-2. Portable AV/Conference Center. Assembly Instructions 1 ROLZ-2 Portable AV/Conference Center Assembly Instructions Rolz-2 Portable AV/Conference Center Part Drawing Description Qty Part Drawing Description Qty Hardware List A 1 ½ Flat Head Screw 2 EA P-1

Více

Dělba práce mezi slovníkem

Dělba práce mezi slovníkem Dělba práce mezi slovníkem a syntaxí Reprezentace znalosti jazyka v kognitivistickém smyslu vz dy byla (krome jiného) spojena s nutností řes it problém, který před ni klade existence komplexních struktur

Více

Faculty of Nuclear Sciences and Physical Engineering Czech Technical University in Prague

Faculty of Nuclear Sciences and Physical Engineering Czech Technical University in Prague Tomáš Faculty of Nuclear Sciences and Physical Engineering Czech Technical University in Prague Zjednodušené schéma systému z základ hardware pro mainframe tvoří: operační pamět - MAIN / REAL STORAGE jeden

Více

Communist Party of Nepal (Unified Marxist-Leninist) Unified Modeling Language University of Massachusetts Lowell User-mode Linux.

Communist Party of Nepal (Unified Marxist-Leninist) Unified Modeling Language University of Massachusetts Lowell User-mode Linux. Jan Smolík UML UML Communist Party of Nepal (Unified Marxist-Leninist) Unified Modeling Language University of Massachusetts Lowell User-mode Linux Zdroj: Wikipedia Unified modelling language Neproprietární

Více

Výroková a predikátová logika - III

Výroková a predikátová logika - III Výroková a predikátová logika - III Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - III ZS 2017/2018 1 / 16 2-SAT 2-SAT Výrok je v k-cnf, je-li v CNF a

Více

obj obl obl:arg nmod advmod

obj obl obl:arg nmod advmod obj obl obl:arg nmod advmod obj iobj obl traditional Cz term přímý předmět nepřímý předmět příslovečné určení předmět s předložkou modifies form predicate (incl. nominal predicate), verbal adjectives noun

Více

Možnosti generativní klasifikace infinitivu

Možnosti generativní klasifikace infinitivu Veselovská, 2009 Možnosti generativní klasifikace infinitivu. Slovo a slovesnost 70-4. ISSN: 0037-7031. s. 314-326. =============================================================================================

Více

Zachycení (nejen) koordinací v závislostních stromech

Zachycení (nejen) koordinací v závislostních stromech Zachycení (nejen) koordinací v závislostních stromech Markéta Lopatková ÚFAL MFF UK atural language syntax: Treebanks text corpora, esp. treebanks tens of languages stress on morphology, syntax manual

Více

Reprezentace dat v informačních systémech. Jaroslav Šmarda

Reprezentace dat v informačních systémech. Jaroslav Šmarda Reprezentace dat v informačních systémech Jaroslav Šmarda Reprezentace dat v informačních systémech Reprezentace dat v počítači Datové typy Proměnná Uživatelské datové typy Datové struktury: pole, zásobník,

Více

Student má právo jednou za pololetí odmítnout ústní zkoušení (nevztahuje se na předem zadané prezentace).

Student má právo jednou za pololetí odmítnout ústní zkoušení (nevztahuje se na předem zadané prezentace). Hodnocení a klasifikace se řídí pravidly pro hodnocení ANJ na GJO (viz níže) Od studentů se očekává: - pravidelná docházka (max. absence 25%, u krátkodobých absencí může učitel snížit tuto hranici až na

Více

Principy UML. Clear View Training 2005 v2.2 1

Principy UML. Clear View Training 2005 v2.2 1 Principy UML Clear View Training 2005 v2.2 1 1.2 Co je touml? Unified Modelling Language (UML) je univerzálníjazyk pro vizuální modelování systémů Podporuje všechny životní cykly Mohou jej implementovat

Více

Karta předmětu prezenční studium

Karta předmětu prezenční studium Karta předmětu prezenční studium Název předmětu: Objektově orientovaná analýza a návrh (OOAN) Číslo předmětu: 548-0040 Garantující institut: Garant předmětu: Institut geoinformatiky RNDr. Daniela Szturcová,

Více

Aplikovaná informatika. Podklady předmětu Aplikovaná informatika pro akademický rok 2006/2007 Radim Farana. Obsah. Obsah předmětu

Aplikovaná informatika. Podklady předmětu Aplikovaná informatika pro akademický rok 2006/2007 Radim Farana. Obsah. Obsah předmětu 1 Podklady předmětu pro akademický rok 2006/2007 Radim Farana Obsah 2 Obsah předmětu, Požadavky kreditového systému, Datové typy jednoduché, složené, Programové struktury, Předávání dat. Obsah předmětu

Více

Matematika pro geometrickou morfometrii

Matematika pro geometrickou morfometrii Matematika pro geometrickou morfometrii Václav Krajíček Vaclav.Krajicek@mff.cuni.cz Department of Software and Computer Science Education Faculty of Mathematics and Physics Charles University Přednáška

Více

Web 2.0 vs. sémantický web

Web 2.0 vs. sémantický web Web 2.0 vs. sémantický web Vilém Sklenák sklenak@vse.cz Vysoká škola ekonomická, fakulta informatiky a statistiky, katedra informačního a znalostního inženýrství Inforum2007, 24. 5. 2007 Vilém Sklenák

Více

Bioinformatika a výpočetní biologie. KFC/BIN VII. Fylogenetická analýza

Bioinformatika a výpočetní biologie. KFC/BIN VII. Fylogenetická analýza ioinformatika a výpočetní biologie KF/IN VII. Fylogenetická analýza RNr. Karel erka, Ph.. Univerzita Palackého v Olomouci Fylogeneze Vznik a vývoj jednotlivých linií organismů Vývoj člověka phylogenetic

Více

Výroková a predikátová logika - VII

Výroková a predikátová logika - VII Výroková a predikátová logika - VII Petr Gregor KTIML MFF UK ZS 2013/2014 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - VII ZS 2013/2014 1 / 21 Sémantika PL Teorie Vlastnosti teorií Teorie

Více

Selection from Susta:Computer System Structures & John Loomis: Computer organization & M.Mudawar:Computer Architecture & Assembly Language. Cvičení 1.

Selection from Susta:Computer System Structures & John Loomis: Computer organization & M.Mudawar:Computer Architecture & Assembly Language. Cvičení 1. Selection from Susta:Computer System Structures & John Loomis: Computer organization & M.Mudawar:Computer Architecture & Assembly Language Cvičení 1. Version: 1.1 ČVUT-FEL in Prague, Byte, Nibble, Bit

Více

Newstin Real-time Web Content Categorization. Presentation to WebExpo 2008

Newstin Real-time Web Content Categorization. Presentation to WebExpo 2008 Newstin Real-time Web Content Categorization Presentation to WebExpo 2008 October 18, 2008 Company Background Newstin a.s. founded in 1998 as I2S in Prague Team of 30 employees 26 engineers 14 nations

Více

Jak v Javě primitivní datové typy a jejich reprezentace. BD6B36PJV 002 Fakulta elektrotechnická České vysoké učení technické

Jak v Javě primitivní datové typy a jejich reprezentace. BD6B36PJV 002 Fakulta elektrotechnická České vysoké učení technické Jak v Javě primitivní datové typy a jejich reprezentace BD6B36PJV 002 Fakulta elektrotechnická České vysoké učení technické Obsah Celočíselný datový typ Reálný datový typ Logický datový typ, typ Boolean

Více

Pravidla hodnocení a klasifikace v předmětu Anglický jazyk:

Pravidla hodnocení a klasifikace v předmětu Anglický jazyk: Pravidla hodnocení a klasifikace v předmětu Anglický jazyk: Od studentů se očekává: - pravidelná docházka (max. absence 25%, u krátkodobých absencí může učitel snížit tuto hranici až na 20%) - ústní prezentace

Více

ŽÁKOVSKÝ KORPUS MERLIN: JAZYKOVÉ ÚROVNĚ A TROJJAZYČNÁ CHYBOVÁ ANOTACE

ŽÁKOVSKÝ KORPUS MERLIN: JAZYKOVÉ ÚROVNĚ A TROJJAZYČNÁ CHYBOVÁ ANOTACE ŽÁKOVSKÝ KORPUS MERLIN: JAZYKOVÉ ÚROVNĚ A TROJJAZYČNÁ CHYBOVÁ ANOTACE Mgr. Barbora Štindlová, Ph. D., Mgr. Veronika Čurdová, Mgr. Petra Klimešová, Mgr. Eva Levorová ÚJOP UK, Praha Práce s chybou, Poděbrady

Více

Datové typy v Javě. Tomáš Pitner, upravil Marek Šabo

Datové typy v Javě. Tomáš Pitner, upravil Marek Šabo Datové typy v Javě Tomáš Pitner, upravil Marek Šabo Úvod k datovým typům v Javě Existují dvě základní kategorie datových typů: primitivní a objektové Primitivní v proměnné je uložena přímo hodnota např.

Více

Rešerše: Práce se sestavami v programu CATIA V5

Rešerše: Práce se sestavami v programu CATIA V5 Rešerše: Práce se sestavami v programu CATIA V5 David Jonáš 6.9.2008 Úvod V této rešerši si popíšeme práci se sestavami a ukážeme si modelování v kontextu sestav v programu CATIA V5. Předpokládám základní

Více

18.VY_32_INOVACE_AJ_UMB18, Frázová slovesa.notebook. September 09, 2013

18.VY_32_INOVACE_AJ_UMB18, Frázová slovesa.notebook. September 09, 2013 1 (Click on the text to move to the section) Worksheet Methodology Sources 2 Decide which words are considered prepositions (předložky) and which are particles (částice) Source: SWAN, Michael a Catharine

Více

Úvod do programovacích jazyků (Java)

Úvod do programovacích jazyků (Java) Úvod do programovacích jazyků (Java) Michal Krátký Katedra informatiky VŠB Technická univerzita Ostrava Úvod do programovacích jazyků (Java), 2007/2008 c 2006 2008 Michal Krátký Úvod do programovacích

Více

SCHÉMOVÉ JAZYKY. Přednáška z předmětu KMA/POK. Otakar ČERBA Západočeská univerzita v Plzni

SCHÉMOVÉ JAZYKY. Přednáška z předmětu KMA/POK. Otakar ČERBA Západočeská univerzita v Plzni SCHÉMOVÉ JAZYKY Přednáška z předmětu KMA/POK Otakar ČERBA Západočeská univerzita v Plzni Poslední aktualizace: 16. 10. 2010 Schémové jazyky Jazyky pro popis dokumentu XML schémata XML Schema Languages

Více

Poznámka k charakteristice nominálních kvantifikátorů 1

Poznámka k charakteristice nominálních kvantifikátorů 1 Poznámka k charakteristice nominálních kvantifikátorů 1 LUDMILA VESELOVSKÁ Úvod Ve své studii 'Agreement Patterns of Czech Group Nouns and Quantifiers' (Veselovská, 2000) jsem charakterizovala syntaktickou

Více

Metody analýzy dat I. Míry a metriky - pokračování

Metody analýzy dat I. Míry a metriky - pokračování Metody analýzy dat I Míry a metriky - pokračování Literatura Newman, M. (2010). Networks: an introduction. Oxford University Press. [168-193] Zaki, M. J., Meira Jr, W. (2014). Data Mining and Analysis:

Více

ALGORITMIZACE 2010/03 STROMY, BINÁRNÍ STROMY VZTAH STROMŮ A REKURZE ZÁSOBNÍK IMPLEMENTUJE REKURZI PROHLEDÁVÁNÍ S NÁVRATEM (BACKTRACK)

ALGORITMIZACE 2010/03 STROMY, BINÁRNÍ STROMY VZTAH STROMŮ A REKURZE ZÁSOBNÍK IMPLEMENTUJE REKURZI PROHLEDÁVÁNÍ S NÁVRATEM (BACKTRACK) ALGORITMIZACE 2010/03 STROMY, BINÁRNÍ STROMY VZTAH STROMŮ A REKURZE ZÁSOBNÍK IMPLEMENTUJE REKURZI PROHLEDÁVÁNÍ S NÁVRATEM (BACKTRACK) Strom / tree uzel, vrchol / node, vertex hrana / edge vnitřní uzel

Více

Infrastruktura UML. Modelování struktury v UML. Superstruktura UML. Notace objektů. Diagramy objektů

Infrastruktura UML. Modelování struktury v UML. Superstruktura UML. Notace objektů. Diagramy objektů Infrastruktura UML v UML Karel Richta listopad 2011 Richta: B101TMM - v UML 2 Superstruktura UML Směr pohledu na systém dle UML Diagramy popisující strukturu diagramy tříd, objektů, kompozitní struktury,

Více

Vývoj informačních systémů. Obecně o IS

Vývoj informačních systémů. Obecně o IS Vývoj informačních systémů Obecně o IS Informační systém Informační systém je propojení informačních technologií a lidských aktivit směřující k zajištění podpory procesů v organizaci. V širším slova smyslu

Více

Linguistica ONLINE. Added: January, 30th 2006. http://www.phil.muni.cz/linguistica/art/zikcah/zic-001.pdf ISSN 1801-5336

Linguistica ONLINE. Added: January, 30th 2006. http://www.phil.muni.cz/linguistica/art/zikcah/zic-001.pdf ISSN 1801-5336 Linguistica ONLINE. Added: January, 30th 2006. http://www.phil.muni.cz/linguistica/art/zikcah/zic-001.pdf ISSN 1801-5336 Princip synkretismu aneb Augiášův chlév české deklinace [*] Markéta Ziková & Pavel

Více

Sémantická integrace nově osvojených slov v mentálním lexikonu

Sémantická integrace nově osvojených slov v mentálním lexikonu Sémantická integrace nově osvojených slov v mentálním lexikonu Denisa Bordag ABSTRAKT: Příspěvek shrnuje výsledky psycholingvistických experimentů založených na sémantickém primingu, jež se zabývají integrací

Více

Automaty a gramatiky(bi-aag) Motivace. 1. Základní pojmy. 2 domácí úkoly po 6 bodech 3 testy za bodů celkem 40 bodů

Automaty a gramatiky(bi-aag) Motivace. 1. Základní pojmy. 2 domácí úkoly po 6 bodech 3 testy za bodů celkem 40 bodů BI-AAG (2011/2012) J. Holub: 1. Základní pojmy p. 2/29 Hodnocení předmětu BI-AAG (2011/2012) J. Holub: 1. Základní pojmy p. 4/29 Automaty a gramatiky(bi-aag) 1. Základní pojmy Jan Holub Katedra teoretické

Více

Manuál k aplikaci FieldGIS v.2.27

Manuál k aplikaci FieldGIS v.2.27 Manuál k aplikaci FieldGIS v.2.27 Petr Pala Copyright 2008 CENIA, laboratoř GIS 1. Úvod 1. Systémové požadavky 2. Části základního okna aplikace 1. Menu 1.1. File 1.2. Tools 1.3. Hlavní lišta 2. Editor

Více

Sublexikální sémantika: události, sémantické role; formalizace: množiny a funkce, lambda 1 / 12 a

Sublexikální sémantika: události, sémantické role; formalizace: množiny a funkce, lambda 1 / 12 a Sublexikální sémantika: události, sémantické role; formalizace: množiny a funkce, lambda abstrakce FF MU Mojmír Dočekal ÚJABL Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik

Více

Parametrizovaná geometrie v COMSOL Multiphysics, verze 3.5a

Parametrizovaná geometrie v COMSOL Multiphysics, verze 3.5a Parametrizovaná geometrie v COMSOL Multiphysics, verze 3.5a Parametrizovanou 3D geometrii lze v COMSOL Multiphysics používat díky aplikačnímu módu pro pohyblivou síť: COMSOL Multiphysics > Deformed Mesh

Více

Tato zvláštní schopnost je navíc spojena výhradně s otázkami, nebudeme se tedy zabývat jinými strukturami:

Tato zvláštní schopnost je navíc spojena výhradně s otázkami, nebudeme se tedy zabývat jinými strukturami: Co dokáže co: interakce vidu a příčinných otázkových slov v češtině Radek Šimík // University of Groningen // r.simik@rug.nl 1 Úvod Kauzální tázací slova mají zvláštní schopnost, (1) a. Proč jsi včera

Více

Logické operace. Datový typ bool. Relační operátory. Logické operátory. IAJCE Přednáška č. 3. může nabýt hodnot: o true o false

Logické operace. Datový typ bool. Relační operátory. Logické operátory. IAJCE Přednáška č. 3. může nabýt hodnot: o true o false Logické operace Datový typ bool může nabýt hodnot: o true o false Relační operátory pravda, 1, nepravda, 0, hodnoty všech primitivních datových typů (int, double ) jsou uspořádané lze je porovnávat binární

Více

7.6 Další diagramy UML

7.6 Další diagramy UML 7.6 Další diagramy UML 7.6.1 Moduly (balíčky - package) a kolaborace (collaboration) Jak rozložit rozsáhlý systém na menší? - seskupování tříd (prvků modelu) do jednotek vyšší úrovně (package v UML). UI

Více

Code Contracts. Robert Haken [MVP ASP.NET, MCT] Software architect, Owner at HAVIT, s.r.o. knowledge-base.havit.cz

Code Contracts. Robert Haken [MVP ASP.NET, MCT] Software architect, Owner at HAVIT, s.r.o. knowledge-base.havit.cz Code Contracts Robert Haken [MVP ASP.NET, MCT] Software architect, Owner at HAVIT, s.r.o. knowledge-base.havit.cz Contracts volaná strana deklaruje, jak se chová vzniká dohoda mezi volající a volanou stranou

Více

Stromy. Karel Richta a kol. Katedra počítačů Fakulta elektrotechnická České vysoké učení technické v Praze Karel Richta a kol.

Stromy. Karel Richta a kol. Katedra počítačů Fakulta elektrotechnická České vysoké učení technické v Praze Karel Richta a kol. Stromy Karel Richta a kol. Katedra počítačů Fakulta elektrotechnická České vysoké učení technické v Praze Karel Richta a kol., 2018, B6B36DSA 01/2018, Lekce 9 https://cw.fel.cvut.cz/wiki/courses/b6b36dsa/start

Více

Metodický postup konstrukce válcové frézy. Vlastní konstrukce válcové frézy

Metodický postup konstrukce válcové frézy. Vlastní konstrukce válcové frézy Metodický postup konstrukce válcové frézy Tento postup slouží studentům třetího ročníku studujících předmět. Jsou zde stanovena konstrukční pravidla, která by měli studenti aplikovat při správné konstrukci

Více

Korpusová lingvistika a počítačové zpracování přirozeného jazyka

Korpusová lingvistika a počítačové zpracování přirozeného jazyka Korpusová lingvistika a počítačové zpracování přirozeného jazyka Vladimír Petkevič & Alexandr Rosen Ústav teoretické a komputační lingvistiky Filozofické fakulty Univerzity Karlovy v Praze Korpusový seminář

Více

Třídění a vyhledávání Searching and sorting

Třídění a vyhledávání Searching and sorting Třídění a vyhledávání Searching and sorting Jan Kybic http://cmp.felk.cvut.cz/~kybic kybic@fel.cvut.cz 2016 1 / 33 Vyhledávání Třídění Třídící algoritmy 2 / 33 Vyhledávání Searching Mějme posloupnost (pole)

Více

PostGIS Topology. Topologická správa vektorových dat v geodatabázi PostGIS. Martin Landa

PostGIS Topology. Topologická správa vektorových dat v geodatabázi PostGIS. Martin Landa Přednáška 5 Topologická správa vektorových dat v geodatabázi PostGIS 155UZPD Úvod do zpracování prostorových dat, zimní semestr 2018-2019 Martin Landa martin.landa@fsv.cvut.cz Fakulta stavební ČVUT v Praze

Více

Windows Server 2003 Active Directory

Windows Server 2003 Active Directory Windows Server 2003 Active Directory Active Directory ukládá informace o počítačích, uživatelích a ostatních objektech v síti. Zpřístupňuje tyto zdroje uživatelům. Poskytuje komplexní informace o organizaci,

Více

Usuzování za neurčitosti

Usuzování za neurčitosti Usuzování za neurčitosti 25.11.2014 8-1 Usuzování za neurčitosti Hypotetické usuzování a zpětná indukce Míry postačitelnosti a nezbytnosti Kombinace důkazů Šíření pravděpodobnosti v inferenčních sítích

Více

Úvod do dobývání. znalostí z databází

Úvod do dobývání. znalostí z databází POROZUMĚNÍ 4iz260 Úvod do DZD Úvod do dobývání DOMÉNOVÉ OBLASTI znalostí z databází VYUŽITÍ VÝSLEDKŮ POROZUMĚNÍ DATŮM DATA VYHODNO- CENÍ VÝSLEDKŮ MODELOVÁNÍ (ANALYTICKÉ PROCEDURY) PŘÍPRAVA DAT Ukázka slidů

Více

Modelování informačních systémů s využitím jazyka UML. Jaroslav Šmarda

Modelování informačních systémů s využitím jazyka UML. Jaroslav Šmarda Modelování informačních systémů s využitím jazyka UML Jaroslav Šmarda Využití jazyka UML při vývoji IS na příkladu jednoduché aplikace pro evidenci knih Model IS Modelování případů užití Diagram případů

Více

7.6 Další diagramy UML

7.6 Další diagramy UML 7.6 Další diagramy UML 7.6.1 Moduly (balíčky - package) a kolaborace (collaboration) Jak rozložit rozsáhlý systém na menší? - seskupování tříd (prvků modelu) do jednotek vyšší úrovně (package v UML). UI

Více

Deskripční logika. Petr Křemen FEL ČVUT. Petr Křemen (FEL ČVUT) Deskripční logika 37 / 157

Deskripční logika. Petr Křemen FEL ČVUT. Petr Křemen (FEL ČVUT) Deskripční logika 37 / 157 Deskripční logika Petr Křemen FEL ČVUT Petr Křemen (FEL ČVUT) Deskripční logika 37 / 157 Co nás čeká 1 Základy deskripční logiky 2 Jazyk ALC Syntax a sémantika 3 Cyklické a acyklické TBOXy Petr Křemen

Více