Uvod Symbolick e modelov an ı Neuronov e s ıtˇ e Shrnut ı Modelov an ı myˇslen ı Radek Pel anek
|
|
- Janusz Góra
- 6 lat temu
- Przeglądów:
Transkrypt
1 Modelování myšlení Radek Pelánek
2 Modelování a myšlení Myšlení, modelování, počítače (zjednodušeně) kognitivní modelování umělá inteligence cíl: zachytit, jak funguje mysl důraz na jednoduchost, věrnost, principy není úplně zásadní výkon cíl: reprodukovat inteligentní chování důraz na výkon biologické principy jen jako inspirace
3 Modelování a myšlení Kognitivní modelování symbolické modelování konekcionistické modelování high-level uvažování na úrovni pravidel, metafora počítače manipulace symbolů low-level uvažování na úrovni neuronů snaha o biologickou věrnost
4 Modelování a myšlení Porozumění mozku Kdyby byl mozek tak jednoduchý, že bychom mu mohli rozumět, byli bychom tak jednoduší, že bychom nemohli. (Lyaal Wattson)
5 Symbolické modelování computational theory of mind myšlení jako manipulace symbolů produkční pravidla: IF X THEN Y učení: vytváření nových pravidel (např. spojováním, vyhledáváním) kde se vezmou symboly?
6 Produkční systém pravidla typu IF podmínka THEN akce podmínky přichází z prostředí nebo jako následky jiných pravidel akce mohou vyvolávat další pravidla nebo měnit prostředí Příklad: IF chci čaj THEN uvařit čaj IF uvařit čaj a nemám horkou vodu THEN dát vodu do konvice
7 Produkční systémy: kolize pravidla mohou být kolizní (nedeterministický systém) pro danou situaci výběr aplikovatelných, rozhodnutí kolize priority, náhoda,... Příklad: IF chci čaj THEN uvařit čaj IF chci čaj THEN zajít do hospody a objednat čaj
8 Příklad žába Příklad žába: základní princip (John Holland, Hidden Order: How Adaptation Builds Complexity)
9 Příklad žába Příklad žába: kontext (John Holland, Hidden Order: How Adaptation Builds Complexity)
10 Příklad žába Příklad žába: produkční systém (John Holland, Hidden Order: How Adaptation Builds Complexity)
11 Příklad žába Příklad žába: výběr použitelných pravidel (John Holland, Hidden Order: How Adaptation Builds Complexity)
12 Příklad žába Příklad žába: řešení kolize (John Holland, Hidden Order: How Adaptation Builds Complexity)
13 Klasifikační systém Klasifikační systémy (Learning classifier systems) Konkrétní příklad architektury: 1 produkční systém 2 ohodnocení pravidel (bucket brigade) 3 objevování pravidel pomocí genetického algoritmu
14 Klasifikační systém Ohodnocení pravidel: bucket brigade pravidla konfliktní pravidlo má kapitál výběr pravidla podle aktuálního kapitálu pravidlo platí za to, že může být použito úspěšná aplikace zisk odměny od prostředí část odměny redistribuována pravidlům, které umožnily použití pravidla, které vedlo k odměně
15 Klasifikační systém Vývoj nových pravidel pravidla jsou reprezentována jako binární řetězce přímočaré použití genetického algoritmu zdatnost = kapitál
16 Klasifikační systém (G. W. Flake, The Computational Beauty of Nature)
17 Jednoduchý příklad aplikace Příklad Woods (podobné jako Robby the Robot u gen. alg.) zvíře na čtverečkovaném poli * zvíře. volné pole O skála F jídlo zvíře vidí okolních 8 pozic, tj. detektory lze zakódovat pomocí 16 bitového řetězce (. = 00, O = 10, F=11) cílem je najít co nejrychleji jídlo
18 Jednoduchý příklad aplikace Příklad Woods (G. W. Flake, The Computational Beauty of Nature)
19 Jednoduchý příklad aplikace Příklad Woods Realizace experimentu (učení): náhodně umístit zvíře nechat běhat dokud nenajde jídlo a pak znova od začátku
20 Jednoduchý příklad aplikace Příklad Woods: výsledky (G. W. Flake, The Computational Beauty of Nature)
21 Jednoduchý příklad aplikace Příklad Woods: složitější prostředí (G. W. Flake, The Computational Beauty of Nature)
22 Jednoduchý příklad aplikace Příklad Woods: výsledky II (G. W. Flake, The Computational Beauty of Nature)
23 Induktivní myšlení Deduktivní a induktivní uvažování deduktivní uvažování z daných předpokladů se dle zákonů logiky odvozují logicky platné závěry (konkretizace) modelování není velký problém (deduktivní uvažování lze vyjádřit formálně), hojně používáno např. v ekonomii ovšem neodpovídá realitě lidé používají deduktivní uvažování jen v omezené míře induktivní uvažování zevšeobecňování, odvozování obecných zákonů z konkrétních příkladů, odhadování vývoje,... často a úspěšně používáno lidmi jak modelovat?
24 Induktivní myšlení El Farol Bar El Farol je bar v Santa Fe, kde hrají ve čtvrtek večer irskou hudbu v okoĺı baru žije 100 lidí každý by rád zašel do baru, ale když je tam moc narváno, tak to za nic nestojí: v baru méně jak 60 lidí lepší být v baru než doma v baru více jak 60 lidí lepší být v doma než v baru všichni se rozhodují současně, žádná domluva
25 Induktivní myšlení Deduktivní model rozhodování deduktivní řešení: hodit si kostkou, tj. rozhodovat se náhodnostně podle vypočítané pravděpodobnosti tak se ale lidé nerozhodují...
26 Induktivní myšlení Induktivní model rozhodování Každý agent má několik hypotéz pro předpovídání počtu návštěvníků. Příklad dosavadní sekvence a hypotéz: 44, 78, 56, 15, 23, 67, 84, 34, 45, 76, 40, 56, 22, 35 stejně jako minulý týden [35] zaokrouhlený průměr za minulé 4 týdny [49] stejně jako před dvěma týdny [22] zrcadlový obraz okolo 50 z minulého týdne [65] 42 [42]
27 Induktivní myšlení Induktivní model rozhodování pro každou hypotézu si agent pamatuje její úspěšnost vždy se rozhoduje podle aktuální nejúspěšnější hypotézy (případně průměruje několik nejúspěšnějších) hypotézy vygenerovány ručně, každému agentu náhodně přiřazeno několik z nich
28 Induktivní myšlení Simulace
29 Induktivní myšlení Výsledky a rozšíření počet návštěvníků osciluje okolo hodnoty 60 induktivně uvažující agenti tedy řeší problém poměrně dobře možná rozšíření: tvorba nových hypotéz (genetický algoritmus), komunikace mezi agenty,... podobným způsobem můžeme udělat model trhu (induktivně uvažující obchodníci)
30 ACT-R ACT-R (Adaptive Control of Thought Rational) kognitivní architektura založeno na produkčních systémech rozsáhlé, mnoho aspektů vnímání, myšlení, paměti mnoho aplikací
31 ACT-R ACT-R (Adaptive Control of Thought Rational)
32 ACT-R ACT-R: aplikace
33 ACT-R Aplikace ve výuce inteligentní výukové systémy produkční systém pro určitou oblast (např. aritmetika) model sleduje řešení studenta ohodnocení schopností studenta, identifikace silných/slabých míst pravidla pro typické chyby možnost cílené zpětné vazby příklad: sčítání zlomků
34 Úvod Neuronové sítě konekcionistické modelování model založený na zjednodušené imitaci fungování mozku neurony, spojení induktivní učení prostřednictvím trénovacích dat znalosti jsou v síti uloženy jako váhy spojení mezi neurony
35 Úvod Neuron (G. W. Flake, The Computational Beauty of Nature)
36 Model Model neuronu a(t + 1) = Φ ( Σ n i=1 w i a i (t) b )
37 Model Model neuronu: aktivační funkce dříve používané (biologicky motivované): aktuálně populární: rectifier max(x, 0) (dobrý praktický výkon)
38 Model Umělá neuronová sít... připomíná reálnou neuronovou sít : neurony spojené váženými vazbami schopná se učit na základě předkládaných dat znalosti uloženy jako váhy spojení mezi neurony
39 Model Příklad architektury dopředná sít
40 Model Dopředná sít : učení předkládáme sadu příkladů: vstup + žádaný výstup upravujeme váhy spojení mezi neurony (backpropagation algoritmus) učení = korigující negativní zpětná vazba
41 Model Architektura dopředná sít hrany vedou jedním směrem (žádné cykly) snadnější na naučení, použití neodpovídá biologické realitě dominantně používáno v aktuálních aplikacích zpětnovazebná sít reálnější z pohledu modelování náročnější na zpracování
42 Model Deep learning žhavé téma v oblasti neuronových sítí dopředná sít, mnoho úrovní: úrovně mohou sloužit jako stupně abstrakce (feature learning) problém: náročné sít naučit možné řešení: předučení, vždy dvě úrovně za sebou, auto-encoder stručný úvod: Andrew Ng Deep Learning, Self-Taught Learning and Unsupervised Feature Learning
43 Aplikace Aplikace v modelování: Vývoj sdíleného slovníku příklad kombinace ABM + neuronové sítě model vytváření sdíleného slovníku ve skupině agentů pojmenování reprezentováno pomocí neuronové sítě interakce = agenti si vymění svoje názory na název objektu, trochu se přeučí díky interakci vzniká sdílený slovník
44 Aplikace Poznámky k neuronovým sítím smysluplné využití neuronových sítí náročné jako projekt v tomto předmětu nemá smysl pro zájemce: kurzy strojového učení PV021 Neuronové sítě
45 Shrnutí účel modelování myšlení: pochopení, jak myšlení funguje zlepšení modelů (s agenty) aplikace pro řešení inženýrských problémů typy modelů: symbolické konekcionistické hybridní (neprobíráno)
Aproximace funkcí 1,00 0,841 1,10 0,864 1,20 0,885. Body proložíme lomenou čarou.
Příklad Známe následující hodnoty funkce Φ: u Φ(u) 1,00 0,841 1,10 0,864 1,20 0,885 Odhadněte přibližně hodnoty Φ(1,02) a Φ(1,16). Možnosti: Vezmeme hodnotu v nejbližším bodě. Body proložíme lomenou čarou.
Modelov an ı v yukov ych dat, obt ıˇznosti probl em u Radek Pel anek
Modelování výukových dat, obtížnosti problémů Radek Pelánek Kontext odlišné od zbytku předmětu nikoliv standardní pojmy, ale aktuální výzkum na FI osobní zkušenosti, ilustrace postupného vývoje (cca 8
Numerické metody 8. května FJFI ČVUT v Praze
Obyčejné diferenciální rovnice Numerické metody 8. května 2018 FJFI ČVUT v Praze 1 Úvod Úvod Základní metody Pokročilejší metody Soustava Vyšší řád Program 1 Úvod Úvod - Úloha Základní úloha, kterou řešíme
(1) Derivace. Kristýna Kuncová. Matematika B2 17/18. Kristýna Kuncová (1) Derivace 1 / 35
(1) Derivace Kristýna Kuncová Matematika B2 17/18 Kristýna Kuncová (1) Derivace 1 / 35 Růst populací Zdroj : https://www.tes.com/lessons/ yjzt-cmnwtvsq/noah-s-ark Kristýna Kuncová (1) Derivace 2 / 35 Růst
Logika V. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı BI-MLO, ZS 2011/12
Logika V. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı České vysoké učení technické v Praze c Kateřina Trlifajová, 2010 BI-MLO, ZS 2011/12 Evropský sociální
vystavit agenta realitě místo přepisování reality do pevných pravidel
Učení, rozhodovací stromy, neuronové sítě Aleš Horák E-mail: hales@fi.muni.cz http://nlp.fi.muni.cz/uui/ Obsah: Učení Hodnocení úspěšnosti učícího algoritmu PA026 Projekt z umělé inteligence Učení Úvod
Obsah: Rozhodovací stromy. Úvod do umělé inteligence 11/12 2 / 41. akce
Učení, rozhodovací stromy, neuronové sítě Aleš Horák E-mail: hales@fi.muni.cz http://nlp.fi.muni.cz/uui/ Obsah: Učení Hodnocení úspěšnosti učícího algoritmu Úvod do umělé inteligence /2 / 4 Učení Učení
Elementární funkce. Edita Pelantová. únor FJFI, ČVUT v Praze. katedra matematiky, FJFI, ČVUT v Praze
Elementární funkce Edita Pelantová FJFI, ČVUT v Praze Seminář současné matematiky katedra matematiky, FJFI, ČVUT v Praze únor 2013 c Edita Pelantová (FJFI) Elementární funkce únor 2013 1 / 19 Polynomiální
1 Soustava lineárních rovnic
Soustavy lineárních rovnic Aplikovaná matematika I Dana Říhová Mendelu Brno Obsah 1 Soustava lineárních rovnic 2 Řešitelnost soustavy lineárních rovnic 3 Gaussova eliminační metoda 4 Jordanova eliminační
kontaktní modely (Winklerův, Pasternakův)
TÉMA 7: Pružný poloprostor, modely podloží pružný poloprostor základní předpoklady pružný poloprostor Boussinesqueovo řešení kontaktní modely (Winklerův, Pasternakův) 1 Pružný poloprostor (1) vychází z
Automatové modely. Stefan Ratschan. Fakulta informačních technologíı. Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti
Automatové modely Stefan Ratschan Katedra číslicového návrhu Fakulta informačních technologíı České vysoké učení technické v Praze Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti Stefan
Úvodní informace. 18. února 2019
Úvodní informace Funkce více proměnných Cvičení první 18. února 2019 Obsah 1 Úvodní informace. 2 Funkce více proměnných Definiční obor Úvodní informace. Komunikace: e-mail: olga@majling.eu nebo olga.majlingova@fs.cvut.cz
Edita Pelantová, katedra matematiky / 16
Edita Pelantová, katedra matematiky seminář současné matematiky, září 2010 Axiomy reálných čísel Axiomy tělesa Axiom 1. x + y = y + x a xy = yx (komutativní zákon). Axiom 2. x + (y + z) = (x + y) + z a
Kapitola 4: Soustavy diferenciálních rovnic 1. řádu
Sbírka příkladů Matematika II pro strukturované studium Kapitola 4: Soustavy diferenciálních rovnic 1 řádu Chcete-li ukončit prohlížení stiskněte klávesu Esc Chcete-li pokračovat stiskněte klávesu Enter
Necht je funkce f spojitá v intervalu a, b a má derivaci v (a, b). Pak existuje bod ξ (a, b) tak, že f(b) f(a) b a. Geometricky
Monotónie a extrémy funkce Diferenciální počet - průběh funkce Věta o střední hodnotě (Lagrange) Necht je funkce f spojitá v intervalu a, b a má derivaci v (a, b). Pak existuje bod ξ (a, b) tak, že f (ξ)
DFT. verze:
Výpočet spektra signálu pomocí DFT kacmarp@fel.cvut.cz verze: 009093 Úvod Signály můžeme rozdělit na signály spojité v čase nebo diskrétní v čase. Další možné dělení je na signály periodické nebo signály
Paradoxy geometrické pravděpodobnosti
Katedra aplikované matematiky 1. června 2009 Úvod Cíle práce : Analýza Bertrandova paradoxu. Tvorba simulačního softwaru. Osnova 1 2 3 4 Osnova 1 2 3 4 Osnova 1 2 3 4 Osnova 1 2 3 4 V rovině je zadán kruh
Zásuvný modul QGISu. QGIS plugin pro práci s katastrálními daty
Zásuvný modul QGISu pro práci s katastrálními daty Anna Kratochvílová, Václav Petráš České vysoké učení technické v Praze Fakulta stavební 19. dubna 2012 Obsah 1 Úvod 2 Nástroje a knihovny 3 Funkcionalita
Komplexní analýza. Martin Bohata. Katedra matematiky FEL ČVUT v Praze Martin Bohata Komplexní analýza Mocninné řady 1 / 18
Komplexní analýza Mocninné řady Martin Bohata Katedra matematiky FEL ČVUT v Praze bohata@math.feld.cvut.cz Martin Bohata Komplexní analýza Mocninné řady 1 / 18 Posloupnosti komplexních čísel opakování
5. a 12. prosince 2018
Integrální počet Neurčitý integrál Seminář 9, 0 5. a. prosince 08 Neurčitý integrál Definice. Necht funkce f (x) je definovaná na intervalu I. Funkce F (x) se nazývá primitivní k funkci f (x) na I, jestliže
Martin Pergel. 26. února Martin Pergel
26. února 2017 Užitečné informace Navážeme na Programování I, změníme jazyk na C#, podrobnosti o C# budou v navazujícím kurzu, soustředíme se na totéž, co v zimě, tedy: technické programování, návrh a
Ústav teorie informace a automatizace. Tato prezentace je k dispozici na:
Aplikace bayesovských sítí Jiří Vomlel Ústav teorie informace a automatizace Akademie věd České republiky Tato prezentace je k dispozici na: http://www.utia.cas.cz/vomlel/ Obsah přednášky Podmíněná pravděpodobnost,
Funkce zadané implicitně. 4. března 2019
Funkce zadané implicitně 4. března 2019 Parciální derivace druhého řádu Parciální derivace druhého řádu funkce z = f (x, y) jsou definovány: Parciální derivace 2 f 2 = ( ) f 2 f 2 = ( ) f 2 f a 2 f 2 f
Powyższe reguły to tylko jedna z wersji gry. Istnieje wiele innych wariantów, można też ustalać własne zasady. Miłej zabawy!
Krykiet W krykieta może grać od 2 do 4 osób, którzy albo grają każdy przeciw każdemu, albo dzielą się na dwie drużyny. Bramki oraz palik startowy i powrotne umieszcza się tak, jak pokazano na rysunku.
Anna Kratochvílová Anna Kratochvílová (FJFI ČVUT) PDR ve zpracování obrazu / 17
Parciální diferenciální rovnice ve zpracování obrazu Anna Kratochvílová FJFI ČVUT 10. 6. 2009 Anna Kratochvílová (FJFI ČVUT) PDR ve zpracování obrazu 10. 6. 2009 1 / 17 Obsah 1 Motivace 2 Vyšetření pomocí
Co nám prozradí derivace? 21. listopadu 2018
Co nám prozradí derivace? Seminář sedmý 21. listopadu 2018 Derivace základních funkcí Tečna a normála Tečna ke grafu funkce f v bodě dotyku T = [x 0, f (x 0 )]: y f (x 0 ) = f (x 0 )(x x 0 ) Normála: y
Obsah. Zobrazení na osmistěn. 1 Zobrazení sféry po částech - obecné vlastnosti 2 Zobrazení na pravidelný konvexní mnohostěn
Obsah 1 2 3 Použití Zobrazení rozsáhlého území, ale hodnoty zkreslení nesmí přesáhnout určitou hodnotu Rozdělením území na menší části a ty pak zobrazíme zvlášť Nevýhodou jsou však samostatné souřadnicové
Internet a zdroje. (Zdroje na Internetu) Mgr. Petr Jakubec. Katedra fyzikální chemie Univerzita Palackého v Olomouci Tř. 17.
Internet a zdroje (Zdroje na Internetu) Mgr. Petr Jakubec Katedra fyzikální chemie Univerzita Palackého v Olomouci Tř. 17. listopadu 12 26. listopadu 2010 (KFC-INTZ) Databáze, citování 26. listopadu 2010
Představení projektu
Moderní zpřístupnění historických pramenů Představení projektu P. Král 1,2 K. Halla 3 R. Široký4 L. Lenc 2 J. Martínek 1 1 Katedra informatiky a výpočetní techniky, FAV ZČU v Plzni 2 Nové technologie pro
Inverzní Z-transformace
Modelování systémů a procesů (11MSP) Bohumil Kovář, Jan Přikryl, Miroslav Vlček Ústav aplikované matematiky ČVUT v Praze, Fakulta dopravní 9. přednáška 11MSP úterý 16. dubna 2019 verze: 2019-04-15 12:25
ZÁVĚREČNÁ KONFERENCE Poslanecká sněmovna PČR Praha 28. 4. 2014 MEZINÁRODNÍ DOTAZNÍKOVÉ ŠETŘENÍ ANKIETY MIEDZYNARODOWE
ZÁVĚREČNÁ KONFERENCE oslanecká sněmovna ČR raha 28. 4. 2014 MEZINÁRODNÍ DOTAZNÍKOVÉ ŠETŘENÍ ANKIETY MIEDZYNARODOWE ZÁKLADNÍ INFORMACE ODSTAWOWE INFORMACJE sběr dat proběhl v olsku a v České republice ankiety
Numerické metody minimalizace
Numerické metody minimalizace Než vám klesnou víčka - Stříbrnice 2011 12.2. 16.2.2011 Emu (Brkos 2011) Numerické metody minimalizace 12.2. 16.2.2011 1 / 19 Obsah 1 Úvod 2 Základní pojmy 3 Princip minimalizace
Expresivní deskripční logiky
Expresivní deskripční logiky Petr Křemen FEL ČVUT Petr Křemen (FEL ČVUT) Expresivní deskripční logiky 79 / 156 Co nás čeká 1 Inference v deskripčních logikách 2 Inferenční algoritmy Tablový algoritmus
ČVUT FEL, K October 1, Radek Mařík Ověřování modelů II October 1, / 39
Ověřování modelů II Radek Mařík ČVUT FEL, K13132 October 1, 2014 Radek Mařík (marikr@felk.cvut.cz) Ověřování modelů II October 1, 2014 1 / 39 Obsah 1 Temporální logiky LTL logika 2 Jazyk modelů Vlastnosti
Kristýna Kuncová. Matematika B2
(3) Průběh funkce Kristýna Kuncová Matematika B2 Kristýna Kuncová (3) Průběh funkce 1 / 26 Monotonie (x 2 ) = 2x (sin x) = cos x Jak souvisí derivace funkce a fakt, zda je funkce rostoucí nebo klesající?
Katedra kybernetiky laboratoř Inteligentní Datové Analýzy (IDA) Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti
Vytěžování dat Filip Železný Katedra kybernetiky laboratoř Inteligentní Datové Analýzy (IDA) Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti Filip Železný (ČVUT) Vytěžování dat 1 / 27
Logický agent, výroková logika
Logický agent, výroková logika leš Horák E-mail: hales@fi.muni.cz http://nlp.fi.muni.cz/uui/ Obsah: Logický agent Logika Výroková logika Inference důkazové metody Úvod do umělé inteligence 8/2 / 33 Logický
NÁVOD K POUŽITÍ KEZELÉSI KÉZIKÖNYV INSTRUKCJA OBSŁUGI NÁVOD NA POUŽÍVANIE. Česky. Magyar. Polski. Slovensky
CANON INC. 30-2 Shimomaruko 3-chome, Ohta-ku, Tokyo 146-8501, Japan Europe, Africa & Middle East CANON EUROPA N.V. PO Box 2262, 1180 EG Amstelveen, The Netherlands For your local Canon office, please refer
Reprezentace a vyvozování znalostí
Reprezentace a vyvozování znalostí Aleš Horák E-mail: hales@fi.muni.cz http://nlp.fi.muni.cz/uui/ Obsah: Reprezentace a vyvozování znalostí Logika rezoluční pravidlo Extralogické informace Pravidlové systémy
Reprezentace a vyvozování znalostí
Reprezentace a vyvozování znalostí Aleš Horák E-mail: hales@fi.muni.cz http://nlp.fi.muni.cz/uui/ Obsah: Reprezentace a vyvozování znalostí Pravidlové systémy Nejistota a pravděpodobnost Úvod do umělé
MATEMATIKA 3. Katedra matematiky a didaktiky matematiky Technická univerzita v Liberci
MATEMATIKA 3 Dana Černá http://www.fp.tul.cz/kmd/ Katedra matematiky a didaktiky matematiky Technická univerzita v Liberci Osnova: Komplexní funkce - definice, posloupnosti, řady Vybrané komplexní funkce
Matematika 2, vzorová písemka 1
Matematika 2, vzorová písemka Pavel Kreml 9.5.20 Přesun mezi obrazovkami Další snímek: nebo Enter. Zpět: nebo Shift + Enter 2 3 4 Doporučení Pokuste se vyřešit zadané úlohy samostatně. Pokud nebudete vědět
Obkládačky a dlaždičky Płytki ścienne i podłogowe: SIGHT šedá szary
SIGHT 2 Obkládačky a dlaždičky Płytki ścienne i podłogowe: SIGHT šedá szary SIGHT Fascinující design pro přirozený moderní akcent: SIGHT série obkládaček a dlaždiček ze slinutého materiálu vilbostone vytváří
Kristýna Kuncová. Matematika B2 18/19
(6) Určitý integrál Kristýna Kuncová Matematika B2 18/19 Kristýna Kuncová (6) Určitý integrál 1 / 28 Newtonův integrál Zdroj: https://kwcalculus.wikispaces.com/integral+applications Kristýna Kuncová (6)
Úvod do umělé inteligence, jazyk Prolog
Úvod do umělé inteligence, jazyk Prolog Aleš Horák E-mail: hales@fi.muni.cz http://nlp.fi.muni.cz/uui/ Obsah: Organizace předmětu PB016 Co je umělá inteligence Úvod do umělé inteligence 1/12 1 / 21 Organizace
Reprezentace a vyvozování znalostí.
Úvod do umělé inteligence Reprezentace a vyvozování znalostí E-mail: hales@fi.muni.cz http://nlp.fi.muni.cz/uui/ Obsah: Reprezentace a vyvozování znalostí Logika rezoluční pravidlo Extralogické informace
Stavový popis Stabilita spojitých systémů (K611MSAP) Katedra aplikované matematiky Fakulta dopravní ČVUT. čtvrtek 20. dubna 2006
Modelování systémů a procesů (K611MSAP) Přednáška 4 Katedra aplikované matematiky Fakulta dopravní ČVUT Pravidelná přednáška K611MSAP čtvrtek 20. dubna 2006 Obsah 1 Laplaceova transformace Přenosová funkce
Reprezentace a vyvozování znalostí
Reprezentace a vyvozování znalostí Aleš Horák E-mail: hales@fi.muni.cz http://nlp.fi.muni.cz/uui/ Obsah: Reprezentace a vyvozování znalostí Logika rezoluční pravidlo Extralogické informace Pravidlové systémy
Linea rnı (ne)za vislost
[1] Lineární (ne)závislost Skupiny, resp. množiny, vektorů mohou být lineárně závislé nebo lineárně nezávislé... a) zavislost, 3, b) P. Olšák, FEL ČVUT, c) P. Olšák 2010, d) BI-LIN, e) L, f) 2009/2010,
Geometrická nelinearita: úvod
Geometrická nelinearita: úvod Opakování: stabilita prutů Eulerovo řešení s využitím teorie 2. řádu) Stabilita prutů Ritzovou metodou Stabilita tenkých desek 1 Geometrická nelinearita Velké deformace průhyby,
Kombinatorika a grafy I
Kombinatorika a grafy I Martin Balko 1. přednáška 19. února 2019 Základní informace Základní informace úvodní kurs, kde jsou probrány základy kombinatoriky a teorie grafů ( pokračování diskrétní matematiky
Matematická analýza II pro kombinované studium. Konzultace první a druhá. RNDr. Libuše Samková, Ph.D. pf.jcu.cz
Učební texty ke konzultacím předmětu Matematická analýza II pro kombinované studium Konzultace první a druhá RNDr. Libuše Samková, Ph.D. e-mail: lsamkova@ pf.jcu.cz webová stránka: home.pf.jcu.cz/ lsamkova/
Katedra aplikované matematiky FEI VŠB Technická univerzita Ostrava
Lineární algebra 5. přednáška: Báze a řešitelnost soustav Dalibor Lukáš Katedra aplikované matematiky FEI VŠB Technická univerzita Ostrava email: dalibor.lukas@vsb.cz http://www.am.vsb.cz/lukas/la1 Text
IB047. Pavel Rychlý. 21. února
Úvod do korpusové lingvistiky a počítačové lexikografie pary@fi.muni.cz Centrum zpracování přirozeného jazyka 21. února 2018 Technické informace http://www.fi.muni.cz/ pary/ib047/ Technické informace http://www.fi.muni.cz/
K SAMOSTATNÉ MODULOVÉ SCHODY MONTÁŽI. asta
N O V I N K A K SAMOSTATNÉ MODULOVÉ SCHODY MONTÁŽI asta MODULOVÉ SCHODY asta...jsou nejnovějším výrobkem švédsko-polského koncernu, který se již 10 let specializuje na výrobu schodů různého typu. Jednoduchá
L 75270 FL L 75470 FL CS PRAČKA NÁVOD K POUŽITÍ 2 PL PRALKA INSTRUKCJA OBSŁUGI 34
L 75270 FL L 75470 FL CS PRAČKA NÁVOD K POUŽITÍ 2 PL PRALKA INSTRUKCJA OBSŁUGI 34 2 OBSAH 4 BEZPEČNOSTNÍ INFORMACE 6 POZNÁMKY K OCHRANĚ ŽIVOTNÍHO PROSTŘEDÍ 6 TECHNICKÉ INFORMACE 7 POPIS SPOTŘEBIČE 8 OVLÁDACÍ
Lineární algebra - iterační metody
Lineární algebra - iterační metody Numerické metody 7. dubna 2018 FJFI ČVUT v Praze 1 Úvod Úvod Rozdělení Metody Zastavení SOR Programy 1 Úvod Úvod - LAR Mějme základní úlohu A x = b, (1) kde A R n,n je
POLIURETANOWE SPRĘŻYNY NACISKOWE. POLYURETHANOVÉ TLAČNÉ PRUŽINY
POLIURETAOWE SPRĘŻYY ACISKOWE. POLYURETHAOVÉ TLAČÉ PRUŽIY Oferowane są wymiary wyrobów o różnych twardościach. Konstrukcja tych sprężyn umożliwia zastąpienie sprężyn tradycyjnych tam, gdzie korozja, wibracje,
Vybrané kapitoly z matematiky
Vybrané kapitoly z matematiky VŠB-TU Ostrava 2018-2019 Vybrané kapitoly z matematiky 2018-2019 1 / 11 Křivkový integrál Vybrané kapitoly z matematiky 2018-2019 2 / 11 Parametricky zadaná křivka v R 3 :
Logický agent, výroková logika
, výroková logika leš Horák E-mail: hales@fimunicz http://nlpfimunicz/uui/ Obsah: Logika Výroková logika Úvod do umělé inteligence 8/ / 30 znalosti prohledávání stavového prostoru jen zadané funkce (přechodová
Michal Mašek Genetické algoritmy v evoluční robotice
Univerzita Karlova v Praze Matematicko-fyzikální fakulta DIPLOMOVÁ PRÁCE Michal Mašek Genetické algoritmy v evoluční robotice Kabinet software a výuky informatiky Vedoucí diplomové práce: RNDr. František
Cauchyova úloha pro obyčejnou diferenciální rovnici
Řešení ODR v MATLABu Přednáška 3 15. října 2018 Cauchyova úloha pro obyčejnou diferenciální rovnici y = f (x, y), y(x 0 ) = y 0 Víme, že v intervalu a, b existuje jediné řešení. (f (x, y) a f y jsou spojité
Reprezentace dat. BI-PA1 Programování a Algoritmizace I. Ladislav Vagner
Reprezentace dat BI-PA1 Programování a Algoritmizace I. Ladislav Vagner Katedra teoretické informatiky Fakulta informačních technologíı ČVUT v Praze xvagner@fit.cvut.cz 9., 11. a 12. října 2017 Obsah Dvojková
Kybernetika a umělá inteligence. Gerstnerova laboratoř katedra kybernetiky. Daniel Novák
Kybernetika a umělá inteligence 2. Strojové učení laboratory Gerstner Gerstnerova laboratoř katedra kybernetiky České vysoké učení technické v Praze Daniel Novák Poděkování: Filip Železný Shrnutí minulé
Obsah: CLP Constraint Logic Programming. Úvod do umělé inteligence 6/12 1 / 17
Problémy s omezujícími podmínkami Aleš Horák E-mail: hales@fi.muni.cz http://nlp.fi.muni.cz/uui/ Obsah: Průběžná písemná práce Problémy s omezujícími podmínkami Úvod do umělé inteligence 6/12 1 / 17 Průběžná
Matematika III Stechiometrie stručný
Matematika III Stechiometrie stručný matematický úvod Miroslava Dubcová, Drahoslava Janovská, Daniel Turzík Ústav matematiky Přednášky LS 2015-2016 Obsah 1 Zápis chemické reakce 2 umožňuje jednotný přístup
Jednoduchá zobrazení. Podpořeno z projektu FRVŠ 584/2011.
Podpořeno z projektu FRVŠ 584/2011. Obsah 1 2 Obsah 1 2 Společné vlastnosti jednoduchých zobrazení: Zobrazovací ref. plocha je rovina - souřadnice X, Y, případně ρ, ɛ Zobrazovaná ref. plocha je eliposid
Rekrutacja List Motywacyjny
- Początek Szanowny Panie, Vážený pane, Formalny, odbiorcą jest mężczyzna, którego nazwiska nie znamy. Zamiennie możemy użyć jednego z dwóch zwrotów formalnych Vážená paní, Formalny, odbiorcą jest kobieta,
Obsah. Limita posloupnosti a funkce. Petr Hasil. Limita posloupnosti. Pro a R definujeme: Je-li a < 0, pak a =, a ( ) =. vlastní body.
Obsah a funkce Petr Hasil Přednáška z Matematické analýzy I Úvod 2 c Petr Hasil (MUNI) a funkce Matematická analýza / 90 c Petr Hasil (MUNI) a funkce Matematická analýza 2 / 90 Úvod Úvod Pro a R definujeme:
TGH01 - Algoritmizace
TGH01 - Algoritmizace Jan Březina Technical University of Liberec 31. března 2015 Metainformace materiály: jan.brezina.matfyz.cz/vyuka/tgh (./materialy/crls8.pdf - Introduction to algorithms) SPOX: tgh.spox.spoj.pl
TGH01 - Algoritmizace
TGH01 - Algoritmizace Jan Březina Technical University of Liberec 28. února 2017 Co je to algoritmus? Porovnávání algoritmů Porovnávání algoritmů Co je to algoritmus? Který algoritmus je lepší? Záleží
FAVORIT 45002. Instrukcja obsługi
FAVORIT 45002 Návod k použití Instrukcja obsługi Návod na používanie Myčka nádobí Zmywarka Umývačka riadu 2 Obsah Děkujeme, že jste si vybrali jeden z našich vysoce kvalitních výrobků. Přečtěte si prosím
(2) Funkce. Kristýna Kuncová. Matematika B2. Kristýna Kuncová (2) Funkce 1 / 25
(2) Funkce Kristýna Kuncová Matematika B2 Kristýna Kuncová (2) Funkce 1 / 25 Sudá a lichá funkce Určete, které funkce jsou sudé a které liché: liché: A, D, E sudé: B Kristýna Kuncová (2) Funkce 2 / 25
PVM. Luděk Matyska. Jaro Fakulta informatiky MU. Luděk Matyska (FI MU) PVM Jaro / 19
IA039: Architektura superpočítačů a náročné výpočty PVM Luděk Matyska Fakulta informatiky MU Jaro 2014 Luděk Matyska (FI MU) PVM Jaro 2014 1 / 19 Základní vlastnosti Parallel Virtual Machine (PVM) Vyvinut
Úvod do umělé inteligence Prohledávání stavového prostoru -mail: hales@fi.muni.cz http://nlp.fi.muni.cz/uui/ bsah: Problém osmi dam Prohledávání stavového prostoru Prohledávání do hloubky Prohledávání
Zpracování digitalizovaného obrazu (ZDO) - Klasifikace
Zpracování digitalizovaného obrazu (ZDO) - Klasifikace Přehled klasifikačních metod Ing. Zdeněk Krňoul, Ph.D. Katedra Kybernetiky Fakulta aplikovaných věd Západočeská univerzita v Plzni Zpracování digitalizovaného
GENETICKÉ PROGRAMOVÁNÍ S JAZYKEM BRAINFUCK
VYSOKÉ UČENÍ TECHNICKÉ V BRNĚ BRNO UNIVERSITY OF TECHNOLOGY FAKULTA INFORMAČNÍCH TECHNOLOGIÍ ÚSTAV POČÍTAČOVÝCH SYSTÉMŮ FACULTY OF INFORMATION TECHNOLOGY DEPARTMENT OF COMPUTER SYSTEMS GENETICKÉ PROGRAMOVÁNÍ
Statistika (KMI/PSTAT)
Statistika (KMI/PSTAT) Cvičení deváté aneb Důležitá rozdělení pravděpodobnosti spojité náhodné veličiny Statistika (KMI/PSTAT) 1 / 15 Spojitá náhodná veličina Spojitá náhodná veličina Spojitá náhodná veličina
Stochastické modelování v ekonomii a financích Konzistence odhadu LWS. konzistence OLS odhadu. Předpoklady pro konzistenci LWS
Whitův pro heteroskedasticitě pro heteroskedasticitě Stochastické modelování v ekonomii a financích 7. 12. 2009 Obsah Whitův pro heteroskedasticitě pro heteroskedasticitě 1 Whitův 2 pro 3 heteroskedasticitě
Západočeská univerzita v Plzni. Fakulta aplikovaných věd. Katedra kybernetiky
Západočeská univerzita v Plzni Fakulta aplikovaných věd Katedra kybernetiky BAKALÁŘSKÁ PRÁCE PLZEŇ, 2018 JAN BENEŠ Před svázáním místo této stránky vložit zadání práce s podpisem děkana. PROHLÁŠENÍ Předkládám
návod k použití instrukcja obsługi manual de instruções návod na používanie
návod k použití instrukcja obsługi manual de instruções návod na používanie Myčka nádobí Zmywarka Máquina de lavar loiça Umývačka ESI 67070 2 electrolux Obsah Electrolux. Thinking of you. Více o nás naleznete
Průvodce studiem V této kapitole se budeme zabývat diferenciálním počtem pro funkce více
5 Diferenciální počet funkcí více proměnných Průvodce studiem V této kapitole se budeme zabývat diferenciálním počtem pro funkce více proměnných, především budeme pracovat s funkcemi dvou proměnných Ukážeme
Komplexní analýza. Martin Bohata. Katedra matematiky FEL ČVUT v Praze Martin Bohata Komplexní analýza Úvod 1 / 32
Komplexní analýza Úvod Martin Bohata Katedra matematiky FEL ČVUT v Praze bohata@math.feld.cvut.cz Martin Bohata Komplexní analýza Úvod 1 / 32 Základní informace Stránky předmětu: http://math.feld.cvut.cz/bohata/kan.html
Přehled aplikací matematického programovaní a
Přehled aplikací matematického programovaní a operačního výzkumu Martin Branda Matematicko-fyzikální fakulta Univerzita Karlova v Praze Výpočetní aspekty optimalizace Martin Branda (KPMS MFF UK) 1 / 15
Malá ochutnávka z kuchyně IES nejen pro přijaté studenty. Martin Gregor. 5. června 2014
Co (nového) Vás čeká na IES? Malá ochutnávka z kuchyně IES nejen pro přijaté studenty Institut ekonomických studíı FSV UK 5. června 2014 Šance na přijetí Hlavním kritériem je kombinovaný percentil 60%
Polsko czeskie spotkania europejskie w Kaletach LOGO. Projekty Miast Partnerskich. Kalety Vitkov 2010-2014. www.kalety.pl. www.vitkov.
Polsko czeskie spotkania europejskie w Kaletach Projekty Miast Partnerskich Kalety Vitkov www.kalety.pl 2010-2014 www.vitkov.info LOGO Listopad 2010 - czerwiec 2011 Projekt Zwyczaje i obyczaje (Zvyky a
FAVORIT 78400 I CS MYČKA NÁDOBÍ NÁVOD K POUŽITÍ 2 PL ZMYWARKA INSTRUKCJA OBSŁUGI 23 SK UMÝVAČKA NÁVOD NA POUŽÍVANIE 46
FAVORIT 78400 I CS MYČKA NÁDOBÍ NÁVOD K POUŽITÍ 2 PL ZMYWARKA INSTRUKCJA OBSŁUGI 23 SK UMÝVAČKA NÁVOD NA POUŽÍVANIE 46 2 PRO DOKONALÉ VÝSLEDKY Děkujeme vám, že jste si zvolili výrobek značky AEG. Aby vám
Určitý (Riemannův) integrál a aplikace. Nevlastní integrál. 19. prosince 2018
Určitý (Riemnnův) integrál plikce. Nevlstní integrál Seminář 9. prosince 28 Určitý integrál Existence: Necht funkce f (x) je definovná n uzvřeném intervlu, b. Necht je splněn n tomto intervlu kterákoliv
x2 + 2x 15 x 2 + 4x ) f(x) = x 2 + 2x 15 x2 + x 12 3) f(x) = x 3 + 3x 2 10x. x 3 + 3x 2 10x x 2 + x 12 10) f(x) = log 2.
Příklady k 1 zápočtové písemce Definiční obor funkce Určete definiční obor funkce: x + x 15 1 f(x x + x 1 ( x + x 1 f(x log x + x 15 x + x 1 3 f(x x 3 + 3x 10x ( x 3 + 3x 10x f(x log x + x 1 x3 + 5x 5
Rovnice proudění Slapový model
do oceánského proudění Obsah 1 2 3 Co způsobuje proudění v oceánech? vyrovnávání rozdílů v teplotě, salinitě, tlaku, ρ = ρ(p, T, S) vítr - wind stress F wind = ρ air C D AU 2 10 slapy produkují silné proudy,
Populační algoritmy a jejich uplatnění pro segmentaci obrazu. Pavel Jedlička
Populační algoritmy a jejich uplatnění pro segmentaci obrazu Pavel Jedlička P R O H L Á Š E N Í Předkládám tímto k posouzení a obhajobě diplomovou práci zpracovanou na závěr studia na Fakultě aplikovaných
BRNO UNIVERSITY OF TECHNOLOGY FACULTY OF INFORMATION TECHNOLOGY DEPARTMENT OF COMPUTER GRAPHICS AND MULTIMEDIA MASTER S THESIS AUTHOR
VYSOKÉ UČENÍ TECHNICKÉ V BRNĚ BRNO UNIVERSITY OF TECHNOLOGY FAKULTA INFORMAČNÍCH TECHNOLOGIÍ ÚSTAV POČÍTAČOVÉ GRAFIKY A MULTIMÉDIÍ FACULTY OF INFORMATION TECHNOLOGY DEPARTMENT OF COMPUTER GRAPHICS AND
F88030VI. Instrukcja obsługi
F88030VI Návod k použití Instrukcja obsługi Návod na používanie Myčka nádobí Zmywarka Umývačka riadu 2 Obsah Děkujeme, že jste si vybrali jeden z našich vysoce kvalitních výrobků. Přečtěte si prosím pozorně
Petr Křemen FEL ČVUT. Petr Křemen (FEL ČVUT) Vysvětlování modelovacích chyb 133 / 156
Vysvětlování modelovacích chyb Petr Křemen FEL ČVUT Petr Křemen (FEL ČVUT) Vysvětlování modelovacích chyb 133 / 156 Co nás čeká 1 Konjunktivní dotazy 2 Vyhodnocování konjunktivních dotazů v jazyce ALC
z geoinformatických dat
z geoinformatických dat 30. listopadu 2012 Rozvoj aplikačního potenciálu (RAPlus) CZ.1.07/2.4.00/17.0117 Dvě DN na úseku Příklad Najděte mezní situaci pro dvě DN na úseku délky L metrů tak, aby se ještě
GENETICKÉM PROGRAMOVÁNÍ
VYSOKÉ UČENÍ TECHNICKÉ V BRNĚ BRNO UNIVERSITY OF TECHNOLOGY FAKULTA INFORMAČNÍCH TECHNOLOGIÍ ÚSTAV POČÍTAČOVÝCH SYSTÉMŮ FACULTY OF INFORMATION TECHNOLOGY DEPARTMENT OF COMPUTER SYSTEMS SOUTĚŽIVÁ KOEVOLUCE
katedra informatiky FEI VŠB-TU Ostrava etr Šaloun (katedra informatiky FEI VŠB-TU Ostrava) Začínáme s C/C září / 25
Začínáme s C/C++ Petr Šaloun katedra informatiky FEI VŠB-TU Ostrava 26. září 2005 etr Šaloun (katedra informatiky FEI VŠB-TU Ostrava) Začínáme s C/C++ 26. září 2005 1 / 25 Základní pojmy Algoritmus jasný,
FAVORIT 60660. naczyń
FAVORIT 60660 Návod k použití Instrukcja obsługi Návod na používanie Myčka nádobí Zmywarka do naczyń Umývačka riadu 2 Obsah Děkujeme, že jste si vybrali jeden z našich vysoce kvalitních výrobků. Přečtěte
fakulty MENDELU v Brně (LDF) s ohledem na disciplíny společného základu (reg. č. CZ.1.07/2.2.00/28.
Extrémy Vyšší matematika, Inženýrská matematika LDF MENDELU Podpořeno projektem Průřezová inovace studijních programů Lesnické a dřevařské fakulty MENDELU v Brně (LDF) s ohledem na disciplíny společného
Návod k použití ovládacího panelu GZ-539 Serie
Návod k použití ovládacího panelu ANITA B, sro Průmyslová 2453/7 680 01 Boskovice Czech Republic tel: +420 516 454 774 +420 516 453 496 fax: +420 516 452 751 e-mail: info@anitacz OBSAH I Ovládací panel