Základy algebraických specifikací
|
|
- Miloš Bílek
- před 4 lety
- Počet zobrazení:
Transkript
1 Základy algebraických specifikací Jiří Velebil: A7B01MCS 21. listopadu 2011: Základy algebraických specifikací 1/19
2 Příklad (Připomenutí) Řešení rovnice ax = b, a 0, probíhá stejně v Q, v R, v C, i v jakémkoli Z p, p prvočíslo. (Jde o tělesa!) ax = b (a má inversi a násobení je operace) a 1 (ax) = a 1 b (násobení je asociativní) (a 1 a) x = a 1 b (a 1 a = 1) 1 x = a 1 b (1 je neutrální k násobení) x = a 1 b Polymorfní algoritmus, protože pracujeme s modely abstraktního datového typu (ADT) těleso. Jiří Velebil: A7B01MCS 21. listopadu 2011: Základy algebraických specifikací 2/19
3 Příklad (Specifikace seznamů jako ADT) 1 spec LIST is 2 sorts: list 3 operations: nil: --> list; 4 _#_:list,list --> list 5 variables: x,y,z:list 6 equations: x#nil=x; 7 nil#x=x; 8 x#(y#z)=(x#y)#z 9 endspec Jiří Velebil: A7B01MCS 21. listopadu 2011: Základy algebraických specifikací 3/19
4 Příklad (Specifikace zásobníků jako ADT) 1 spec STACK is 2 sorts: alphabet, stack 3 operations: a1: --> alphabet; 4 a2: --> alphabet; 5 a3: --> alphabet; 6 a4: --> alphabet; 7 nil: --> stack; 8 pop(_): stack --> stack; 9 push(_,_): alphabet,stack --> stack 10 variables: x:alphabet, s:stack 11 equations: pop(nil)=nil; 12 pop(push(x,s))=s 13 endspec Jiří Velebil: A7B01MCS 21. listopadu 2011: Základy algebraických specifikací 4/19
5 Zápis je pseudokód, připomínající specifikační jazyk OBJ3. Viz například 1 K. Richta a J. Velebil, Sémantika programovacích jazyků, Karolinum, Praha J. A. Goguen, D. Coleman a R. Gallimore (eds.), Applications of Algebraic Specification Using OBJ, Cambridge University Press, Předmět Prototypování algebraických specifikací, katedra počítačů. Jiří Velebil: A7B01MCS 21. listopadu 2011: Základy algebraických specifikací 5/19
6 Další specifikační jazyky 1 CASL (Common Algebraic Specification Language), viz a řada dalších. Možná literatura 1 W. Wechler, Universal Algebra for Computer Scientists, Springer-Verlag, Berlin, 1992 Jiří Velebil: A7B01MCS 21. listopadu 2011: Základy algebraických specifikací 6/19
7 Problémy: 1 Co je operace? Co je rovnice? 2 Co je model rovnicové specifikace? 3 Jak modely porovnávat? 4 Co je zamýšlená sémantika rovnicové specifikace? Odpovědi: 1 Operace jsou popsány finitárním typem. Rovnice jsou dvojice termů. 2 Modelem rovnicové specifikace je algebra daného typu, která splňuje dané rovnice. 3 Modely porovnáváme pomocí homomorfismů algeber. 4 Zamýšlená sémantika je iniciální algebra (doktrína no-junk-no-confusion). Jiří Velebil: A7B01MCS 21. listopadu 2011: Základy algebraických specifikací 7/19
8 Příklad (Nejjednodušší jednosortová specifikace) spec NO_OPERATIONS is sorts: something endspec 1 Jedna sorta, žádné operace, žádné rovnice. 2 Model je jakákoli množina: X 3 Homomorfismus modelů je jakékoli zobrazení x f (x) X f Y Jiří Velebil: A7B01MCS 21. listopadu 2011: Základy algebraických specifikací 8/19
9 Příklad (Abstraktní násobení bez axiomů specifikace grupoidu) spec BINARY is sorts: binary operations: _*_:binary,binary --> binary endspec 1 Jedna sorta, jedna binární operace, žádné rovnice. 2 Model je jakákoli množina, vybavena binární operací: Modelu říkáme grupoid. X X X X Jiří Velebil: A7B01MCS 21. listopadu 2011: Základy algebraických specifikací 9/19
10 Příklad (grupoidy, pokrač.) 3 Homomorfismus modelů je jakékoli zobrazení, které respektuje dané operace: (x, x ) (f (x), f (x )) X X f f Y Y X X f Y Y x X x f (x X x ) f (x) Y f (x ) Jiří Velebil: A7B01MCS 21. listopadu 2011: Základy algebraických specifikací 10/19
11 Příklad (Grupoidy) 1 Na X = existuje jediná binární operace, prázdné zobrazení :. Proto, je příklad grupoidu. 2 Na X = {a, b, c} definujeme binární operaci takto: x X y = x pro všechna x, y X. Popis X tabulkou: X a b c a a a a b b b b c c c c Je-li x v i-tém řádku a y v j-tém sloupci tabulky, pak v položce (i, j) je zapsán výsledek x X y. Dvojice X, X je grupoid. Jiří Velebil: A7B01MCS 21. listopadu 2011: Základy algebraických specifikací 11/19
12 Příklad (Grupoidy, pokrač.) 3 Ať X je množina všech zobrazení z {0, 1} do {0, 1}. Množina X má čtyři prvky: f 1 : 0 0 f 2 : f 3 : 0 1 f 4 : Skládání funkcí je binární operace na množině X, a proto je X, grupoid. Příslušná tabulka je: f 1 f 2 f 3 f 4 f 1 f 1 f 2 f 3 f 4 f 2 f 2 f 2 f 2 f 2 f 3 f 3 f 3 f 3 f 3 f 4 f 4 f 3 f 2 f 1 Jiří Velebil: A7B01MCS 21. listopadu 2011: Základy algebraických specifikací 12/19
13 Asociativita, komutativita, neutralita Abstraktní výpočty Definice (Vlastnosti abstraktního násobení) Ať je binární operace na množině X. 1 Operace je asociativní, pokud pro všechna x, y, z X platí rovnost x (y z) = (x y) z. 2 Operace je komutativní, pokud pro všechna x, y X platí rovnost x y = y x. 3 Prvek e l je levý neutrální prvek operace, pokud pro všechna x X platí rovnost e l x = x. 4 Prvek e r je pravý neutrální prvek operace, pokud pro všechna x X platí rovnost x e r = x. 5 Prvek e je neutrální prvek operace, pokud je pravým i levým neutrálním prvkem, tj. když pro všechna x X platí rovnost e x = x e = x. Jiří Velebil: A7B01MCS 21. listopadu 2011: Základy algebraických specifikací 13/19
14 Asociativita, komutativita, neutralita Abstraktní výpočty Příklad Operace X : X a b c a a a a b b b b c c c c 1 Je asociativní, protože podle definice pro všechna x, y, z {a, b, c} platí x X (y X z) = x a (x X y) X z = x X z = x. 2 Není komutativní, protože například platí a = a X b b X a = b. 3 Každý prvek množiny {a, b, c} je pravým neutrálním prvkem operace X : například a je pravý neutrální prvek, protože pro všechna x {a, b, c} platí x X a = x. Podobně: b i c jsou pravé neutrální prvky. Jiří Velebil: A7B01MCS 21. listopadu 2011: Základy algebraických specifikací 14/19
15 Asociativita, komutativita, neutralita Abstraktní výpočty Příklad (pokrač.) 4 Operace X nemá žádný levý neutrální prvek, a tudíž žádný neutrální prvek. Příklad Na množině N definujeme: n m = n m. Protože platí 2 27 = 2 (3 3) (2 3) 3 = 2 9 není binární operace asociativní. Jiří Velebil: A7B01MCS 21. listopadu 2011: Základy algebraických specifikací 15/19
16 Asociativita, komutativita, neutralita Abstraktní výpočty Příklad abstraktního výpočtu: Lemma Jestliže binární operace na množině X má levý neutrální prvek e l a pravý neutrální prvek e r, pak platí e l = e r. Důkaz. e l x = x pro všechna x X (protože e l je levý neutrální). Speciálně: e l e r = e r. Ale e l = e l e r (protože e r je pravý neutrální). Celkem: e l = e r. Jiří Velebil: A7B01MCS 21. listopadu 2011: Základy algebraických specifikací 16/19
17 Asociativita, komutativita, neutralita Abstraktní výpočty Další příklad abstraktního výpočtu: Lemma Každá binární operace má nanejvýš jeden neutrální prvek. Důkaz. Pokud e a e jsou neutrální prvky, potom e je pravý neutrální prvek a e je levý neutrální prvek, a proto podle předchozího musí platit rovnost e = e. Jiří Velebil: A7B01MCS 21. listopadu 2011: Základy algebraických specifikací 17/19
18 Asociativita, komutativita, neutralita Abstraktní výpočty Ve zbytku semestru vybudujeme 1 Rozumné násobení: ADT, ve kterém jdou dobře řešit lineární rovnice. Výsledný ADT = grupa. 2 Ukážeme různé aplikace grup v matematice a informatice. Jiří Velebil: A7B01MCS 21. listopadu 2011: Základy algebraických specifikací 18/19
19 Asociativita, komutativita, neutralita Abstraktní výpočty Použitá metoda = refinement ADT 1 Začneme se základním (velmi jednoduchým) ADT. 2 Postupně přidáváme sorty, operace, rovnice (= zjemňování původního ADT). Ve specifikačních jazycích = import jednoduššího ADT do výsledného složitějšího ADT. 3 Problémy: 1 Nedojde ke kolizi starého ADT s novým ADT? 2 Nepřidáváme zbytečně mnoho operací, rovnic? 3 Změní se homomorfismy nového ADT? Pokud ano, jak? 4... a řada dalších. Jiří Velebil: A7B01MCS 21. listopadu 2011: Základy algebraických specifikací 19/19
Jednoduché specifikace
Jednoduché specifikace Jiří Velebil: X01DML 10. prosince 2010: Jednoduché specifikace 1/19 Příklad (Připomenutí) Řešení rovnice ax = b, a 0, probíhá stejně v Q, v R, v C, i v jakémkoli Z p, p prvočíslo.
VíceOdpřednesenou látku naleznete v kapitolách skript Abstraktní a konkrétní lineární algebra.
nad obecným tělesem a lineární kombinace Odpřednesenou látku naleznete v kapitolách 1.1 1.4 skript Abstraktní a konkrétní lineární algebra. Jiří Velebil: A7B01LAG 1.10.2015: 1/20 nad obecným tělesem Co
VíceOkruh Lineární rovnice v Z m Těleso Gaussova eliminace (GEM) Okruh Z m. Jiří Velebil: X01DML 19. listopadu 2007: Okruh Z m 1/20
Okruh Z m Jiří Velebil: X01DML 19. listopadu 2007: Okruh Z m 1/20 Minule: 1 Slepování prvků Z modulo m: množina Z m. 2 Operace na Z m : m (sčítání), m (násobení). 3 Speciální prvky: [0] m a [1] m. 4 Vlastnosti
VíceAritmetika s didaktikou I.
Katedra matematiky PF UJEP Aritmetika s didaktikou I. KM1 / 0001 Přednáška 10 Dělení se zbytkem O čem budeme hovořit: Binární operace dělení se zbytkem v N Struktury zbytkových tříd podle modulu Seznámíme
VíceTeoretická informatika Tomáš Foltýnek foltynek@pef.mendelu.cz. Algebra Struktury s jednou operací
Teoretická informatika Tomáš Foltýnek foltynek@pef.mendelu.cz Algebra Struktury s jednou operací Teoretická informatika 2 Proč zavádíme algebru hledáme nástroj pro popis objektů reálného světa (zejména
VíceÚvod do lineární algebry
Úvod do lineární algebry Tomáš Matoušek Tělesa, vektorové prostory Definice. Tělesem nazveme množinu M, na které jsou definována zobrazení, : M M M(binární operace) splňující následující axiomy: (1) (
VíceHlubší věty o počítání modulo
Hlubší věty o počítání modulo Jiří Velebil: A7B01MCS 31. října 2011: Hlubší věty o počítání modulo 1/18 Příklad Vyřešte: Idea řešení: x = 3 v Z 4 x = 2 v Z 5 x = 6 v Z 21 x = 3 + 2 + 6 Musí být: 1 První
VíceINVESTICE DO ROZVOJE VZDĚLÁVÁNÍ. Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.
INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.0141 Relace, zobrazení, algebraické struktury Michal Botur Přednáška
VíceV předchozí kapitole jsme podstatným způsobem rozšířili naši představu o tom, co je to číslo. Nadále jsou pro nás důležité především vlastnosti
Kapitola 5 Vektorové prostory V předchozí kapitole jsme podstatným způsobem rozšířili naši představu o tom, co je to číslo. Nadále jsou pro nás důležité především vlastnosti operací sčítání a násobení
VíceOdpřednesenou látku naleznete v kapitole 3.1 skript Abstraktní a konkrétní lineární algebra.
Odpřednesenou látku naleznete v kapitole 3.1 skript Abstraktní a konkrétní lineární algebra. Jiří Velebil: Lineární algebra 14.10.2016: 1/13 Minulé přednášky 1 Lineární kombinace. 2 Definice lineárního
Více1 Zobrazení 1 ZOBRAZENÍ 1. Zobrazení a algebraické struktury. (a) Ukažte, že zobrazení f : x
1 ZOBRAZENÍ 1 Zobrazení a algebraické struktury 1 Zobrazení Příklad 1.1. (a) Ukažte, že zobrazení f : x na otevřený interval ( 1, 1). x x +1 je bijekce množiny reálných čísel R (b) Necht a, b R, a < b.
VíceTeorie grup 1 Příklad axiomatické teorie
Teorie grup 1 Příklad axiomatické teorie Alena Šolcová 1 Binární operace Binary operation Binární operací na neprázdné množině A rozumíme každé zobrazení kartézského součinu A x A do A. Multiplikativní
VíceStřípky z LA Letem světem algebry
Střípky z LA Letem světem algebry Jaroslav Horáček Pojem Algebra Laicky řečeno algebra je struktura na nějaké množině, společně s nějakými operacemi, které splňují určité vlastnosti. Případy algebry lineární
VíceAlgebraické struktury s jednou binární operací
16 Kapitola 1 Algebraické struktury s jednou binární operací 1.1 1. Grupoid, pologrupa, monoid a grupa Chtěli by jste vědět, co jsou to algebraické struktury s jednou binární operací? No tak to si musíte
VíceVěta o dělení polynomů se zbytkem
Věta o dělení polynomů se zbytkem Věta. Nechť R je okruh, f, g R[x], přičemž vedoucí koeficient polynomu g 0 je jednotka okruhu R. Pak existuje jediná dvojice polynomů q, r R[x] taková, že st(r) < st(g)
Vícegrupa těleso podgrupa konečné těleso polynomy komutativní generovaná prvkem, cyklická, řád prvku charakteristika tělesa
grupa komutativní podgrupa těleso generovaná prvkem, cyklická, řád prvku Malá Fermatova věta konečné těleso charakteristika tělesa polynomy ireducibilní prvky, primitivní prvky definice: G, je grupa kde
VíceCo je to univerzální algebra?
Co je to univerzální algebra? Při studiu řadu algebraických struktur (grupoidy, pologrupy, grupy, komutativní grupy, okruhy, obory integrity, tělesa, polosvazy, svazy, Booleovy algebry) se často některé
VíceOdpřednesenou látku naleznete v kapitole 3.3 skript Diskrétní matematika.
Lineární kódy, část 2 Odpřednesenou látku naleznete v kapitole 3.3 skript Diskrétní matematika. Jiří Velebil: A7B01LAG 22.12.2014: Lineární kódy, část 2 1/12 Dnešní přednáška 1 Analýza Hammingova (7, 4)-kódu.
VíceLineární algebra Kapitola 1 - Základní matematické pojmy
Lineární algebra Kapitola 1 - Základní matematické pojmy 1.1 Relace a funkce V celém textu budeme používat následující označení pro číselné množiny: N množina všech přirozených čísel bez nuly, N={1, 2,
VíceMatematika pro informatiku 1
Matematika pro informatiku 1 Alena Šolcová katedra teoretické informatiky Fakulta informačních technologií ČVUT Evropský sociální fond Investujeme do vaší budoucnosti Přednášející Ing. Karel Klouda, Ph.
VíceZáklady elementární teorie čísel
Základy elementární teorie čísel Jiří Velebil: A7B01MCS 3. října 2011: Základy elementární teorie čísel 1/15 Dělení se zbytkem v oboru celých čísel Ať a, b jsou libovolná celá čísla, b 0. Pak existují
VíceZápadočeská univerzita v Plzni
Západočeská univerzita v Plzni FAKULTA PEDAGOGICKÁ KATEDRA MATEMATIKY ALGEBRAICKÉ STRUKTURY S JEDNOU BINÁRNÍ OPERACÍ A JEJICH ZOBRAZENÍ BAKALÁŘSKÁ PRÁCE Marie Černá Přírodovědná studia, Matematická studia
VíceALGEBRA. Téma 4: Grupy, okruhy a pole
SLEZSKÁ UNIVERZITA V OPAVĚ Matematický ústav v Opavě Na Rybníčku 1, 746 01 Opava, tel. (553) 684 611 DENNÍ STUDIUM Téma 4: Grupy, okruhy a pole Základní pojmy unární operace, binární operace, asociativita,
VíceHlubší věty o počítání modulo
Hlubší věty o počítání modulo Jiří Velebil: X01DML 3. prosince 2007: Hlubší věty o počítání modulo 1/17 Příklad Vyřešte: Idea řešení: x = 3 v Z 4 x = 2 v Z 5 x = 6 v Z 21 x = 3 + 2 + 6 Musí být: 1 První
VíceTransformace souřadnic
Transformace souřadnic Odpřednesenou látku naleznete v kapitolách 8.2 a 8.3 skript Abstraktní a konkrétní lineární algebra. Jiří Velebil: A7B01AG 5.11.2015: Transformace souřadnic 1/17 Minulá přednáška
VíceLineární algebra : Úvod a opakování
Lineární algebra : Úvod a opakování (1. přednáška) František Štampach, Karel Klouda LS 013/014 vytvořeno: 19. února 014, 13:15 1 0.1 Lineární prostory R a R 3 V této přednášce si na jednoduchém příkladu
Víceoznačme j = (0, 1) a nazvěme tuto dvojici imaginární jednotkou. Potom libovolnou (x, y) = (x, 0) + (0, y) = (x, 0) + (0, 1)(y, 0) = x + jy,
Komplexní čísla Množinu všech uspořádaných dvojic (x, y) reálných čísel x, y nazýváme množinou komplexních čísel C, jestliže pro každé dvě takové dvojice (x, y ), (x 2, y 2 ) je definována rovnost, sčítání
VíceRelace a kongruence modulo
Relace a kongruence modulo Jiří Velebil: A7B01MCS 10. října 2011: Relace a kongruence modulo 1/19 Definice Binární relace R na množině A je podmnožina R A A. Píšeme x R y (čteme: x je v relaci R s y) místo
Více7 Analytické vyjádření shodnosti
7 Analytické vyjádření shodnosti 7.1 Analytická vyjádření shodných zobrazení v E 2 Osová souměrnost Osová souměrnost O(o) podle osy o s obecnou rovnicí o : ax + by + c =0: x = x 2a (ax + by + c) a 2 +
VíceOdpřednesenou látku naleznete v dodatku A skript Abstraktní a konkrétní lineární algebra.
Perfektní lineární kódy Odpřednesenou látku naleznete v dodatku A skript Abstraktní a konkrétní lineární algebra. Jiří Velebil: B6B01LAG 18.5.2016: Perfektní lineární kódy 1/18 Minulé přednášky 1 Detekce
VíceCyklické grupy a grupy permutací
Cyklické grupy a grupy permutací Jiří Velebil: A7B01MCS 5. prosince 2011: Cyklické grupy, permutace 1/26 Z minula: grupa je důležitý ADT Dnešní přednáška: hlubší pohled na strukturu konečných grup. Aplikace:
VíceZákladní pojmy. Úvod do programování. Základní pojmy. Zápis algoritmu. Výraz. Základní pojmy
Úvod do programování Michal Krátký 1,Jiří Dvorský 1 1 Katedra informatiky VŠB Technická univerzita Ostrava Úvod do programování, 2004/2005 Procesor Procesorem je objekt, který vykonává algoritmem popisovanou
VíceMatice. a m1 a m2... a mn
Matice Nechť (R, +, ) je okruh a nechť m, n jsou přirozená čísla Matice typu m/n nad okruhem (R, +, ) vznikne, když libovolných m n prvků z R naskládáme do obdélníkového schematu o m řádcích a n sloupcích
VíceVysoké učení technické v Brně Fakulta informačních technologií. Regulární pologrupy. Semestrální práce do předmětu Algebra, Kombinatorika, Grafy
Vysoké učení technické v Brně Fakulta informačních technologií Regulární pologrupy Semestrální práce do předmětu Algebra, Kombinatorika, Grafy Tomáš Masopust Brno, 2006 Obsah Úvod 1 1 Základní definice
VíceMatematický ústav Slezské univerzity v Opavě Učební texty k přednášce ALGEBRA I, zimní semestr 2000/2001 Michal Marvan. 2.
Matematický ústav Slezské univerzity v Opavě Učební texty k přednášce ALGEBRA I, zimní semestr 2000/2001 Michal Marvan 2. Homomorfismy V souvislosti se strukturami se v moderní matematice studují i zobrazení,
VíceMATICE. a 11 a 12 a 1n a 21 a 22 a 2n A = = [a ij]
MATICE Matice typu m/n nad tělesem T je soubor m n prvků z tělesa T uspořádaných do m řádků a n sloupců: a 11 a 12 a 1n a 21 a 22 a 2n A = = [a ij] a m1 a m2 a mn Prvek a i,j je prvek matice A na místě
VíceDosud jsme se zabývali pouze soustavami lineárních rovnic s reálnými koeficienty.
Kapitola 4 Tělesa Dosud jsme se zabývali pouze soustavami lineárních rovnic s reálnými koeficienty. Všechna čísla byla reálná, vektory měly reálné souřadnice, matice měly reálné prvky. Také řešení soustav
VíceINVESTICE DO ROZVOJE VZDĚLÁVÁNÍ. Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.
INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ107/2200/280141 Soustavy lineárních rovnic Michal Botur Přednáška 4 KAG/DLA1M: Lineární
VíceLineární algebra : Násobení matic a inverzní matice
Lineární algebra : Násobení matic a inverzní matice (8. přednáška) František Štampach, Karel Klouda frantisek.stampach@fit.cvut.cz, karel.klouda@fit.cvut.cz Katedra aplikované matematiky Fakulta informačních
Více15. Moduly. a platí (p + q)(x) = p(x) + q(x), 1(X) = id. Vzniká tak struktura P [x]-modulu na V.
Učební texty k přednášce ALGEBRAICKÉ STRUKTURY Michal Marvan, Matematický ústav Slezská univerzita v Opavě 15. Moduly Definice. Bud R okruh, bud M množina na níž jsou zadány binární operace + : M M M,
Více[1] x (y z) = (x y) z... (asociativní zákon), x y = y x... (komutativní zákon).
Grupy, tělesa grupa: množina s jednou rozumnou operací příklady grup, vlastnosti těleso: množina se dvěma rozumnými operacemi příklady těles, vlastnosti, charakteristika tělesa lineární prostor nad tělesem
VíceNechť M je množina. Zobrazení z M M do M se nazývá (binární) operace
Kapitola 2 Algebraické struktury Řada algebraických objektů má podobu množiny s nějakou dodatečnou strukturou. Například vektorový prostor je množina vektorů, ty však nejsou jeden jako druhý : jeden z
VíceVýroková a predikátová logika - XII
Výroková a predikátová logika - XII Petr Gregor KTIML MFF UK ZS 2015/2016 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - XII ZS 2015/2016 1 / 15 Algebraické teorie Základní algebraické teorie
VíceUčební texty k státní bakalářské zkoušce Matematika Algebra. študenti MFF 15. augusta 2008
Učební texty k státní bakalářské zkoušce Matematika Algebra študenti MFF 15. augusta 2008 1 8 Algebra Požadavky Grupa, okruh, těleso definice a příklady Podgrupa, normální podgrupa, faktorgrupa, ideál
VíceBooleovy algebry. Irina Perfilieva. logo
Booleovy algebry Irina Perfilieva Irina.Perfilieva@osu.cz 25. března 2010 Outline 1 Komplementární svazy 2 Booleovy algebry 3 Věty o Booleových algebrách Outline 1 Komplementární svazy 2 Booleovy algebry
VíceAlgoritmus pro hledání vlastních čísel kvaternionových matic
Úvod Algoritmus pro hledání vlastních čísel kvaternionových matic Bc. Martin Veselý Fakulta jaderná a fyzikálně inženýrská Katedra softwarového inženýrství v ekonomii Skupina aplikované matematiky a stochastiky
VíceVýroková a predikátová logika - VII
Výroková a predikátová logika - VII Petr Gregor KTIML MFF UK ZS 2018/2019 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - VII ZS 2018/2019 1 / 15 Platnost (pravdivost) Platnost ve struktuře
VíceMaticí typu (m, n), kde m, n jsou přirozená čísla, se rozumí soubor mn veličin a jk zapsaných do m řádků a n sloupců tvaru:
3 Maticový počet 3.1 Zavedení pojmu matice Maticí typu (m, n, kde m, n jsou přirozená čísla, se rozumí soubor mn veličin a jk zapsaných do m řádků a n sloupců tvaru: a 11 a 12... a 1k... a 1n a 21 a 22...
VíceAritmetika s didaktikou I.
Katedra matematiky PF UJEP Aritmetika s didaktikou I. KM / Přednáška Struktury se dvěma binárními operacemi O čem budeme hovořit: opakování struktur s jednou operací struktury se dvěma operacemi Struktury
VíceLineární algebra : Násobení matic a inverzní matice
Lineární algebra : Násobení matic a inverzní matice (8. přednáška) František Štampach, Karel Klouda LS 2013/2014 vytvořeno: 17. března 2014, 12:42 1 2 0.1 Násobení matic Definice 1. Buďte m, n, p N, A
VíceKarel Klouda c KTI, FIT, ČVUT v Praze 28. února, letní semestr 2010/2011
MI-MPI, Přednáška č. 3 Karel Klouda karel.klouda@fit.cvut.cz c KTI, FIT, ČVUT v Praze 28. února, letní semestr 2010/2011 Množiny s jednou binární operací Neprázdná množina M s binární operací (resp. +
Více1. Pologrupy, monoidy a grupy
Matematický ústav Slezské univerzity v Opavě Učební textykpřednášce ALGEBRA I, zimní semestr 2002/2003 Michal Marvan 1. Pologrupy, monoidy a grupy Algebra dvacátého století je nauka o algebraických strukturách.
VíceHisab al-džebr val-muqabala ( Věda o redukci a vzájemném rušení ) Muhammada ibn Músá al-chvárizmího (790? - 850?, Chiva, Bagdád),
1 LINEÁRNÍ ALGEBRA 1 Lineární algebra Slovo ALGEBRA pochází z arabského al-jabr, což znamená nahrazení. Toto slovo se objevilo v názvu knihy islámského matematika Hisab al-džebr val-muqabala ( Věda o redukci
VíceRekurentní rovnice, strukturální indukce
Rekurentní rovnice, strukturální indukce Jiří Velebil: A7B01MCS 26. září 2011: 1/20 Příklad (Parketáž triminy z minulé přednášky) P(n) = počet parket k vyparketování místnosti rozměru n 1 P(1) = 1. 2 P(n
VíceBáze a dimense. Odpřednesenou látku naleznete v kapitolách a 3.6 skript Abstraktní a konkrétní lineární algebra.
Báze a dimense Odpřednesenou látku naleznete v kapitolách 3.1 3.3 a 3.6 skript Abstraktní a konkrétní lineární algebra. Jiří Velebil: A7B01LAG 15.10.2015: Báze a dimense 1/19 Minulé přednášky 1 Lineární
VíceLineární algebra nad obecným Z m, lineární kódy
Lineární algebra nad obecným Z m, lineární kódy Jiří Velebil: X01DML 19. listopadu 2010: Lineární algebra a kódy 1/19 Minule: soustavy lineárních rovnic nad Z p, p prvočíslo, stejně jako nad R. Dále nad
VíceVI. Maticový počet. VI.1. Základní operace s maticemi. Definice. Tabulku
VI Maticový počet VI1 Základní operace s maticemi Definice Tabulku a 11 a 12 a 1n a 21 a 22 a 2n, a m1 a m2 a mn kde a ij R, i = 1,, m, j = 1,, n, nazýváme maticí typu m n Zkráceně zapisujeme (a ij i=1m
Více0.1 Úvod do lineární algebry
Matematika KMI/PMATE 1 01 Úvod do lineární algebry 011 Vektory Definice 011 Vektorem aritmetického prostorur n budeme rozumět uspořádanou n-tici reálných čísel x 1, x 2,, x n Definice 012 Definice sčítání
Více6 Samodružné body a směry afinity
6 Samodružné body a směry afinity Samodružnými body a směry zobrazení rozumíme body a směry, které se v zobrazují samy na sebe. Například otočení R(S má jediný samodružný bod, střed S, anemá žádný samodružný
VíceMatematika pro informatiku 2
Matematika pro informatiku 2 Doc. RNDr. Alena Šolcová, Ph. D., KTI FIT ČVUT v Praze 21. února 2011 Evropský sociální fond Investujeme do vaší budoucnosti Alena Šolcová Lámejte si hlavu - L1 Určete všechny
VíceZáklady matematiky pro FEK
Základy matematiky pro FEK 1. přednáška 22.9.2016 Blanka Šedivá KMA zimní semestr 2016/2017 Blanka Šedivá (KMA) Základy matematiky pro FEK zimní semestr 2016/2017 1 / 19 Organizační pokyny přednášející:
VíceBooleovská algebra. Booleovské binární a unární funkce. Základní zákony.
Booleovská algebra. Booleovské binární a unární funkce. Základní zákony. Tomáš Bayer bayertom@natur.cuni.cz Katedra aplikované geoinformatiky a kartografie, Přírodovědecká fakulta UK. Tomáš Bayer bayertom@natur.cuni.cz
VíceMnožiny, relace, zobrazení
Množiny, relace, zobrazení Množiny Množinou rozumíme každý soubor určitých objektů shrnutých v jeden celek. Zmíněné objekty pak nazýváme prvky dané množiny. Pojem množina je tedy synonymem pojmů typu soubor,
VíceZáklady logiky a teorie množin
Pracovní text k přednášce Logika a teorie množin (I/2007) 1 1 Struktura přednášky Matematická logika 2 Výroková logika Základy logiky a teorie množin Petr Pajas pajas@matfyz.cz Predikátová logika 1. řádu
VíceLineární prostory. - vektorové veličiny(síla, rychlost, zrychlení,...), skládání, násobení reálným číslem
Lineární prostory - vektorové veličiny(síla, rychlost, zrychlení,...), skládání, násobení reálným číslem - volné vektory a operace s nimi(sčítání, násobení reálným číslem) -ve 2 nebove 3 vázanévektorysespolečnýmpočátkem
VíceCvičení 5 - Inverzní matice
Cvičení 5 - Inverzní matice Pojem Inverzní matice Buď A R n n. A je inverzní maticí k A, pokud platí, AA = A A = I n. Matice A, pokud existuje, je jednoznačná. A stačí nám jen jedna rovnost, aby platilo,
Více1 Mnohočleny a algebraické rovnice
1 Mnohočleny a algebraické rovnice 1.1 Pojem mnohočlenu (polynomu) Připomeňme, že výrazům typu a 2 x 2 + a 1 x + a 0 říkáme kvadratický trojčlen, když a 2 0. Číslům a 0, a 1, a 2 říkáme koeficienty a písmenem
VíceÚVOD DO ARITMETIKY. Michal Botur
ÚVOD DO ARITMETIKY Michal Botur 2011 2 Obsah 1 Algebraické základy 3 1.1 Binární relace.................................. 3 1.2 Zobrazení a operace............................... 7 1.3 Algebry s jednou
Více6. Matice. Algebraické vlastnosti
Matematický ústav Slezské univerzity v Opavě Učební texty k přednášce ALGEBRA I, zimní semestr 2000/2001 Michal Marvan 6 Matice Algebraické vlastnosti 1 Algebraické operace s maticemi Definice Bud te A,
VíceMOORE-PENROSEOVA INVERZE MATICE A JEJÍ APLIKACE. 1. Úvod
Kvaternion 1/2013, 7 14 7 MOORE-PENROSEOVA INVERZE MATICE A JEJÍ APLIKACE LADISLAV SKULA Abstrakt V článku je uvedena definice pseudoinverzní matice, ukázána její existence a jednoznačnost a zmíněny dvě
VíceSVD rozklad a pseudoinverse
SVD rozklad a pseudoinverse Odpřednesenou látku naleznete v kapitole 12 skript Abstraktní a konkrétní lineární algebra. Jiří Velebil: Lineární algebra 19.12.2016: SVD rozklad a pseudoinverse 1/21 Cíle
VíceMatematika B101MA1, B101MA2
Matematika B101MA1, B101MA2 Zařazení předmětu: povinný předmět 1.ročníku bc studia 2 semestry Rozsah předmětu: prezenční studium 2 + 2 kombinované studium 16 + 0 / semestr Zakončení předmětu: ZS zápočet
VíceVýroková a predikátová logika - XI
Výroková a predikátová logika - XI Petr Gregor KTIML MFF UK ZS 2014/2015 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - XI ZS 2014/2015 1 / 21 Další dokazovací systémy PL Hilbertovský kalkul
VíceKomutativní a nekomutativní polookruhy ve školské matematice. Commutative and non-commutative semi-rings in educational mathematics
Komutativní a nekomutativní polookruhy ve školské matematice Drahomíra Holubová Resume Polookruhy, které nejsou okruhy, mají významné zastoupení ve školské matematice. Tento příspěvek uvádí příklady komutativních
VíceMatice. Je dána matice A R m,n, pak máme zobrazení A : R n R m.
Matice lineárních zobrazení [1] Připomenutí Zobrazení A : L 1 L 2 je lineární, když A( x + y ) = A( x ) + A( y ), A(α x ) = α A( x ). Což je ekvivalentní s principem superpozice: A(α 1 x 1 + + α n x n
VíceV: Pro nulový prvek o lineárního prostoru L platí vlastnosti:
Zpracoval: hypspave@fel.cvut.cz. Základní vlastnosti abstraktních lineárních prostorů. Lineární závislost, nezávislost, báze, souřadnice vzhledem k bázi, matice lineárního zobrazení vzhledem k bázím.skalární
Více1 Připomenutí vybraných pojmů
1 Připomenutí vybraných pojmů 1.1 Grupa Definice 1 ((Komutativní) grupa). Grupou (M, ) rozumíme množinu M spolu s operací na M, která má tyto vlastnosti: i) x, y M; x y M, Operace je neomezeně definovaná
VícePŘEDNÁŠKA 7 Kongruence svazů
PŘEDNÁŠKA 7 Kongruence svazů PAVEL RŮŽIČKA Abstrakt. Definujeme svazové kongruence a ukážeme jak pro vhodné binární relace svazu ověřit, že se jedná o svazové kongruence. Popíšeme svaz Con(A) kongruencí
Více3. Algebraické systémy
Markl: 3.1. Morfismy a kongruence /ras31.doc/ Strana 1 3. Algebraické systémy Na rozdíl od klasické algebry, jejíž ústředním tématem jsou rovnice a potřebný aparát pro jejich řešení /matice, polynomy,.../,
VíceMatematika IV - 3. přednáška Rozklady grup
S Matematika IV - 3. přednáška Rozklady grup Michal Bulant Masarykova univerzita Fakulta informatiky 3. 3. 2008 s Obsah přednášky Rozklady podle podgrup ô Normální podgrupy s Doporučene zdroje Martin Panák,
VíceMatematika IV - 3. přednáška Rozklady grup
Matematika IV - 3. přednáška Rozklady grup Michal Bulant Masarykova univerzita Fakulta informatiky 3. 3. 2008 Obsah přednášky Rozklady podle podgrup ô Normální podgrupy Martin Panák, Jan Slovák, Drsná
VíceLineární algebra Operace s vektory a maticemi
Lineární algebra Operace s vektory a maticemi Robert Mařík 26. září 2008 Obsah Operace s řádkovými vektory..................... 3 Operace se sloupcovými vektory................... 12 Matice..................................
VíceVektorové podprostory, lineární nezávislost, báze, dimenze a souřadnice
Vektorové podprostory, lineární nezávislost, báze, dimenze a souřadnice Vektorové podprostory K množina reálných nebo komplexních čísel, U vektorový prostor nad K. Lineární kombinace vektorů u 1, u 2,...,u
VíceFormální systém výrokové logiky
Formální systém výrokové logiky 1.Jazyk výrokové logiky Nechť P = {p,q,r, } je neprázdná množina symbolů, které nazýváme prvotní formule. Symboly jazyka L P výrokové logiky jsou : a) prvky množiny P, b)
VíceZápadočeská univerzita v Plzni FAKULTA PEDAGOGICKÁ
Západočeská univerzita v Plzni FAKULTA PEDAGOGICKÁ BAKALÁŘSKÁ PRÁCE KONEČNÉ GRUPY MALÝCH ŘÁDŮ Ivana Čechová Vedoucí práce: doc. RNDr. Jaroslav Hora, CSc. Plzeň 2012 Prohlašuji, že jsem bakalářskou práci
Vícea počtem sloupců druhé matice. Spočítejme součin A.B. Označme matici A.B = M, pro její prvky platí:
Řešené příklady z lineární algebry - část 1 Typové příklady s řešením Příklady jsou určeny především k zopakování látky před zkouškou, jsou proto řešeny se znalostmi učiva celého semestru. Tento fakt se
VíceVýroková logika. Teoretická informatika Tomáš Foltýnek
Výroková logika Teoretická informatika Tomáš Foltýnek foltynek@pef.mendelu.cz Teoretická informatika strana 2 Opakování z minulé přednášky Co je to formalismus a co je jeho cílem? Formulujte Russelův paradox
VíceUNIVERZITA HRADEC KRÁLOVÉ
UNIVERZITA HRADEC KRÁLOVÉ PŘÍRODOVĚDECKÁ FAKULTA LINEÁRNÍ ALGEBRA A GEOMETRIE Zdeněk Dušek studijní text Hradec Králové, 2014 2 Úvod Tento studijní text je určen jako opora k předmětům Algebra 1, Geometrie
VíceAlgebra 2 KMI/ALG2. Zpracováno podle přednášek prof. Jiřího Rachůnka a podle přednášek prof. Ivana Chajdy. slidy k přednáškám
Algebra 2 slidy k přednáškám KMI/ALG2 Zpracováno podle přednášek prof. Jiřího Rachůnka a podle přednášek prof. Ivana Chajdy. Vytvořeno za podpory projektu FRUP_2017_052: Tvorba a inovace výukových opor
VíceČetba: Texty o lineární algebře (odkazy na webových stránkách přednášejícího).
Předmět: MA 4 Dnešní látka Vektorový (lineární) prostor (připomenutí) Normovaný lineární prostor Normy matic a vektorů Symetrické matice, pozitivně definitní matice Gaussova eliminační metoda, podmíněnost
VíceZáklady matematiky pro FEK
Základy matematiky pro FEK 2. přednáška Blanka Šedivá KMA zimní semestr 2016/2017 Blanka Šedivá (KMA) Základy matematiky pro FEK zimní semestr 2016/2017 1 / 20 Co nás dneska čeká... Závislé a nezávislé
VíceOperace s maticemi
Operace s maticemi Seminář druhý 17.10. 2018 Obsah 1 Operace s maticemi 2 Hodnost matice 3 Regulární matice 4 Inverzní matice Matice Definice (Matice). Reálná matice typu m n je obdélníkové schema A =
VíceLineární algebra : Skalární součin a ortogonalita
Lineární algebra : Skalární součin a ortogonalita (15. přednáška) František Štampach, Karel Klouda frantisek.stampach@fit.cvut.cz, karel.klouda@fit.cvut.cz Katedra aplikované matematiky Fakulta informačních
Více1 Mnohočleny a algebraické rovnice
1 Mnohočleny a algebraické rovnice 1.1 Pojem mnohočlenu (polynomu) Připomeňme, že výrazům typu a 2 x 2 + a 1 x + a 0 říkáme kvadratický trojčlen, když a 2 0. Číslům a 0, a 1, a 2 říkáme koeficienty a písmenem
VíceZá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íceBooleova algebra Luboš Štěpánek
Booleova algebra Luboš Štěpánek Úvod Booleovaalgebra(čti búlova ),nazvanápodleirskéhomatematikaalogikageorge Boolea(1815 1864), je užitečná v mnoha matematických disciplínách a má velmi široké uplatnění
VíceLingebraické kapitolky - Počítání s maticemi
Lingebraické kapitolky - Počítání s maticemi Jaroslav Horáček KAM MFF UK 20 Rozehřívačka: Definice sčítání dvou matic a násobení matice skalárem, transpozice Řešení: (A + B ij A ij + B ij (αa ij α(a ij
Více(Cramerovo pravidlo, determinanty, inverzní matice)
KMA/MAT1 Přednáška a cvičení, Lineární algebra 2 Řešení soustav lineárních rovnic se čtvercovou maticí soustavy (Cramerovo pravidlo, determinanty, inverzní matice) 16 a 21 října 2014 V dnešní přednášce
Více0.1 Úvod do lineární algebry
Matematika KMI/PMATE 1 01 Úvod do lineární algebry 011 Lineární rovnice o 2 neznámých Definice 011 Lineární rovnice o dvou neznámých x, y je rovnice, která může být vyjádřena ve tvaru ax + by = c, kde
VíceObecná úloha lineárního programování
Obecná úloha lineárního programování Úloha Maximalizovat hodnotu c T x (tzv. účelová funkce) za podmínek Ax b (tzv. omezující podmínky) kde A je daná reálná matice typu m n a c R n, b R m jsou dané reálné
Více