Logické rovnice. 1 Úvod. 2 Soustavy logických rovnic
|
|
- Vladimíra Valentová
- před 8 lety
- Počet zobrazení:
Transkript
1 Logické rovice J Bborák, Gyáziu Česká Líp, bbork@sez.cz Ev Svobodová, Krlíské gyáziu, evsvobo@gil.co Doiik Tělupil, Gyáziu Bro, dtelupil@gil.co Abstrkt Záklde šeho iiproektu e počítáí poocí Booleovy lgebry eích zákoů, které se se sžili dokázt. Poté se se učili vytvářet soustvy logických rovic převádět e do rozšířeého Horov tvru. Vyřešili se pár logických hádek poté hledli eich řešeí poocí soustvy lieárích rovic. Nučili se se využívt k opercí s rovicei ástro Řešitel v Excelu. Nkoec se plikovli še ově byté zlosti k řešeí edoduchých úloh. Úvod Cíle šeho iiproektu bylo se sezáit s ožýi postupy při řešeí soustv logických rovic, zeé pk etodou převodu soustvy lieárích erovic. Touto etodou se lze dopátrt správého řešeí (ee logických úloh typu sudoku či pokrývcích úloh) ik ež pouhý odhde či ituicí. Jedá se tktéž o předstupeň ke studiu ohých oborů, ež ve své prxi využíví pokročileší logiky př. práce s uělýi iteligecei. Dlší cíle bylo odhlit ožosti ástroe Řešitel v Excelu, který výzě usdňue práci s rovicei erovicei. 2 Soustvy logických rovic Logická rovice e tková rovice, která vzike převedeí rovosti fukcí f(x), g(x) prvidlo eich ekvivlece. Neboli f ( x) g( x) f ( x) g( x) Sestvíe-li soustvu těchto rovic, lze e obecě chrkterizovt tkto f x) g ( ) x {0,}... f ( x ( x) g ( x) Této soustvě odpovídá 2 prvidel. g f... f g g f 2
2 3 Báze zlostí Báze zlostí e soustv logických rovic v Horově tvru. C A Prvidlo v Horově tvru e ve tvru c, kde e souči tecedetů (příči) c su kosekvetů(ásledků), tedy Z předpokldu, že pltí všechy tecedety, tk pltí lespoň ede z kosekvetů. Kždou bázi zlostí e ožé zpst ve tvru... 2, kde kždé z prvidel e v rozšířeé Horově tvru Je-li sez příči prázdý, hrzuee e kosttou. Je-li prázdý sez ásledků, hrzuee e kosttou 0. Výhodou Horov tvru e, že se zde vůbec evyskytue operátor egce. Z edé rovice e občs ožé vygeerovt více ež edo prvidlo, souboe prvidel ohou tké vzikt ová prvidl. k N k Koverze soustvu erovic c Bázi prvidel v Horově tvru e výhodé kovertovt soustvu lieárích erovic, kterých se využívá k edoduššíu řešeí soustvy logických rovic. c Neprve celé prvidlo zeguee, díky čeuž se dostee do tvru ) ( c Jelikož prvdivost původího prvidl á být ed, tk prvdivost eho egce e ulová vyžduee, by epltil ožost, že sou splěy všechy příčiy eí splě i ede ásledek.
3 Vše si převedee lgebrickou erovici, c 0 kde závorkou (-c) zčíe prvdivostí hodotu egce původího kosekvetu. Od obou str erovice odečtee dostee fiálí erovici 5 Aplikce Nbyté zlosti se plikovli ěkolik edoduchých příkldech, které by ohly být řešey pouhou úvhou. Příkld Poctivci pdouši K deostrci evýhodosti řešeí logické úlohy systée úprv logických rovic se využil úlohu z edé ezáěších kih populrizuících logiku, z kihy Jk se eue thle kížk? od yod Sully. Zdáí Předpokládee, že kždý obyvtel e buď poctivce, který luví vždy prvdu, ebo pdouche, který vždy lže. Předpokládee, že áe tři obyvtele ostrov, A, B, C. A B prohlásí A Všichi se pdouši. B Právě ede z ás e pdouch. Dá se určit, co e B? Dá se určit, co e C? Řešeí ) soustvou rovic Ze závěrečého řádku sě vyplývá, že A z předpokldu, že sou všechy podíky splěy vždy lže, C luví vždy prvdu u B se o eho prvdoluvosti edá rozhodout. Řešeí pooci soustvy rovic svou áročostí zostává z řešeí úlohy pouhý selský rozue b) Předpokládee, že A luví prvdu. Pk lže kždý z troice A, B, C. Zeé tedy i A, číž se dostáváe ke sporu. Osob A tedy utě lže. Mluví-li B prvdu, pk lže právě ede z troice A, B, C lže tedy pouze A. B, C luví prvdu. Lže-li B, pk lže iý počet osob ež právě ed, víe le že A utě lže, B lže elžou všichi, tedy C e poctivec. Zistili se tedy, že A lže vždy, C vždy luví prvdu u B se eho prvdoluvost edá určit. Příkld 2 Pokrýváí křížky
4 Zdáí příkldu bylo pokrýt pole 3x3 co eeší počte desek ve tvru kříže. Neprve e třeb zistit, kdy e kždé pole zkryté. Sepíšee devět výroků pro kždé pole vždy podle toho, v ké poli e střed kříže. Těchto devět výroků poté převedee do Horov tvru. Z Horov tvru e převedee lieárí erovice, bycho e v toto tvru ohli zdt do počítčového progru. V Excelu do sloupce vložíe všech devět polí s hodotou pro prvdivý výrok (=desk e pokrytá). Uděláe druhý sloupec, k vložíe erovice poocí ástroe Řešitel stvíe
5 podíky. Abycho zistili výsledek eeší počet desek, usíe sečíst všech devět hodot v Řešiteli zdt tuto hodotu iiálí. Dostee eeší ožý počet desek ve kterých polích bude eich střed. Příkld 3 Kolik d? Ispirovli se se klsickou šchovou úlohou Kolik d se vede šchovici ( kde budou postvey ) tk, by se vzáeě eohrožovly? Pro edoduchost se použili šchovici, která á 4x4 pole. Nedříve sestvíe obecé prvidlo pro pole, b. N poli b esí stát dá, pokud toto pole ohrožue dá z pole. ( b) Poté toto prvidlo převedee do Horov tvru. Vydee z toho, že pokud egce libovolého výroku á být prvdivá, sá výrok e eprvdivý". b 0 Z Horov zápisu lehce dostáváe erovici b. Sestvíe všechy erovice, které á sysl řešit, t. tkové, které sou ezbyté pro správost úlohy. N... A B
6 N 2... A C N 3... A D... N C4 + D4 Tyto erovice sou podíky, které zdáe do Řešitele. Výsledek N šchovici o rozěrech 4x4 pole se vedou pouze čtyři dáy tk, by byly splěy podíky úlohy. Jeich ožé rozístěí e zázorěo obrázku výše. 6 Shrutí Přesvědčili se se o řešitelosti logických úloh rozličýi etodi, př. odhde, úprvi logických rovic či převode soustvy lgebrických erovic s ásledý dořešeí v Řešiteli. Potvrdil se á užitečost tohoto ástroe, i když k užíváí Řešitele k řešeí obtížěších úloh (rozestvte d N x N šchovici) sou potřeb isté prográtorské dovedosti. Při řešeí logických úloh se si tktéž potvrdili, k e důležité si správě přesě forulovt edotlivé výroky ezáé. Poděkováí Chtěli bycho poděkovt šeu supervizorovi Jroíru Kuklovi, který se ás pokusil sezáit s ti Booleovské lgebry logiky všeobecě, KSE, FJFI ČVUT V Prze vše, kteří se podíleli Týdu vědy 200. Těšíe se přípdou dlší spolupráci. eferece [] SMULLYAN,.M. Jk se eue thle kížk Mldá frot, 986, příkld 3.32 [2] MÉSZÁOS, P. Alýz ožiy biárích vzorů s využití pokrývcích heuristik
Algebraický výraz je číselný výraz s proměnou. V těchto výrazech se vyskytují vedle reálných čísel také proměnné. Například. 4a 4,5x + 6,78 7t.
ročík - loeý lgebrický výrz, lieárí rovice s ezáou ve jeovteli Loeý lgebrický výrz Lieárí rovice s ezáou ve jeovteli Doporučujee žáků zopkovt vzorce tpu ( + pod úprvu výrzu souči Loeý výrz Číselé výrz
Více1. LINEÁRNÍ ALGEBRA. , x = opačný vektor
. LINEÁRNÍ LGEBR Vektorový prostor.. Defiice Nechť V e moži které sou defiováy operce sčítáí + : t. zobrzeí V V V ásobeí i : t zobrzeí R V V. Možiu V zýváme vektorovým prostorem, sou-li splěy ásleduící
Více9. Racionální lomená funkce
@ 9. Rcioálí loeá fukce Defiice: Nechť P je poloická fukce -tého stupě... ) ( P kde R... A echť Q je poloická fukce -tého stupě... ) ( Q kde R... Rcioálí loeá fukce R je dá podíle ) ( ) ( ) ( Q P R pro
Více1.2. MOCNINA A ODMOCNINA
.. MOCNINA A ODMOCNINA V této kpitole se dozvíte: jk je defiová oci s přirozeý, celý, rcioálí oecý reálý epoete jké jsou její vlstosti; jk je defiová přirozeá odoci, jké jsou její vlstosti jk se dá vyjádřit
VíceTento materiál vznikl díky Operačnímu programu Praha Adaptabilita CZ.2.17/3.1.00/33254
Evropský socálí fod Prh & EU: Ivestuee do vší udoucost eto terál vkl díky Operčíu progru Prh dptlt CZ..7/3..00/3354 Mžerské kvtttví etody II - předášk č. - eore her eore her 96 vo Neu, Morgester kldtelé
VícePOLYNOM. 1) Základní pojmy. Polynomem stupně n nazveme funkci tvaru. a se nazývají koeficienty polynomu. 0, n N. Čísla. kde
POLYNOM Zákldí pojmy Polyomem stupě zveme fukci tvru y ( L +, P + + + + kde,,, R,, N Čísl,,, se zývjí koeficiety polyomu Číslo c zveme kořeem polyomu P(, je-li P(c výrz (-c pk zýváme kořeový čiitel Vlstosti
VíceVEKTOROVÁ ALGEBRA A ANALYTICKÁ GEOMETRIE V ROVINĚ
VEKTOROVÁ LGEBR NLYTICKÁ GEOMETRIE V ROVINĚ Délk úsečk, střed úsečk,, B Délk úsečk B : B C, BC Střed úsečk : B S s, s souřdice středu: s, s Vektor Vektor = oži všech souhlsě orietových rovoěžých úseček
VíceM - Posloupnosti VARIACE
M - Poslouposti Autor: Mgr Jromír Juřek - http://wwwjrjurekcz Kopírováí jkékoliv dlší využití výukového mteriálu je povoleo pouze s uvedeím odkzu wwwjrjurekcz VARIACE Teto dokumet byl kompletě vytvoře,
Vícep = 6. k k se nazývá inverze v permutaci [ ] MATA P7 Determinanty Motivační příklad: Řešte soustavu rovnic o dvou neznámých: Permutace z n prvků:
ATA P Determity otivčí příkld: Řešte soustvu rovic o dvou ezámých: x + x = b x + x = b Permutce z prvků: Je dá moži = {,,, }, kde N Kždá uspořádá -tice [ k, k, k ] vytvořeá z všech prvků možiy se zývá
VíceNalezení výchozího základního řešení. Je řešení optimální? ne Změna řešení
Sipleová etoda: - patří ezi uiverzálí etody řešeí úloh lieárího prograováí. - de o etodu iteračí, t. k optiálíu řešeí dospíváe postupě, krok za kroke. - výpočetí algoritus se v každé iteraci rozpadá do
VícePRACOVNÍ SEŠIT ČÍSELNÉ OBORY. 1. tematický okruh: Připrav se na státní maturitní zkoušku z MATEMATIKY důkladně, z pohodlí domova a online.
Připrv se státí mturití zkoušku z MATEMATIKY důkldě, z pohodlí domov olie PRACOVNÍ SEŠIT. temtický okruh: ČÍSELNÉ OBORY vytvořil: RNDr. Věr Effeberger expertk olie příprvu SMZ z mtemtiky školí rok 204/205
Více11.1 Úvod. Definice : [MA1-18:P11.1] definujeme pro a C: nedefinujeme: Posloupnosti komplexních čísel
KAPITOLA : Číselé řdy MA-8:P.] Ozčeí: R {, +} R R C {} C rozšířeá komplexí rovi evlstí hodot, číslo, bod U ε {x C x < ε } pro C, ε > 0 U K {x C x > K } pro K 0 defiujeme pro C: ±, je pro 0, edefiujeme:
VíceObecně: K dané funkci f hledáme funkci ϕ z dané množiny funkcí M, pro kterou v daných bodech x 0 < x 1 <... < x n. (δ ij... Kroneckerovo delta) (4)
KAPITOLA 13: Numerická integrce interpolce [MA1-18:P13.1] 13.1 Interpolce Obecně: K dné funkci f hledáme funkci ϕ z dné množiny funkcí M, pro kterou v dných bodech x 0 < x 1
VíceD = H = 1. člen posloupnosti... a 1 2. člen posloupnosti... a 2 3. člen posloupnosti... a 3... n. člen posloupnosti... a n
/9 POSLOUPNOSTI Zákldí pojmy: Defiice poslouposti Vlstosti poslouposti Určeí poslouposti Aritmetická posloupost Geometrická posloupost Užití poslouposti. Defiice poslouposti Př. Sestrojte grf fukce y =.x
VíceVlastnosti posloupností
Vlstosti posloupostí Nekoečá posloupost je fukce defiová v oboru přirozeých čísel Z toho plye, že kždá posloupost má prví čle (zčíme ), koečé poslouposti mjí i čle posledí Př Vypište prví čtyři čley poslouposti
VíceMatematika NÁRODNÍ SROVNÁVACÍ ZKOUŠKY BŘEZNA 2019
NÁRODNÍ SROVNÁVACÍ ZKOUŠKY T BŘEZNA 09 D : 30. břez 09 M. možé skóre: 30 Počet řešitelů testu: 85 M. dosžeé skóre: 30 Počet úloh: 30 Mi. možé skóre: -7,5 Průměrá vyechost: 9, % Mi. dosžeé skóre: -,8 Správé
VíceAnalytická geometrie
Alytická geometrie Vektory Prmetrické vyjádřeí přímky roviy Obecá rovice droviy Vektorový prostor Nechť jsou dáy ásledující mtemtické objekty: ) ) ) 4) Číselé těleso T. Neprázdá moži V. Zobrzeí Zobrzeí
VíceExponenciální výrazy a rovnice
Epoeciálí výzy ovice Epoeciálí výzy ovice - jou ovice výzy ezáou v epoetu = 7 + + + + = 7 = 6 + + 6 Pvidl po počítáí ocii Při úpvě výzů ocii řešeí epoeciálích ovic je tře dodžovt áledující pvidl (jou uvede
Více8.2.7 Geometrická posloupnost
87 Geometrická posloupost Předpokldy: 80, 80, 80, 807 Pedgogická pozámk: V hodiě rozdělím třídu dvě skupiy kždá z ich dělá jede z prvích dvou příkldů Větši studetů obou skupi potřebuje pomoc u tbule Ob
VíceMatematika NÁRODNÍ SROVNÁVACÍ ZKOUŠKY BŘEZNA 2018
NÁRODNÍ SROVNÁVACÍ ZKOUŠKY Mtemtik T BŘEZNA 08 : 9. břez 08 D : 897 P P P : 0 M. M. M. :, % S : 0 : 0 : -7,5 M. P : -, : 0, Zopkujte si zákldí iformce ke zkoušce: Test obshuje 0 úloh jeho řešeí máte 90
VíceKuželosečky jako algebraické křivky 2. stupně
Kuželosečk Pretrické iplicití vjádřeí kuželoseček P. Pech: Kuželosečk, JU České Budějovice 4, 59s Kuželosečk jko lgerické křivk. stupě Kuželosečk je oži odů v roviě, jejichž souřdice (, ) vhovují v ějké
Více1. ČÍSELNÉ OBORY 10. Kontrolní otázky 24. Úlohy k samostatnému řešení 25. Výsledky úloh k samostatnému řešení 25. Klíč k řešení úloh 26
Zákld mtemtik Číselé oor ČÍSELNÉ OBORY 0 Některé pojm z mtemtické logik 0 Výroková logik 0 Moži vzth mezi imi Možiové operce Grfické zázorěí moži Číselé oor Čísl ázv jejich chrkteristik Chrkteristik číselých
Více6. ČÍSELNÉ POSLOUPNOSTI A ŘADY 6.1. ČÍSELNÉ POSLOUPNOSTI
6. ČÍSELNÉ POSLOUPNOSTI A ŘADY 6.. ČÍSELNÉ POSLOUPNOSTI V této kpitole se dozvíte: jk defiujeme posloupost reálých ebo komplexích čísel; defiici vlstí evlstí limity poslouposti; defiici pojmů souvisejících
VícePosloupnosti a řady. Obsah
Poslouposti řdy Poslouposti řdy Obsh. Poslouposti... 8. Úvod do posloupostí... 8. Aritmetická geometrická posloupost... 9. Limit poslouposti... 9. Řdy... 0. Nekoečá geometrická řd... 0 Strák 7 Poslouposti
VíceMatematika NÁRODNÍ SROVNÁVACÍ ZKOUŠKY BŘEZNA 2019
NÁRODNÍ SROVNÁVACÍ ZKOUŠKY T BŘEZNA 9 D : 8. břez 9 Mx. možé skóre: Počet řešitelů testu: Mx. dosžeé skóre: Počet úloh: Mi. možé skóre: -7,5 Průměrá vyechost:, %Správé Mi. dosžeé skóre: -, odpovědi jsou
VíceSbírka úloh z matematiky pro 9.ročník Lomené výrazy ZŠ Třešť
Sík úloh z tetik po 9.očík I. Loeé výz ZŠ Třešť . Loeý výz je zloek. Jeovtel zloku e eí ovt ule. U loeých výzů učujee vžd podík, po kteé á loeý výz l. Řešeý příkld Uči podík, po kteé jí výz l, řeš dlší
VíceNekonečné řady. 1. Nekonečné číselné řady 1.1. Definice. = L L nekonečnou posloupnost reálných čísel. a) Označme { a }
Nekoečé řdy. Nekoečé číselé řdy.. Defiice ) Ozčme { } { } = L L ekoečou posloupost reálých čísel.,,,,, Nekoečá číselá řd je součet tvru = + + + L+ + L. Jedotlivá čísl,,, L,, L se zývjí čley řdy, čle obvykle
VíceMatematika NÁRODNÍ SROVNÁVACÍ ZKOUŠKY BŘEZNA 2018
NÁRODNÍ SROVNÁVACÍ ZKOUŠKY Mtemtik T BŘEZNA 08 :. břez 08 D : 0 P P P : 0 M. M. M. :,8 % S : 0 : 7,5 : -7,5 M. P : -,0 : 0,6 Zopkujte si zákldí iformce ke zkoušce: Test obshuje 0 úloh jeho řešeí máte 90
VíceDUM č. 19 v sadě. 13. Ma-1 Příprava k maturitě a PZ algebra, logika, teorie množin, funkce, posloupnosti, řady, kombinatorika, pravděpodobnost
projekt GML Bro Doces DUM č. 9 v sdě. M- Příprv k mturitě PZ lgebr, logik, teorie moži, fukce, poslouposti, řdy, kombitorik, prvděpodobost Autor: Jrmil Šimečková Dtum:.0.0 Ročík: mturití ročíky Aotce DUMu:
Více3. DIFERENCIÁLNÍ ROVNICE
3 DIFERENCIÁLNÍ ROVNICE Difereciálí rovice (dále je DR) jsou veli důležitou částí ateatické aalýz, protože uožňují řešit celou řadu úloh z fzik a techické prae Občejé difereciálí rovice: rovice, v íž se
Více2. Matice a determinanty
Mtce deterty Defce : Odélíové sche (řádů) (sloupců) čísel zvee tce typu : [ ] M Je-l luvíe o čtvercové tc Prvy ( ) tvoří hlví dgoálu Zčíe ovyle : [ ] O - všechy prvy ulové - ulová tce I - edotová tce (
Více1.8.1 Mnohočleny, sčítání a odčítání mnohočlenů
.8. Mohočley, sčítáí odčítáí mohočleů Předpokldy: 7 Mohočle = zvláští typ výrzů. Jk je pozáme? Mohočley obshují pouze přirozeé mociy ezámých (jedé ebo více) kostty. Př. : Rozhodi, které z ásledujících
VíceSTEJNOMĚRNÁ KONVERGENCE POSLOUPNOSTI A ŘADY FUNKCÍ
STEJNOMĚRNÁ KONVERGENCE Ztím ebylo v těchto textech věováo příliš pozorosti kovergeci fukcí, t jko limit poslouposti ebo součet řdy. Jik byl kovergece poslouposti fukcí ebo řdy brá jko bodová kovergece.
Více6.2. ČÍSELNÉ ŘADY. V této kapitole se dozvíte:
6.2. ČÍSELNÉ ŘADY V této kpitole se dozvíte: jk defiujeme číselou řdu; defiici kovergece řdy jejího součtu; jk vypdá ritmetická, geometrická hrmoická řd jk je to s jejich kovergecí; jk zí utá podmík kovergece
VíceMatice. a B =...,...,...,...,..., prvků z tělesa T (tímto. Definice: Soubor A = ( a. ...,..., ra
Definice: Soubor A ( i j ) Mtice 11 12 1n 21 22 2n m 1 m2 prvků z těles T (tímto tělesem T bude v nší prxi nejčstěji těleso reálných čísel R resp těleso rcionálních čísel Q či těleso komplexních čísel
VíceAnalytická geometrie
7..06 Alytická geometrie Vektory Prmetrické vyjádřeí přímky roviy Obecá rovice droviy Vektorový prostor Nechť jsou dáy ásledující mtemtické objekty: ) ) ) 4) Číselé těleso T. Neprázdá moži V. Zobrzeí Zobrzeí
VíceAnalytická geometrie
MATEMATICKÝ ÚSTAV Slezská uverzt N Rybíčku, 746 0 Opv DENNÍ STUDIUM Alytcká geoetre Té 5.: Shodá zobrzeí Defce 5.. Zobrzeí f eukldovského prostoru E do eukldovského prostoru E se zývá shodé (zoetrcké),
Víceu, v, w nazýváme číslo u.( v w). Chyba! Chybné propojení.,
Def: Vetorovým součiem vetorů u =(u, u, u 3 ) v = (v, v, v 3 ) zýváme vetor u v = (u v 3 u 3 v, u 3 v u v 3, u v u v ) Vět: Pro vetory i, j, ortoormálí báze pltí i i = j = i, i = j Vět: Nechť u v, w, jsou
VíceZákladní elementární funkce.
6. předášk Zákldí elemetárí fukce. Defiice: Elemetárími fukcemi zveme všech fukce, které jsou vtvoře koečým počtem zákldích opercí ze zákldích elemetárích fukcí. Zákldí operce s fukcemi jsou:. Sčítáí dvou
Více{ } ( ) ( ) 2.5.8 Vztahy mezi kořeny a koeficienty kvadratické rovnice. Předpoklady: 2301, 2508, 2507
58 Vzth mezi kořen koefiient kvdrtiké rovnie Předpokld:, 58, 57 Pedgogiká poznámk: Náplň zřejmě přeshuje možnost jedné vučoví hodin, příkld 8 9 zůstvjí n vičení neo polovinu hodin při píseme + + - zákldní
VícePředmět: Ročník: Vytvořil: Datum: MATEMATIKA TŘETÍ MGR. JÜTTNEROVÁ Název zpracovaného celku: GEOMETRICKÁ POSLOUPNOST A JEJÍ UŽITÍ
Předmět: Ročík: Vytvořil: Dtum: MATEMATIKA TŘETÍ MGR JÜTTNEROVÁ Název zprcového celku: GEOMETRICKÁ POSLOUPNOST A JEJÍ UŽITÍ GEOMETRICKÁ POSLOUPNOST Defiice: Poloupot e zývá geometrická právě tehdy, když
Více3. Kvadratické rovnice
CZ..07/..08/0.0009. Kvdrtické rovnice se v tetice oznčuje lgebrická rovnice druhého stupně, tzn. rovnice o jedné neznáé, ve které neznáá vystupuje ve druhé ocnině (²). V zákldní tvru vypdá následovně:
VícePůjdu do kina Bude pršet Zajímavý film. Jedině poslední řádek tabulky vyhovuje splnění podmínky úvodního tvrzení.
4. Booleov lger Booleov lger yl nvržen v polovině 9. století mtemtikem Georgem Boolem, tehdy nikoliv k návrhu digitálníh ovodů, nýrž jko mtemtikou disiplínu k formuli logikého myšlení. Jko příkld použijeme
VícePřehled často se vyskytujících limit posloupností. = ek. = 1 lim n n! = = C = α 0+
Neurčité výrzy (lgebr s posloupostmi divergujícími k ekoeču), zvedeí pojmu číselé řdy, defiice POSLOUPNOST ČÁSTEČNÝCH SOUČTŮ, součet řdy, TVRZENÍ O NUTNÉ PODMÍNCE KONVERGENCE ŘADY, kokrétí příkldy výpočtu
Více2 Základní poznatky o číselných oborech
Zákldí poztky o číselých oorech Mozí lidé jsou evědoí je proto, že vycházejí z pojů, které jsou podle tetických ěřítek epřesé (Sokrtes). Přirozeá čísl Přirozeá čísl ozčují počet prvků koečých oži. Kždé
VícePRACOVNÍ SEŠIT ALGEBRAICKÉ VÝRAZY. 2. tematický okruh: Připrav se na státní maturitní zkoušku z MATEMATIKY důkladně, z pohodlí domova a online
Připrv se státí mturití zkoušku z MATEMATIKY důkldě, z pohodlí domov olie PRACOVNÍ SEŠIT. temtický okruh: ALGEBRAICKÉ VÝRAZY vtvořil: RNDr. Věr Effeberger epertk olie příprvu SMZ z mtemtik školí rok 04/05
VíceUniverzita Karlova v Praze Pedagogická fakulta
Uverzt Krlov v Prze Pedgogcká kult SEMINÁRNÍ PRÁCE Z POLYNOMICKÉ ALGEBRY POLYNOM / CIFRIK Zdáí: Vyšetřete všem probrým prostředky polyom Vyprcováí: Rcoálí kořey Podle věty: Nechť p Q je koře polyomu q
Více8. Elementární funkce
Moderí techologie ve studiu plikové fzik CZ.1.07/2.2.00/07.0018 8. Elemetárí fukce Historie přírodích věd potvrzuje, že většiu reálě eistujících dějů lze reprezetovt mtemtickými model, které jsou popsá
VíceNapíšeme si, jaký význam mají jednotlivé zadané hodnoty z hlediska posloupností. Zbytek příkladu je pak pouhým dosazováním do vzorců.
8..4 Užití ritmetických posloupostí Předpokldy: 80,80 Př. : S hloubkou roste teplot Země přibližě rovoměrě o 0 C 000 m. Jká bude teplot dě dolu hlubokého 900 m, je-li v hloubce 5 m teplot 9 C? Jký by byl
VíceKapitola 5 - Matice (nad tělesem)
Kapitola 5 - Matice (ad tělesem) 5.. Defiice matice 5... DEFINICE Nechť T je těleso, m, N. Maticí typu m, ad tělesem T rozumíme zobrazeí možiy {, 2,, m} {, 2,, } do T. 5..2. OZNAČENÍ Možiu všech matic
VíceP2 Číselné soustavy, jejich převody a operace v čís. soustavách
P Číselné soustvy, jejich převody operce v čís. soustvách. Zobrzení čísl v libovolné číselné soustvě Lidé využívjí ve svém životě pro zápis čísel desítkovou soustvu. V této soustvě máme pro zápis čísel
VíceMatematika NÁRODNÍ SROVNÁVACÍ ZKOUŠKY ÚNORA 2019
NÁRODNÍ SROVNÁVACÍ ZKOUŠKY ÚNORA 09 T á D P č P č ů ú P ů ě S á :. úor 09 : 004 : 0 M. M. M. á : 9, % ě č M.. P ů ě ž ó : 0 ž ž ó : 0 ó : -7,5 ž ó : -,8 ó : 4,4 Zopkujte si zákldí iformce ke zkoušce: Test
VíceKATEDRA MATERIÁLOVÉHO INŽENÝRSTVÍ A CHEMIE. 123TVVM homogenizace (směšovací pravidla)
KATEDRA MATERIÁLOVÉHO INŽENÝRSTVÍ A CHEMIE 23TVVM hoogenizce (sěšovcí prvidl) Hoogenizce Stvební teriály sou z hledisk zstoupení doinntních složek několikfázové systéy: Dvoufázové trice, vzduch (póry)
VíceZformulujme PMI nyní přesně (v duchu výrokové logiky jiný kurz tohoto webu):
Pricip matematické idukce PMI) se systematicky probírá v jié části středoškolské matematiky. a tomto místě je zařaze z důvodu opakováí matka moudrosti) a proto, abychom ji mohli bez uzarděí použít při
VícePosloupnosti na střední škole Bakalářská práce
MASARYKOVA UNIVERZITA V BRNĚ Přírodovědecká fkult Ktedr mtemtiky Poslouposti středí škole Bklářská práce Bro 00 Kteři Rábová Prohlášeí Prohlšuji, že tto bklářská práce je mým původím utorským dílem, které
VíceSpojitost funkce v bodě, spojitost funkce v intervalu
10.1.6 Spojitost funkce v bodě, spojitost funkce v intervlu Předpokldy: 10104, 10105 Př. 1: Nkresli, jk funkce f ( x ) dná grfem zobrzí vyznčené okolí bodu n ose x n osu y. Poté nkresli n osu x vzor okolí
VícePRACOVNÍ SEŠIT POSLOUPNOSTI A FINANČNÍ MATEMATIKA. 5. tematický okruh:
Připrv se státí mturití zkoušku z MATEMATIKY důkldě, z pohodlí domov olie PRACOVNÍ SEŠIT 5. temtický okruh: POSLOUPNOSTI A FINANČNÍ MATEMATIKA vytvořil: RNDr. Věr Effeberger expertk olie příprvu SMZ z
VíceSekvenční logické obvody(lso)
Sekvečí logické obvody(lso) 1. Logické sekvečí obvody, tzv. paměťové čley, jsou obvody u kterých výstupí stavy ezávisí je a okamžitých hodotách vstupích sigálů, ale jsou závislé i a předcházejících hodotách
VíceAutomaty a gramatiky(bi-aag)
BI-AAG (2011/2012) J. Holu: 3. Operce s konečnými utomty p. 2/33 Převod NKA ndka BI-AAG (2011/2012) J. Holu: 3. Operce s konečnými utomty p. 4/33 Automty grmtiky(bi-aag) 3. Operce s konečnými utomty Jn
VíceMatematika NÁRODNÍ SROVNÁVACÍ ZKOUŠKY DUBNA 2018
NÁRODNÍ SROVNÁVACÍ ZKOUŠKY Mtemtik T DUBNA 08 : 8. dub 08 D : 884 P P P S M. M. M. : 0 : 5,5 % : 0 : 7,8 : -7,5 M.. P : -6,0 : 9,7 Zopkujte si zákldí iformce ke zkoušce: Test obshuje 0 úloh jeho řešeí
VíceKKKKKKKKKKKKKK. (i = 1,..., m; j = 1,..., n) jsou reálná čísla a x j jsou neznámé, se nazývá soustava m lineárních rovnic o
SOUSTAVY LINEÁRNÍCH ROVNIC Zákldí pojmy Defiice Soustv rovic m m m b b b m kde ij bi (i m; j jsou reálá čísl j jsou ezámé se zývá soustv m lieárích rovic o ezámých stručě soustv lieárích rovic Čísl ij
Více3.2. LOGARITMICKÁ FUNKCE
.. LOGARITMICKÁ FUNKCE V této kpitole se dovíte: jk je definován ritmická funkce (ritmus) jké má ákldní vlstnosti; důležité vorce pro práci s ritmickou funkcí; co nmená ritmovt odritmovt výr. Klíčová slov
Více8.1 Úvod. Definice: [MA1-18:P8.1] výpočet obsahu plochy pod grafem funkce. (nejdříve jen pro a < b ) a = x 0 < x 1 <... < x n = b.
KPITOL 8: určitý itegrál Riemův itegrál [M-8:P8.] motivce: výpočet oshu plochy pod grfem fukce 8. Úvod ejdříve je pro < ) řekeme, že moži D, je děleím itervlu,, jestliže je koečá, D. Prvky děleí D {x,
VícePřijímací řízení akademický rok 2013/2014 NavMg. studium Kompletní znění testových otázek matematika a statistika
Přijímcí řízeí kdemický rok /4 NvMg studium Kompletí zěí testových otázek mtemtik sttistik Koš Zěí otázky Odpověď ) Odpověď b) Odpověď c) Odpověď d) Správá odpověď efiičí obor fukce defiové předpisem f
Více6. FUNKCE A POSLOUPNOSTI
6. FUNKCE A POSLOUPNOSTI Fukce Dovedosti:. Základí pozatky o fukcích -Chápat defiici fukce,obvyklý způsob jejího zadáváí a pojmy defiičí obor hodot fukce. U fukcí zadaých předpisem umět správě operovat
VíceLINEÁRNÍ DIFERENCIÁLNÍ ROVNICE 2.ŘÁDU
LINEÁRNÍ DIFERENCIÁLNÍ ROVNICE 2.ŘÁDU ZDENĚK ŠIBRAVA 1. Obecné řešení lin. dif. rovnice 2.řádu s konstntními koeficienty 1.1. Vrice konstnt. Příkld 1.1. Njděme obecné řešení diferenciální rovnice (1) y
VíceStřední průmyslová škola sdělovací techniky Panská 3 Praha 1 Jaroslav Reichl
Středí průmyslová škol sdělovcí techiky Pská 3 Prh Jroslv Reichl, 00 Jroslv Reichl OBSAH Poslouposti, Jroslv Reichl, 00 Poslouposti jejich vlstosti 3 Pojem posloupost 3 Připomeutí fukcí 3 Defiice poslouposti
VíceOkruhy z učiva středoškolské matematiky pro přípravu ke studiu na VŠB TU Ostrava-
Okruhy z učiv středoškolské mtemtiky pro příprvu ke studiu VŠB TU Ostrv- I Zákldí poztky z logistiky teorie moži: výrok prvdivostí hodot výroku, egce, disjukce, kojukce, implikce, ekvivlece, složeé výroky,
VíceSeznámíte se s použitím určitého integrálu při výpočtu hmotnosti, statických momentů, souřadnic těžiště a momentů setrvačnosti.
Mtemtik II 5 Fzikálí plikce 5 Fzikálí plikce Cíle Sezámíte se s použitím určitého itegrálu při výpočtu hmotosti, sttických mometů, souřdic těžiště mometů setrvčosti Předpokládé zlosti Předpokládáme, že
VíceMatematika NÁRODNÍ SROVNÁVACÍ ZKOUŠKY ÚNORA 2018
NÁRODNÍ SROVNÁVACÍ ZKOUŠKY Mtemtik T ÚNORA 08 :. úor 08 D : 96 P P P : 0 M. M. : 0 : 0 M. :,4 % S : -7,5 M. P : -,8 : 4,5 Zopkujte si zákldí iformce ke zkoušce: Test obshuje 0 úloh jeho řešeí máte 90 miut
VíceLINEÁRNÍ TRANSFORMACE V ROVINĚ
LINEÁRNÍ TRANSFORMACE V ROVINĚ Kil Mleček Dgr Szrková FSv ČVUT Prh Thákurov 7 66 9 Prh 6 ČR e-il: kil@tfsvvutz SjF STU Brtislv Ná Slood 7 8 3 Brtislv SR e-il: szrkov@sjfstusk Astrkt V řísěvku je osý geoetriký
Více2.2.9 Grafické řešení rovnic a nerovnic
..9 Grfické řešení rovnic nerovnic Předpokldy: 0, 06 Př. : Řeš početně i grficky rovnici x + = x. Početně: Už umíme. x + = x x = x = K = { } Grficky: Kždá ze strn rovnice je výrzem pro lineární funkci
Vícem n. Matice typu m n má
MATE ZS KONZ B Mtice, hodnost mtice, Gussův tvr Mtice uspořádné schém reálných čísel: m m n n mn Toto schém se nzývá mtice typu m řádků n sloupců. m n. Mtice typu m n má Oznčujeme ji A, B,někdy používáme
VíceMocniny, odmocniny, úpravy. Repetitorium z matematiky
Mociy, odmociy, úpvy lgeických výzů epetitoium z mtemtiky Podzim Iv culová . Mociy přiozeým celým mocitelem Po kždé eálé čílo kždé přiozeé čílo pltí:... čiitelů moci Zákld mociy (mocěec) mocitel (expoet)
Více8.3.1 Pojem limita posloupnosti
.3. Pojem limit poslouposti Předpokldy: 30, 0 Pedgogická pozámk: Limit poslouposti eí pro studety sdo strvitelým pojmem. Hlvím problémem je podle mých zkušeostí edorozuměí s tím, zd mezi posloupostí její
VíceM a t i c e v e s t ř e d o š k o l s k é m a t e m a t i c e
M t i c e v e s t ř e d o š k o l s k é m t e m t i c e P t r i k K v e c k ý M e d e l o v o g y m á z i u m v O p v ě S t u d i j í m t e r i á l - M t i c e v e s t ř e d o š k o l s k é m t e m t i
VíceZáklady teorie matic
Zákldy teorie mtic 1. Pojem mtice nd číselným tělesem In: Otkr Borůvk (uthor): Zákldy teorie mtic. (Czech). Prh: Acdemi, 1971. pp. 9--12. Persistent URL: http://dml.cz/dmlcz/401328 Terms of use: Akdemie
VíceJednotlivé snímky lze použít jako studijní materiál.
Číslo projektu Číslo mteriálu CZ..7/../.9 VY Iovce_8_MA_._ Využití geometrické poslouposti prcoví list Název školy Středí odborá škol Středí odboré učiliště, Hustopeče, Msrykovo ám. Autor Temtický celek
Více3. Lineární diferenciální rovnice úvod do teorie
3 338 8: Josef Hekrdla lieárí difereciálí rovice úvod do teorie 3 Lieárí difereciálí rovice úvod do teorie Defiice 3 (lieárí difereciálí rovice) Lieárí difereciálí rovice -tého řádu je rovice, která se
Více13. Exponenciální a logaritmická funkce
@11 1. Eponenciální logritmická funkce Mocninná funkce je pro r libovolné nenulové reálné číslo dán předpisem f: y = r, r R, >0 Eponent r je konstnt je nezávisle proměnná. Definičním oborem jsou pouze
VíceRovnice. RNDr. Yvetta Bartáková. Gymnázium, SOŠ a VOŠ Ledeč nad Sázavou
Rovice RNDr. Yvetta Bartáková Gymázium, SOŠ a VOŠ Ledeč ad Sázavou Rovice kombiatorické VY INOVACE_5 9_M Gymázium, SOŠ a VOŠ Ledeč ad Sázavou Skupiy prvků, kde záleží a pořadí Bez opakováí Počet Vk( )
Víceprávě jedna správná. Zakroužkujte ji! ax + ay bx by ax ay bx + by d) a b 4) Řešením nerovnice x 3x e) nemá řešení
FSI VUT v Brě zdáí č.. str. MATEMATIKA 0 Příjmeí jméo: Z uvedeých odpovědí je vždy právě jed správá. Zkroužkujte ji! ) Pro všechy přípusté hodoty pltí: + y y b) y + y c) + b b + y b by y b + by d) b +
VícePosloupnosti ( 1) ( ) 1. Různým způsobem (rekurentně i jinak) zadané posloupnosti. 2. Aritmetická posloupnost
Poloupoti Růzým způobem (rekuretě i jik zdé poloupoti Urči prvích pět čleů poloupoti, ve které, + Urči prvích pět čleů poloupoti, je-li dáo:, + + Urči prvích pět čleů poloupoti, je-li dáo: 0,, Urči prvích
Více7. Analytická geometrie
7. Aaltická geoetrie Studijí tet 7. Aaltická geoetrie A. Příka v roviě ϕ s A s ϕ s 2 s 1 B p s ϕ = (s1, s 2 ) sěrový vektor přík p orálový vektor přík p sěrový úhel přík p k = tgϕ = s 2 s 1 sěrice příkp
VícePřijímací řízení akademický rok 2013/2014 Bc. studium Kompletní znění testových otázek matematika
Přijímací řízeí akademický rok 0/0 c. studium Kompletí zěí testových otázek matematika Koš Zěí otázky Odpověď a) Odpověď b) Odpověď c) Odpověď d) Správá. Které číslo doplíte místo 8? 6 6 8 C. Které číslo
Vícea) 1 b) 0 c) 1 d) 2 x e) 2x
FSI VUT v Brě zdáí č.. str. Příjmeí jméo: Z uvedeých odpovědí je vžd právě jed správá. Zkroužkujte ji! ) Je-li 0, pk 0 c) e) ) Výrz lze uprvit tvr c) e) ) Nerovice má řešeí c) e) ) Rovice 0 má právě jedo
VíceŘešení písemné zkoušky z Matematické analýzy 1a ZS ,
Řešeí písemé zkoušky z Mtemtické lýzy ZS008-09,9009 Příkld : Spočtěte itu poslouposti 3 + + + 4 + 50 + 00 + 0 0 3 + + Řešeí:Ozčíme : +, b : 4 + 50 + 00 Zlomek,tvořící + 0 0,rozšířímevýrzem ++,čežvytkemeejvyššímociu
VíceOpakovací test. Klíčová slova: výraz, interval, množina, kvadratický trojčlen, mocnina, exponent, výrok, negace
VY_32_INOVACE_MAT_190 Opkovcí test lgebrické výrzy, logik, množiny A, B Mgr. Rdk Mlázovská Období vytvoření: září 2012 Ročník: čtvrtý Temtická oblst: mtemtické vzdělávání Klíčová slov: výrz, intervl, množin,
Vícea 1 = 2; a n+1 = a n + 2.
Vyjářeí poloupoti Poloupot můžeme určit ěkolik růzými způoby. Prvím je protý výčet prvků. Npříkl jeouchá poloupot uých číel by e výčtem l zpt tkto:,, 6,,... Dlší možotí je vzorec pro tý čle. Stejá poloupot
VíceKomplexní čísla tedy násobíme jako dvojčleny s tím, že použijeme vztah i 2 = 1. = (a 1 + ia 2 )(b 1 ib 2 ) b 2 1 + b2 2.
7 Komplexní čísl 71 Komplexní číslo je uspořádná dvojice reálných čísel Komplexní číslo = 1, ) zprvidl zpisujeme v tzv lgebrickém tvru = 1 + i, kde i je imginární jednotk, pro kterou pltí i = 1 Číslo 1
Více6 Stabilita lineárních diskrétních regulačních obvodů
6 Stbilit lieárích diskrétích regulčích obvodů Pro diskrétí systémy pltí stejá defiice stbility jko pro systémy spojité. Systém je stbilí, když se po odezěí vstupího sigálu vrátí zpět do rovovážého stvu.
VíceZadávání pomocí Obrazového přenosu
Zdáváí poocí Ozového přeou Defiice: kde: Jko Lplceův oz výtupí veličiy ku Lplceově ozu vtupí veličiy při ulových počátečích podíkách zlev.. +... +. + 0.(. +... +. je řád ttiu + je řád outvy V Mtlu e po
VíceMatematika 1A. PetrSalačaJiříHozman Fakulta přírodovědně-humanitní a pedagogická Technická univerzita v Liberci
Mtemtik 1A. PetrSlčJiříHozmn Fkult přírodovědně-humnitní pedgogická Technická univerzit v Liberci petr.slc@tul.cz jiri.hozmn@tul.cz 21.11.2016 Fkult přírodovědně-humnitní pedgogická TUL ZS 2016-2017 1/
Víceprávě jedna správná. Zakroužkujte ji! a) a b) a c) x b) 6 x c) 5) Rovnice y = je rovnicí a) elipsy b) paraboly c) přímky d) kružnice e) hyperboly
FSI VUT v Brě zdáí č.. str. MATEMATIKA 009 Příjmeí jméo: Z uvedeých odpovědí je vždy právě jed správá. Zkroužkujte ji! ) Je-li > 0, pk c) e) ) Je-li > 0, pk : 6 6 c) 6 e) ) Nerovice < má řešeí < > c)
Víceprávě jedna správná. Zakroužkujte ji! a) a b) a c)
FSI VUT v Brě zdáí č. str. MATEMATIKA 06 Příjmeí jméo: Z uvedeých odpovědí je vždy právě jed správá. Zkroužkujte ji! ) Je-li > 0, pk c) e) ) Je-li > 0, pk 6 c) 6 9 e) 9 ) Rovice má řešeí v itervlu ; )
Více2.5.9 Vztahy mezi kořeny a koeficienty kvadratické rovnice
59 Vzth mezi kořen koefiient kvdrtiké rovnie Předpokld:, 57, 58 Pedgogiká poznámk: Náplň zřejmě přeshuje možnost jedné vučoví hodin Příkld 8 9 zůstávjí n vičení nebo polovinu hodin při píseme + b + - zákldní
Více2.5.9 Vztahy mezi kořeny a koeficienty kvadratické rovnice
59 Vzth mezi kořen koefiient kvdrtiké rovnie Předpokld:, 57, 58 Pedgogiká poznámk: Náplň zřejmě přeshuje možnost jedné vučoví hodin Příkld 8 9 zůstávjí n vičení nebo polovinu hodin při píseme + b + - zákldní
VíceMatematika I, část II
1. FUNKCE Průvodce studiem V deím životě, v přírodě, v techice a hlavě v matematice se eustále setkáváme s fukčími závislostmi jedé veličiy (apř. y) a druhé (apř. x). Tak apř. cea jízdeky druhé třídy osobího
VíceZÁKLADNÍ POZNATKY. p, kde ČÍSELNÉ MNOŽINY (OBORY) N... množina všech přirozených čísel: 1, 2, 3,, n,
ZÁKLADNÍ POZNATKY ČÍSELNÉ MNOŽINY (OBORY) N... množin všech přirozených čísel: 1, 2, 3,, n, N0... množin všech celých nezáporných čísel (přirozených čísel s nulou: 0,1, 2, 3,, n, Z... množin všech celých
VíceMATEMATIKA PRO EKONOMY
VYSOKÁ ŠKOLA POLYECHNICKÁ JIHLAVA Ktedr mtemtik MAEMAIKA PRO EKONOMY Rdek Stolí 8 Recezovl: doc RNDr Ev Věčková CSc Mgr Adre Kubišová Z jzkovou věcou správost obshu díl odpovídá utor et eprošel jzkovou
Více