Weryfikacja modelowa jest analizą statyczną logiki modalnej
|
|
- Wacław Kołodziejczyk
- 4 lat temu
- Przeglądów:
Transkrypt
1 Weryfikcj modelow jest nlizą sttyczną logiki modlnej Mrcin Sulikowski MIMUW 15 grudni 010
2 1 Wstęp Weryfikcj systemów etykietownych 3 Flow Logic 4 Weryfikcj modelow nliz sttyczn
3 Co jest czym czego? Weryfikcj modelow jest nlizą sttyczną logiki modlnej
4 y := x; z := 1; while y > 0 do if y % = 1 then z := z + 1; fi; z := z * y; y := y - 1; od; y := 0; Weryfikcj modelow
5 Anliz sttyczn y := x; z := 1; while y > 0 do if y % = 1 then z := z + 1; fi; z := z * y; y := y - 1; od; y := 0; y := x z := 1 y > 0 y % = 1 z := z + 1 z := z * y y := y -1 y := 0
6 Anliz sttyczn? weryfikcj modelow Anliz sttyczn? weryfikcj modelow
7 System etykietowny s15 s6 s14 c s16 s13 s7 c c c s1 s5 s8 s11 c s10 s9 c s4 d s1 s c s3 s18 d d s17 Ziór stnów: S = {s1,..., s18} Ziór kcji A = {,, c, d} Relcj przejści S A S
8 ACTL ACTL = Action Computtion Tree Logic ::= true flse p EX Ω AX Ω E[ 1 Ω1 U Ω ] A[ 1 Ω1 U Ω ] Ω A opisują dopuszczlne kcje.
9 ACTL Semntyk: s 0 = EX Ω (s i i s i+1 ) 0 i<n : n > 0 0 Ω s 1 = s 0 = AX Ω (s i i s i+1 ) 0 i<n : n > 0 0 Ω s 1 = s 0 = E[ 1 Ω1 U Ω ] (s i i s i+1 ) 0 i<n : k < n : ( 0 i<k ( i Ω 1 s i+1 = 1 ) ( k Ω s k+1 = )) s 0 = A[ 1 Ω1 U Ω ] (s i i s i+1 ) 0 i<n : k < n : ( 0 i<k ( i Ω 1 s i+1 = 1 ) ( k Ω s k+1 = )) A AX A( U ψ) A B E( U ψ) A B A EX ψ ψ ψ ψ ψ ψ ψ ψ ψ ψ ψ ψ
10 Flow Logic Podejście do nlizy sttycznej czerpiące m.in. z interpretcji strkcyjnej, nlizy przepływu dnych Z pomocą wyrżeń logicznych opisujemy specyfikcję poprwnego wyniku nlizy Jeśli zroimy to dorze, to d się efektywnie oliczyć wynik
11 Flow Logic n przykłdzie Anliz λ-wyrżeń e ::= x λx.e e 1 e v Vl ziór wyrżeń w postci: v ::= x λx.e Relcj przejści (λx.e) v (λx.e,v) e[v/x] Jeśli e 1 β e 1, to: e 1 e β e 1 e Jeśli e 1 β e 1, to: e e 1 β e e 1 Szczegóły techniczne Konwersj α Etykietownie: ((λx.e l ) l 1 v l ) l ((λx.el ) l 1,v l ) (e[v/x]) l
12 Flow Logic n przykłdzie Cel nlizy C : L P(Vl) możliwe wrtości wyrżeń R : Vr P(Vl) możliwe wrtości zmiennych
13 Flow Logic n przykłdzie Cel nlizy C : L P(Vl) możliwe wrtości wyrżeń R : Vr P(Vl) możliwe wrtości zmiennych Specyfikcj C, R x l R(x) C(l) C, R (λx.e l ) l (C, R e l ) (λx.e l ) C(l) C, R (e l 1 1 e l ) l (C, R e l 1 1 ) (C, R e l ) (λx.e l 0 0 ) C(l 1 ): (C(l ) R(x) C(l 0 ) C(l))
14 Flow Logic n przykłdzie Olicznie (C, R) (C, R) tworzą krtę zupełną Ziór { (C, R) C, R e l} jest zmknięty n rnie infimum Istnieje więc njlepsze (njmniejsze) rozwiąznie Trze je tylko znleźć... C 1 C C 1 C l 1 l l 3 l 4 l 5 l 6
15 Flow Logic n przykłdzie Olicznie (C, R) (C, R) tworzą krtę zupełną Ziór { (C, R) C, R e l} jest zmknięty n rnie infimum Istnieje więc njlepsze (njmniejsze) rozwiąznie Trze je tylko znleźć... C 1 C C 1 C l 1 l l 3 l 4 l 5 l 6
16 Alterntion-free Lest Fixed Point Logic Flow Logic ALFP v ::= c x f (v 1,..., v k ) pre ::= R(v 1,..., v k ) R(v 1,..., v k ) pre 1 pre pre 1 pre x : pre x : pre cl ::= R(v 1,..., v k ) true cl 1 cl pre cl x : cl Nie chcemy zmiennych wolnych. ρ = cl (ρ, λx.x) = cl
17 Alterntion-free Lest Fixed Point Logic Flow Logic ALFP v ::= c x f (v 1,..., v k ) pre ::= R(v 1,..., v k ) R(v 1,..., v k ) pre 1 pre pre 1 pre x : pre x : pre cl ::= R(v 1,..., v k ) true cl 1 cl pre cl x : cl Nie chcemy zmiennych wolnych. ρ = cl (ρ, λx.x) = cl Ciekwe włsności Powiemy, że dl pewnego wrunku R(v 1,..., v k ) zchodzi Nie powiemy, że R(v 1,..., v k ) nie zchodzi
18 Alterntion-free Lest Fixed Point Logic Flow Logic ALFP v ::= c x f (v 1,..., v k ) pre ::= R(v 1,..., v k ) R(v 1,..., v k ) pre 1 pre pre 1 pre x : pre x : pre cl ::= R(v 1,..., v k ) true cl 1 cl pre cl x : cl Nie chcemy zmiennych wolnych. ρ = cl (ρ, λx.x) = cl Ciekwe włsności Powiemy, że dl pewnego wrunku R(v 1,..., v k ) zchodzi Nie powiemy, że R(v 1,..., v k ) nie zchodzi Ale i tk trze uwżć...
19 Flow Logic ALFP Twierdzenie o istnieniu rozwiązni Ziór {ρ : ρ = cl} jest zmknięty n rnie infimum jeśli cl jest wrstwow i nie m zmiennych wolnych. {ρ : ρ = cl} jest njmniejszym modelem dl cl. Jk znleźć rozwiąznie?
20 ALFP kluzul wrstwow Pozytywne użycie relcji R: R(v 1,..., v k )... Negtywne użycie relcji R: R(v 1,..., v k )... Definicj relcji R:... R(v 1,..., v k )
21 ALFP kluzul wrstwow Pozytywne użycie relcji R: R(v 1,..., v k )... Negtywne użycie relcji R: R(v 1,..., v k )... Definicj relcji R:... R(v 1,..., v k ) Kluzul jest wrstwow, jeśli d się ją zpisć jko cl 1... cl r i dl kżdej relcji istnieje tk licz 0 rnk R r, że: Definicje R występują w członch cl 1,..., cl rnkr Pozytywne użyci R występują w członch cl rnkr..., n Negtywne użyci R występują w członch cl rnkr +1..., n Pos R 1 Def R 1 Neg R 1 Pos R Neg R 1 Neg R Neg R 1 Neg R Def R Def R Pos R 3 Neg R 3 Def R 3 Def R 4 Def R 3 Def R 4 Def R 3 Def R 4 Neg R 3 Def R 4
22 ALFP przykłd Dl przypomnieni: C, R x l R(x) C(l) C, R (λx.e l ) l (C, R e l ) (λx.e l ) C(l) C, R (e l 1 1 e l ) l (C, R e l 1 1 ) (C, R e l ) (λx.e l 0 0 ) C(l 1 ): (C(l ) R(x) C(l 0 ) C(l)) To smo (?) w ALFP: C, R x l v : R x (v) C l (v) C, R (λx.e l ) l (C, R e l ) C l (λx.e l ) C, R (e l 1 1 e l ) l (C, R e l 1 1 ) (C, R e l ) ( v :C l0 (v ) C l (v )) i h (λx.e l 0 0 ): v:c l1 (λx.e l 0 0 ) C l (v) R x (v)
23 Półmetek Weryfikcj modelow System z etykietownymi kcjmi Sprwdzmy, czy zchodzą formuły wyrżone w ACTL: ::= true flse p EX Ω AX Ω E[ 1 Ω1 U Ω ] A[ 1 Ω1 U Ω ] Anliz sttyczn Flow Logic, czyli specyfikcj w postci: R e ϕ, gdzie e element nlizownego język, ϕ formuł w ALFP Szukmy njmniejszego modelu spełnijącego specyfikcję
24 MC SA Dne: S, A, S A S ACTL Szukmy: R opisującej stny, w których spełnione jest ACTL Szczegóły techniczne: Predykt p relcj P p Podziory Ω A relcje Ω A Relcj s s T (s,, s ) Etykietujemy wszystkie podformuły
25 Flow Logic dl ACTL R true l s : R true l (s) R flse l true R p l ( s : P p (s) R p l (s) ) R ( l 1 1 l ) l R l 1 1 R l ) ( s : R l11 (s) R l (s) R l11 ( l ) (s) l R ( l 1 1 l ) l R l 1 1 R l ( s : R l11 (s) R l (s) R ( l11 l ) l (s) ) R ( l ) l ) R l ( s : R (s) R l ( l ) l (s) R ( l 1 1 l ) l R l 1 1 R l ( s : R l11 (s) R l (s) R ( l11 l ) l (s) )
26 Flow Logic dl ACTL R (EX Ω l ) l R l [ ( ) ] s : : s : T (s,, s ) Ω() R l (s ) R (EXΩ l ) l (s) R (AX Ω l ) l R l [ s : [ : s : T (s,, s ) ] [ ] : s : T (s,, s ) R (AXΩ l ) l (s) ( )] Ω() R l (s )
27 Flow Logic dl ACTL R (EX Ω l ) l R l [ ( ) ] s : : s : T (s,, s ) Ω() R l (s ) R (EXΩ l ) l (s) R (AX Ω l ) l R l [ s : [ : s : T (s,, s ) ] [ ] : s : T (s,, s ) R (AXΩ l ) l (s) ( )] Ω() R l (s )
28 Flow Logic dl ACTL ( [ ]) l R E l 1 1 Ω 1 U Ω l R l 1 1 R l [ ( ) s : : s : T (s,, s ) Ω () R l (s ) ] R i E h l 1 1 Ω1 U Ω l l (s) [ ( s : : s : T (s,, s ) Ω 1 () R l 11 (s ) ) ] R i E h l 1 1 Ω1 U Ω l l (s ) R i E h l 1 1 Ω1 U Ω l l (s)
29 Flow Logic dl ACTL R ( [ ]) l A l 1 1 Ω 1 U Ω l R l 1 1 R l [ s : ( : s : T (s,, s )) [ : s : T (s,, s ) ( Ω 1 () R l 11 (s ) R ] R i A h l 1 1 Ω1 U Ω l l (s) ( ) Ω () R l (s ) A ) ] i h l 1 1 Ω1 U Ω l l (s )
30 Rezultt Njmniejszy model ρ spełni dw wrunki: Poprwność: s = l ρ ( ) R l (s) Precyzj: ρ ( ) R l (s) s = l Njmniejszy model znjdziemy w czsie O ( ( T + S ) l )
31 Biliogrfi F. Nielson, H. Riis Nielson Model Checking Is Sttic Anlysis of Modl Logic FOSSACS, t LNCS, ss Springer, 010. H. Riis Nielson, F. Nielson Flow Logic: multi prdigmtic pproch to sttic nlysis The Essence of Computtion, t. 566 LNCS, strony Springer, 00.
LISTA02: Projektowanie układów drugiego rzędu Przygotowanie: 1. Jakie własności ma równanie 2-ego rzędu & x &+ bx&
LISTA: Projektownie ukłdów drugiego rzędu Przygotownie: 1. Jkie włsności m równnie -ego rzędu & &+ b + c u jeśli: ) c>; b) c; c) c< Określ położenie biegunów, stbilność, oscylcje Zdni 1: Wyzncz bieguny.
Bardziej szczegółowo4.3. Przekształcenia automatów skończonych
4.3. Przeksztłceni utomtów skończonych Konstrukcj utomtu skończonego (niedeterministycznego) n podstwie wyrżeni regulrnego (lgorytm Thompson). Wejście: wyrżenie regulrne r nd lfetem T Wyjście : utomt skończony
Bardziej szczegółowoWYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA
Mteriły do wykłdu MATEMATYKA DYSKRETNA dl studiów zocznych cz. Progrm wykłdu: KOMBINATORYKA:. Notcj i podstwowe pojęci. Zlicznie funkcji. Permutcje. Podziory zioru. Podziory k-elementowe. Ziory z powtórzenimi
Bardziej szczegółowoPODSTAWY BAZ DANYCH Wykład 2 2. Pojęcie Relacyjnej Bazy Danych
PODSTAWY BAZ DANYCH Wykłd 2 2. Pojęcie Relcyjnej Bzy Dnych 2005/2006 Wykłd "Podstwy bz dnych" 1 Pojęcie krotki - definicj Definicj. Niech dny będzie skończony zbiór U := { A 1, A 2,..., A n }, którego
Bardziej szczegółowoProgramy współbieżne
Specyfikownie i weryfikownie Progrmy współieżne Mrek A. Bednrczyk, www.ipipn.gd.pl Litertur wiele prc dostępnych w Sieci np.: http://www.wikipedi.org/ Specyfikownie i weryfikcj progrmy współieżne PJP Prosty
Bardziej szczegółowoPODSTAWY BAZ DANYCH Wykład 3 2. Pojęcie Relacyjnej Bazy Danych
PODSTAWY BAZ DANYCH Wykłd 3 2. Pojęcie Relcyjnej Bzy Dnych 2005/2006 Wykłd "Podstwy z dnych" 1 Rozkłdlno dlność schemtów w relcyjnych Przykłd. Relcj EGZ(U), U := { I, N, P, O }, gdzie I 10 10 11 N f f
Bardziej szczegółowo4. RACHUNEK WEKTOROWY
4. RACHUNEK WEKTOROWY 4.1. Wektor zczepiony i wektor swoodny Uporządkowną prę punktów (A B) wyznczjącą skierowny odcinek o początku w punkcie A i końcu w punkcie B nzywmy wektorem zczepionym w punkcie
Bardziej szczegółowoPrzekształcenia automatów skończonych
Przeksztłceni utomtów skończonych Teori utomtów i języków formlnych Dr inŝ. Jnusz Mjewski Ktedr Informtyki Konstrukcj utomtu skończonego n podstwie wyrŝeni regulrnego (lgorytm Thompson) Wejście: wyrŝenie
Bardziej szczegółowoTemat lekcji Zakres treści Osiągnięcia ucznia
ln wynikowy kls 2c i 2e - Jolnt jąk Mtemtyk 2. dl liceum ogólnoksztłcącego, liceum profilownego i technikum. sztłcenie ogólne w zkresie podstwowym rok szkolny 2015/2016 Wymgni edukcyjne określjące oceny:
Bardziej szczegółowoWprowadzenie: Do czego służą wektory?
Wprowdzenie: Do czego służą wektory? Mp połączeń smolotowych Isiget pokzuje skąd smoloty wyltują i dokąd doltują; pokzne jest to z pomocą strzłek strzłki te pokzują przemieszczenie: skąd dokąd jest dny
Bardziej szczegółowo1.5. Iloczyn wektorowy. Definicja oraz k. Niech i
.. Iloczyn ektoroy. Definicj. Niech i, j orz k. Iloczynem ektoroym ektoró = i j k orz = i j k nzymy ektor i j k.= ( )i ( )j ( )k Skrótoo możn iloczyn ektoroy zpisć postci yzncznik: i j k. Poniżej podno
Bardziej szczegółowo2. FUNKCJE WYMIERNE Poziom (K) lub (P)
Kls drug poziom podstwowy 1. SUMY ALGEBRAICZNE Uczeń otrzymuje ocenę dopuszczjącą lub dostteczną, jeśli: rozpoznje jednominy i sumy lgebriczne oblicz wrtości liczbowe wyrżeń lgebricznych redukuje wyrzy
Bardziej szczegółowoHipoteza Černego, czyli jak zaciekawić ucznia teorią grafów
Młodzieżowe Uniwersytety Mtemtyczne Projekt współfinnsowny przez Unię Europejską w rmch Europejskiego Funduszu Społecznego Hipotez Černego, czyli jk zciekwić uczni teorią grfów Adm Romn, Instytut Informtyki
Bardziej szczegółowoWyznacznikiem macierzy kwadratowej A stopnia n nazywamy liczbę det A określoną następująco:
Def.8. Wyzncznikiem mcierzy kwdrtowej stopni n nzywmy liczbę det określoną nstępująco:.det.det dl n n det det n det n, gdzie i j ozncz mcierz, którą otrzymujemy z mcierzy przez skreślenie i- tego wiersz
Bardziej szczegółowoWymagania kl. 2. Uczeń:
Wymgni kl. 2 Zkres podstwowy Temt lekcji Zkres treści Osiągnięci uczni. SUMY ALGEBRAICZNE. Sumy lgebriczne definicj jednominu pojęcie współczynnik jednominu porządkuje jednominy pojęcie sumy lgebricznej
Bardziej szczegółowo4.2. Automat skończony
4.2. Automt skończony Przykłd: Rozwżmy język nd lfetem inrnym T = {0, } skłdjący się z łńcuchów zero-jedynkowych o tej włsności, że licz zer w kżdym łńcuchu jest przyst i licz jedynek w kżdym łńcuchu też
Bardziej szczegółowoStruktura energetyczna ciał stałych-cd. Fizyka II dla Elektroniki, lato
Struktur energetyczn cił stłych-cd Fizyk II dl Elektroniki, lto 011 1 Fizyk II dl Elektroniki, lto 011 Przybliżenie periodycznego potencjłu sieci krystlicznej model Kronig- Penney potencjł rzeczywisty
Bardziej szczegółowoAnaliza matematyczna v.1.6 egzamin mgr inf niestacj 1. x p. , przy założeniu, że istnieją lim
Anliz mtemtyczn v..6 egzmin mgr inf niestcj Oznczeni: f, g, h : J R funkcje rzeczywiste określone n J R J przedził, b),, b], [, b), [, b], półprost, b),, b],, ), [, ) lub prost R α, β [min{α, β}, m{α,
Bardziej szczegółowoPodstawy programowania obiektowego
1/3 Podstwy progrmowni oiektowego emil: m.tedzki@p.edu.pl stron: http://rgorn.p.ilystok.pl/~tedzki/ Mrek Tędzki Wymgni wstępne: Wskzn yły znjomość podstw progrmowni strukturlnego (w dowolnym języku). Temty
Bardziej szczegółowoODPOWIEDZI I SCHEMAT PUNKTOWANIA POZIOM ROZSZERZONY Etapy rozwiązania zadania , 3 5, 7
Próbn egzmin mturln z mtemtki Numer zdni ODPOWIEDZI I SCHEMAT PUNKTOWANIA POZIOM ROZSZERZONY Etp rozwiązni zdni Liczb punktów Podnie wrtości b: b = Sporządzenie wkresu funkcji g Uwgi dl egzmintorów 4 Krzw
Bardziej szczegółowoWYMAGANIA I KRYTERIA OCENIANIA Z MATEMATYKI W 3 LETNIM LICEUM OGÓLNOKSZTAŁCĄCYM
WYMAGANIA I KRYTERIA OCENIANIA Z MATEMATYKI W 3 LETNIM LICEUM OGÓLNOKSZTAŁCĄCYM Kls drug A, B, C, D, E, G, H zkres podstwowy 1. FUNKCJA LINIOWA rozpoznje funkcję liniową n podstwie wzoru lub wykresu rysuje
Bardziej szczegółowoOznaczenia: K wymagania konieczne; P wymagania podstawowe; R wymagania rozszerzające; D wymagania dopełniające; W wymagania wykraczające
Wymgni edukcyjne z mtemtyki ls 2 b lo Zkres podstwowy Oznczeni: wymgni konieczne; wymgni podstwowe; R wymgni rozszerzjące; D wymgni dopełnijące; W wymgni wykrczjące Temt lekcji Zkres treści Osiągnięci
Bardziej szczegółowousuwa niewymierność z mianownika wyrażenia typu
Wymgni edukcyjne n poszczególne oceny z mtemtyki Kls pierwsz zkres podstwowy. LICZBY RZECZYWISTE podje przykłdy liczb: nturlnych, cłkowitych, wymiernych, niewymiernych, pierwszych i złożonych orz przyporządkowuje
Bardziej szczegółowoSemantyka i Weryfikacja Programów - Laboratorium 7
Semntyk i Weryfikj Progrmów - Lortorium 7 Weryfikj twierdzeń logiznyh Cel. Celem ćwizeni jest zpoznnie się z metodą utomtyznego dowodzeni twierdzeń, tzn. weryfikji, zy dne twierdzenie jest tutologią (twierdzenie
Bardziej szczegółowoWykład 3: Transformata Fouriera
Rchunek prwdopodobieństw MAP64 Wydził Elektroniki, rok kd. 28/9, sem. letni Wykłdowc: dr hb. A. Jurlewicz Wykłd 3: Trnsformt Fourier Złóżmy, że f(t) jest określon n R, ogrniczon, okresow o okresie 2T i
Bardziej szczegółowoWykład 2. Granice, ciągłość, pochodna funkcji i jej interpretacja geometryczna
1 Wykłd Grnice, ciągłość, pocodn unkcji i jej interpretcj geometryczn.1 Grnic unkcji. Grnic lewostronn i grnic prwostronn unkcji Deinicj.1 Mówimy, że liczb g jest grnicą lewostronną unkcji w punkcie =,
Bardziej szczegółowoWymagania edukacyjne matematyka klasa 2 zakres podstawowy 1. SUMY ALGEBRAICZNE
Wymgni edukcyjne mtemtyk kls 2 zkres podstwowy 1. SUMY ALGEBRAICZNE Uczeń otrzymuje ocenę dopuszczjącą lub dostteczną, jeśli: rozpoznje jednominy i sumy lgebriczne oblicz wrtości liczbowe wyrżeń lgebricznych
Bardziej szczegółowoWymagania na ocenę dopuszczającą z matematyki klasa II Matematyka - Babiański, Chańko-Nowa Era nr prog. DKOS 4015-99/02
Wymgni n ocenę dopuszczjącą z mtemtyki kls II Mtemtyk - Bbiński, Chńko-Now Er nr prog. DKOS 4015-99/02 Temt lekcji Zkres treści Osiągnięci uczni WIELOMIANY 1. Stopień i współczynniki wielominu 2. Dodwnie
Bardziej szczegółowoJęzyki, automaty i obliczenia
Języki, utomty i oliczeni Wykłd 5: Wricje n temt utomtów skończonych Słwomir Lsot Uniwersytet Wrszwski 25 mrc 2015 Pln Automty dwukierunkowe (Niedeterministyczny) utomt dwukierunkowy A = (A,,, Q, I, F,
Bardziej szczegółowoMetoda sił jest sposobem rozwiązywania układów statycznie niewyznaczalnych, czyli układów o nadliczbowych więzach (zewnętrznych i wewnętrznych).
Metod sił jest sposoem rozwiązywni ukłdów sttycznie niewyznczlnych, czyli ukłdów o ndliczowych więzch (zewnętrznych i wewnętrznych). Sprowdz się on do rozwiązni ukłdu sttycznie wyznczlnego (ukłd potwowy
Bardziej szczegółowoWykład 2. Pojęcie całki niewłaściwej do rachunku prawdopodobieństwa
Wykłd 2. Pojęcie cłki niewłściwej do rchunku prwdopodobieństw dr Mriusz Grządziel 4 mrc 24 Pole trpezu krzywoliniowego Przypomnienie: figurę ogrniczoną przez: wykres funkcji y = f(x), gdzie f jest funkcją
Bardziej szczegółowoRozwiązania maj 2017r. Zadania zamknięte
Rozwiązni mj 2017r. Zdni zmknięte Zd 1. 5 16 5 2 5 2 Zd 2. 5 2 27 2 23 2 2 2 2 Zd 3. 2log 3 2log 5log 3 log 5 log 9 log 25log Zd. 120% 8910 1,2 8910 2,2 8910 $%, 050 Zd 5. Njłtwiej jest zuwżyć że dl 1
Bardziej szczegółowof(x)dx (1.7) b f(x)dx = F (x) = F (b) F (a) (1.2)
Cłk oznczon Cłkę oznczoną będziemy zpisywli jko f(x)dx (.) z fnkcji f(x), któr jest ogrniczon w przedzile domkniętym [, b]. Jk obliczyć cłkę oznczoną? Obliczmy njpierw cłkę nieoznczoną z fnkcji f(x), co
Bardziej szczegółowoRachunek prawdopodobieństwa i statystyka matematyczna.
Rchunek rwdoodobieństw i sttystyk mtemtyczn. Zd 8. {(, : i } Zleżność tą możn rzedstwić w ostci nstęującej interretcji grficznej: Arkdiusz Kwosk Rfł Kukliński Informtyk sem.4 gr. Srwdźmy, czy odne zmienne
Bardziej szczegółowoWEKTORY skalary wektory W ogólnym przypadku, aby określić wektor, należy znać:
WEKTORY Wśród wielkości fizycznych występujących w fizyce możn wyróżnić sklry i wektory. Aby określić wielkość sklrną, wystrczy podć tylko jedną liczbę. Wielkościmi tkimi są ms, czs, tempertur, objętość
Bardziej szczegółowoNotatki z Analizy Matematycznej 4. Jacek M. Jędrzejewski
Nottki z Anlizy Mtemtycznej 4 Jcek M. Jędrzejewski ROZDZIAŁ 7 Cłk Riemnn 1. Cłk nieoznczon Definicj 7.1. Niech f : (, b) R będzie dowolną funkcją. Jeżeli dl pewnej funkcji F : (, b) R spełnion jest równość
Bardziej szczegółowoKRYTERIA OCENIANIA ODPOWIEDZI Próbna Matura z OPERONEM. Matematyka. Poziom rozszerzony. Listopad Wskazówki do rozwiązania zadania =
Vdemecum GIELDAMATURALNA.PL ODBIERZ KOD DOSTĘPU* Mtemtyk - Twój indywidulny klucz do wiedzy! *Kod n końcu klucz odpowiedzi KRYTERIA OCENIANIA ODPOWIEDZI Prón Mtur z OPERONEM Operon 00% MATURA 07 VA D EMECUM
Bardziej szczegółowoZadanie 5. Kratownica statycznie wyznaczalna.
dnie 5. Krtownic sttycznie wyznczln. Wyznczyć wrtości sił w prętch krtownicy sttycznie wyznczlnej przedstwionej n Rys.1: ). metodą nlitycznego równowżeni węzłów, ). metodą gricznego równowżeni węzłów;
Bardziej szczegółowoRBD Relacyjne Bazy Danych
Wykłd 6 RBD Relcyjne Bzy Dnych Bzy Dnych - A. Dwid 2011 1 Bzy Dnych - A. Dwid 2011 2 Sum ziorów A i B Teori ziorów B A R = ) ( Iloczyn ziorów A i B ( ) B A R = Teori ziorów Różnic ziorów ( A) i B Iloczyn
Bardziej szczegółowoPierwiastek z liczby zespolonej
Pierwistek z liczby zespolonej Twierdzenie: Istnieje dokłdnie n różnych pierwistków n-tego stopni z kżdej liczby zespolonej różnej od zer, tzn. rozwiązń równni w n z i wszystkie te pierwistki dją się zpisć
Bardziej szczegółowoSemantyka i Weryfikacja Programów - Laboratorium 2 Działania na ułamkach, krotki i rekordy
Semntyk i Weryfikj Progrmów - Lortorium Dziłni n ułmkh, krotki i rekory Cz. I. Dziłni n ułmkh Prolem. Oprowć zestw funkji o ziłń rytmetyznyh n ułmkh zwykłyh posti q, gzie, są lizmi łkowitymi i 0. Rozwiąznie
Bardziej szczegółowoWektor kolumnowy m wymiarowy macierz prostokątna o wymiarze n=1 Wektor wierszowy n wymiarowy macierz prostokątna o wymiarze m=1
Rchunek mcierzowy Mcierzą A nzywmy funkcję 2-zmiennych, któr prze liczb nturlnych (i,j) gdzie i = 1,2,3,4.,m; j = 1,2,3,4,n przyporządkowuje dokłdnie jeden element ij. 11 21 A = m1 12 22 m2 1n 2n mn Wymirem
Bardziej szczegółowoCałka Riemanna Dolna i górna suma całkowa Darboux
Doln i górn sum cłkow Drboux π = {x 0,..., x k }, x 0 =, x k = b - podził odcink [, b]; x i = x i x i 1, i = 1, 2,..., k; P = P[, b] - rodzin podziłów odcink [, b]. m i = m i (f, π) := inf x [xi 1,x i
Bardziej szczegółowoSystemy Wyszukiwania Informacji
Uniersytet Śląski Systemy Wyszkini Informcji Agnieszk Nok Brzezińsk gnieszk.nok@s.ed.pl Instytt Informtyki Zkłd Systemó Informtycznych Uniersytet Śląski Wrnki zliczeni przedmiot Ooiązko oecność n ykłdch
Bardziej szczegółowoMatematyczne Podstawy Informatyki
Mtemtyczne Podstwy Informtyki dr inż. Andrzej Grosser Instytut Informtyki Teoretycznej i Stosownej Politechnik Częstochowsk Rok kdemicki 2013/2014 Podstwowe pojęci teorii utomtów I Alfetem jest nzywny
Bardziej szczegółowoMaciej Grzesiak. Iloczyn skalarny. 1. Iloczyn skalarny wektorów na płaszczyźnie i w przestrzeni. a b = a b cos ϕ. j) (b x. i + b y
Mciej Grzesik Iloczyn sklrny. Iloczyn sklrny wektorów n płszczyźnie i w przestrzeni Iloczyn sklrny wektorów i b określmy jko b = b cos ϕ. Bezpośrednio z definicji iloczynu sklrnego mmy, że i i = j j =
Bardziej szczegółowoWYMAGANIA EDUKACYJNE Z MATEMATYKI W KLASIE IIc ZAKRES PODSTAWOWY I ROZSZERZONY
WYMAGANIA EDUKACYJNE Z MATEMATYKI W KLASIE IIc ZAKRES PODSTAWOWY I ROZSZERZONY. JĘZYK MATEMATYKI oblicz wrtość bezwzględną liczby rzeczywistej stosuje interpretcję geometryczną wrtości bezwzględnej liczby
Bardziej szczegółowoKRYTERIA OCENIANIA ODPOWIEDZI Próbna Matura z OPERONEM. Matematyka. Poziom rozszerzony. Listopad Wskazówki do rozwiązania zadania
Vdemecum i Testy GIELDAMATURALNA.PL ODBIERZ KOD DOSTĘPU* - Twój indywidulny klucz do wiedzy! *Kod n końcu klucz odpowiedzi Mtemtyk KRYTERIA OCENIANIA ODPOWIEDZI Próbn Mtur z OPERONEM Mtemtyk Poziom rozszerzony
Bardziej szczegółowoKodowanie liczb. Kodowanie stałopozycyjne liczb całkowitych. Niech liczba całkowita a ma w systemie dwójkowym postać: Kod prosty
Kodownie licz Kodownie stłopozycyjne licz cłkowitych Niech licz cłkowit m w systemie dwójkowym postć: nn 0 Wtedy może yć on przedstwion w postci ( n+)-itowej przy pomocy trzech niżej zdefiniownych kodów
Bardziej szczegółowo1 Wprowadzenie do automatów
Dr inż. D.W. Brzeziński - Automty skończone, mszyn Turing. Lingwistyk mtemtyczn - ćwiczeni. Mteriły pomocnicze. Prowdzący: dr inż. Driusz W Brzeziński 1 Wprowdzenie do utomtów Automty skończone to urządzeni
Bardziej szczegółowoRównania różniczkowe cząstkowe - metoda Fouriera. Przykładowe rozwiązania i wskazówki
INSTYTUT MATEMATYKI POLITECHNIKA KRAKOWSKA Dr Mrgret Wicik e-mi: mwicik@pk.edu.p Równni różniczkowe cząstkowe - metod Fourier. Przykłdowe rozwiązni i wskzówki zd.1. Wyznczyć funkcję opisującą drgni podłużne
Bardziej szczegółowoProgramowanie z więzami (CLP) CLP CLP CLP. ECL i PS e CLP
Progrmowie z więzmi (CLP) mjąc w PROLOGu: p(x) :- X < 0. p(x) :- X > 0. i pytjąc :- p(x). dostiemy Abort chcelibyśmy..9 CLP rozrzeszeie progrmowi w logice o kocepcję spełii ogriczeń rozwiązie = logik +
Bardziej szczegółowoZADANIA ZAMKNIĘTE. Zadanie 1 (1p). Ile wynosi 0,5% kwoty 120 mln zł? A. 6 mln zł B. 6 tys. zł C. 600 tys. zł D. 60 tys. zł
TRZECI SEMESTR LICEUM OGÓLNOKSZTAŁCĄCEGO DLA DOROSŁYCH PRACA KONTROLNA Z MATEMATYKI ROZSZERZONEJ O TEMACIE: Liczby rzeczywiste i wyrżeni lgebriczne Niniejsz prc kontroln skłd się z zdń zmkniętych ( zdń)
Bardziej szczegółowoWymagania edukacyjne z matematyki FUNKCJE dopuszczającą dostateczną dobrą bardzo dobrą
Wymgni edukcyjne z mtemtyki Kls IIC. Rok szkolny 013/014 Poziom podstwowy FUNKCJE Uczeń otrzymuje ocenę dopuszczjącą lub dostteczną, jeśli: rozpoznje przyporządkowni będące funkcjmi określ funkcję różnymi
Bardziej szczegółowoPodstawy układów logicznych
Podstwy ukłdów logicznych Prw logiki /9 Alger Boole Prw logiki WyrŜeni i funkcje logiczne Brmki logiczne Alger Boole /9 Alger Boole' Powszechnie stosowne ukłdy cyfrowe (logiczne) prcują w oprciu o tzw.
Bardziej szczegółowo3. F jest lewostronnie ciągła
Def. Zmienną losową nzywmy funkcję X: tką, że x R : { : X( ) < x }. Ozn.: zmist pisd A = { : X( ) < x } piszemy A = { X < x } zdrzenie poleg n tym, że X( )
Bardziej szczegółowoWymagania edukacyjne matematyka klasa 2b, 2c, 2e zakres podstawowy rok szkolny 2015/2016. 1.Sumy algebraiczne
Wymgni edukcyjne mtemtyk kls 2b, 2c, 2e zkres podstwowy rok szkolny 2015/2016 1.Sumy lgebriczne N ocenę dopuszczjącą: 1. rozpoznje jednominy i sumy lgebriczne 2. oblicz wrtości liczbowe wyrżeń lgebricznych
Bardziej szczegółowoMATeMAtyka 3 inf. Przedmiotowy system oceniania wraz z określeniem wymagań edukacyjnych. Zakres podstawowy i rozszerzony. Dorota Ponczek, Karolina Wej
Dorot Ponczek, Krolin Wej MATeMAtyk 3 inf Przedmiotowy system ocenini wrz z określeniem wymgń edukcyjnych Zkres podstwowy i rozszerzony Wyróżnione zostły nstępujące wymgni progrmowe: konieczne (K), podstwowe
Bardziej szczegółowoPropozycja przedmiotowego systemu oceniania wraz z określeniem wymagań edukacyjnych (zakres podstawowy)
Propozycj przedmiotowego systemu ocenini wrz z określeniem wymgń edukcyjnych (zkres podstwowy) Proponujemy, by omwijąc dne zgdnienie progrmowe lub rozwiązując zdnie, nuczyciel określł do jkiego zkresu
Bardziej szczegółowoEGZAMIN MATURALNY OD ROKU SZKOLNEGO 2014/2015 MATEMATYKA POZIOM ROZSZERZONY ROZWIĄZANIA ZADAŃ I SCHEMATY PUNKTOWANIA (A1, A2, A3, A4, A6, A7)
EGZAMIN MATURALNY OD ROKU SZKOLNEGO 01/015 MATEMATYKA POZIOM ROZSZERZONY ROZWIĄZANIA ZADAŃ I SCHEMATY PUNKTOWANIA (A1, A, A, A, A6, A7) GRUDZIEŃ 01 Klucz odpowiedzi do zdń zmkniętych Nr zdni 1 5 Odpowiedź
Bardziej szczegółowoZadania. I. Podzielność liczb całkowitych
Zdni I. Podzielność liczb cłkowitych. Pewn liczb sześciocyfrow kończy się cyfrą 5. Jeśli tę cyfrę przestwimy n miejsce pierwsze ze strony lewej to otrzymmy nową liczbę cztery rzy większą od poprzedniej.
Bardziej szczegółowoLogika Stosowana. Wykład 2 - Logika modalna Część 3. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2017/2018
Logika Stosowana Wykład 2 - Logika modalna Część 3 Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2017/2018 Marcin Szczuka (MIMUW) Logika Stosowana 2018 1 / 36 Plan wykładu
Bardziej szczegółowoKlasa druga: II TK1, II TK2 Poziom podstawowy 3 godz. x 30 tyg.= 90 nr programu DKOS /07 I. Funkcja kwadratowa
Kls drug: II TK1, II TK2 Poziom podstwowy 3 godz. 30 tyg.= 0 nr progrmu DKOS-5002-7/07 I. Funkcj kwdrtow Moduł - dził - L.p. temt Wykres 1 f()= 2 2 Zkres treści Pojęcie Rysownie wykresów Związek współczynnik
Bardziej szczegółowoMetody określania macierzy przemieszczeń w modelowaniu przewozów pasażerskich. mgr inż. Szymon Klemba Warszawa, r.
Metody określni mcierzy przemieszczeń w modelowniu przewozów psżerskich mgr inż. Szymon Klemb Wrszw, 2.07.2013r. SPIS TREŚCI 1 Podstwy teoretyczne 2 Rol mcierzy przemieszczeń 3 Metody wyznczni mcierzy
Bardziej szczegółowoN(0, 1) ) = φ( 0, 3) = 1 φ(0, 3) = 1 0, 6179 = 0, 3821 < t α 1 e t dt α > 0. f g = fg. f = e t f = e t. U nas: g = t α 1 g = (α 1)t α 2
Zdnie X,..., X 5 N(6, 5 ) Y,..., Y 6 N(7, 5 ) X N(6, 5 6 ) Ȳ N(7, 5 6 ) Przy złożeniu niezleżności zmiennych mmy: X Ȳ N(, ) po stndryzcji otrzymmy: Ȳ X N(, ) Pr(Ȳ X < ) = Pr(Ȳ X < ) = φ(, 3) = φ(, 3) =,
Bardziej szczegółowoO pewnych zgadnieniach optymalizacyjnych O pewnych zgadnieniach optymalizacyjnych
Spis tresci 1 Spis tresci 1 W wielu zgdnienich prktycznych brdzo wżne jest znjdownie optymlnego (czyli njlepszego z jkiegoś punktu widzeni) rozwiązni dnego problemu. Dl przykłdu, gdybyśmy chcieli podróżowć
Bardziej szczegółowoPEWNIK DEDEKINDA i jego najprostsze konsekwencje
PEWNIK DEDEKINDA i jego njprostsze konsekwencje W rozdzile ósmym stwierdziliśmy, że z podnych tm pewników nie wynik istnienie pierwistków z liczb rzeczywistych. Uzupe lnimy terz liste pewników jeszcze
Bardziej szczegółowoSzczegółowe wymagania edukacyjne z matematyki, klasa 2C, poziom podstawowy
Szczegółowe wymgni edukcyjne z mtemtyki, kls 2C, poziom podstwowy Wymgni konieczne () dotyczą zgdnieo elementrnych, stnowiących swego rodzju podstwę, ztem powinny byd opnowne przez kżdego uczni. Wymgni
Bardziej szczegółowoWymagania edukacyjne na poszczególne oceny z matematyki w klasie II poziom rozszerzony
Wymgni edukcyjne n poszczególne oceny z mtemtyki w klsie II poziom rozszerzony N ocenę dopuszczjącą, uczeń: rysuje wykres funkcji f ( x) x i podje jej włsności; sprwdz lgebricznie, czy dny punkt nleży
Bardziej szczegółowoSZTUCZNA INTELIGENCJA
SZTUCZNA INTELIGENCJA WYKŁAD 9. ZBIORY ROZMYTE Częstochow 204 Dr hb. inż. Grzegorz Dudek Wydził Elektryczny Politechnik Częstochowsk ZBIORY ROZMYTE Klsyczne pojęcie zbioru związne jest z logiką dwuwrtościową
Bardziej szczegółowo4.6. Gramatyki regularne
4.6. Grmtyki regulrne G = < N,T,P,Z > jest grmtyką prwostronnie liniową, jeśli jej produkcje mją postć: ( i) U xv x T * U,V N ( ii) U x G = < N,T,P,Z > jest grmtyką prwostronnie regulrną, jeśli jej produkcje
Bardziej szczegółowoWYMAGANIA EDUKACYJNE Z MATEMATYKI DLA KLASY VIII w roku szkolnym 2015/2016
WYMAGANIA EDUKACYJNE Z MATEMATYKI DLA KLASY VIII w roku szkolnym 015/016 oprcowł: Dnut Wojcieszek n ocenę dopuszczjącą rysuje wykres funkcji f ( ) i podje jej włsności sprwdz lgebricznie, czy dny punkt
Bardziej szczegółowo< f g = fg. f = e t f = e t. U nas: e t (α 1)t α 2 dt = 0 + (α 1)Γ(α 1)
Zdnie X,..., X 5 N(6, 5 ) Y,..., Y 6 N(7, 5 ) X N(6, 5 6 ) Ȳ N(7, 5 6 ) Przy złożeniu niezleżności zmiennych mmy: X Ȳ N(, ) po stndryzcji otrzymmy: Ȳ X N(, ) Pr(Ȳ X < ) = Pr(Ȳ X < ) = φ(, 3) = φ(, 3) =,
Bardziej szczegółowoKRYTERIA OCENIANIA ODPOWIEDZI Próbna Matura z OPERONEM. Matematyka Poziom podstawowy
KRYTERIA OCENIANIA ODPOWIEDZI Próbn Mtur z OPERONEM Mtemtyk Poziom podstwowy Mrzec 7 Zdni zmknięte Z kżdą poprwną odpowiedź zdjący otrzymuje punkt. Poprwn odpowiedź Wskzówki do rozwiązni. B 5 5 6 5 = =
Bardziej szczegółowoKatalog wymagań programowych na poszczególne stopnie szkolne. Matematyka. Poznać, zrozumieć
Ktlog wymgń progrmowych n poszczególne stopnie szkolne Mtemtyk. Poznć, zrozumieć Ksztłcenie w zkresie podstwowym. Kls 2 Poniżej podjemy umiejętności, jkie powinien zdobyć uczeń z kżdego dziłu, by uzyskć
Bardziej szczegółowoMacierz. Wyznacznik macierzy. Układ równań liniowych
Temt wykłdu: Mcierz. Wyzncznik mcierzy. Ukłd równń liniowych Kody kolorów: żółty nowe pojęcie pomrńczowy uwg kursyw komentrz * mterił ndobowiązkowy Ann Rjfur, Mtemtyk Zgdnieni. Pojęci. Dziłni n mcierzch.
Bardziej szczegółowoKRYTERIA OCENIANIA ODPOWIEDZI Próbna Matura z OPERONEM. Matematyka. Poziom rozszerzony. Listopad Wskazówki do rozwiązania zadania
Vdemecum i Testy GIELDAMATURALNA.PL ODBIERZ KOD DOSTĘPU* - Twój indywidulny klucz do wiedzy! *Kod n końcu klucz odpowiedzi Mtemtyk KRYTERIA OCENIANIA ODPOWIEDZI Próbn Mtur z OPERONEM Mtemtyk Poziom rozszerzony
Bardziej szczegółowoLekcja 3: Elementy logiki - Rachunek zdań
Lekcja 3: Elementy logiki - Rachunek zdań S. Hoa Nguyen 1 Materiał a) Zdanie proste, złożone b) Spójniki logiczne (funktory zdaniotwórcze):,,,,, (alternatywa wykluczająca - XOR). c) Tautologia, zdanie
Bardziej szczegółowoPierwiastek z liczby zespolonej
Pierwistek z liczby zespolonej Twierdzenie: Istnieje dokłdnie n różnych pierwistków n-tego stopni z kżdej liczby zespolonej różnej od zer, tzn. rozwiązń równni w n z i wszystkie te pierwistki dją się zpisć
Bardziej szczegółowoLogika Stosowana. Wykład 2 - Logika modalna Część 2. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017
Logika Stosowana Wykład 2 - Logika modalna Część 2 Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika Stosowana 2017 1 / 27 Plan wykładu
Bardziej szczegółowoMATURA 2014 z WSiP. Zasady oceniania zadań
MATURA z WSiP Mtemtyk Poziom podstwowy Zsdy ocenini zdń Copyright by Wydwnictw Szkolne i Pedgogiczne sp. z o.o., Wrszw Krtotek testu Numer zdni 6 7 8 9 6 7 8 9 Uczeń: Sprwdzn umiejętność (z numerem stndrdu)
Bardziej szczegółowoCzęść 2 7. METODA MIESZANA 1 7. METODA MIESZANA
Część 2 7. METODA MIESZANA 7. 7. METODA MIESZANA Metod mieszn poleg n jednoczesnym wykorzystniu metody sił i metody przemieszczeń przy rozwiązywniu ukłdów sttycznie niewyznczlnych. Nwiązuje on do twierdzeni
Bardziej szczegółowoLogika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017
Logika Stosowana Wykład 1 - Logika zdaniowa Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika Stosowana 2017 1 / 30 Plan wykładu 1 Język
Bardziej szczegółowoNauki ścisłe priorytetem społeczeństwa opartego na wiedzy Zbiór scenariuszy Mój przedmiot matematyka
Stron Wstęp Zbiór Mój przedmiot mtemtyk jest zestwem scenriuszy przeznczonych dl uczniów szczególnie zinteresownych mtemtyką. Scenriusze mogą być wykorzystywne przez nuczycieli zrówno n typowych zjęcich
Bardziej szczegółowoLegenda. Optymalizacja wielopoziomowa Inne typy bramek logicznych System funkcjonalnie pełny
Dr Glin Criow Legend Optymlizcj wielopoziomow Inne typy brmek logicznych System funkcjonlnie pełny Optymlizcj ukłdów wielopoziomowych Ukłdy wielopoziomowe ukłdy zwierjące więcej niż dw poziomy logiczne.
Bardziej szczegółowoUkłady równań liniowych Macierze rzadkie
wr zesie ń SciLb w obliczenich numerycznych - część Sljd Ukłdy równń liniowych Mcierze rzdkie wr zesie ń SciLb w obliczenich numerycznych - część Sljd Pln zjęć. Zdnie rozwiązni ukłdu równń liniowych..
Bardziej szczegółowoWymagania na poszczególne oceny z matematyki w Zespole Szkół im. St. Staszica w Pile. Kl. I poziom podstawowy
Wymgni n poszczególne oceny z mtemtyki w Zespole Szkół im. St. Stszic w Pile. LICZBY RZECZYWISTE Kl. I poziom podstwowy podje przykłdy liczb: nturlnych, cłkowitych, wymiernych, niewymiernych, pierwszych
Bardziej szczegółowoWYMAGANIA EDUKACYJNE Z MATEMATYKI W KLASIE Ib ZAKRES PODSTAWOWY
. LICZBY RZECZYWISTE podje przykłdy liczb: nturlnych, cłkowitych, wymiernych, niewymiernych, pierwszych i złożonych orz przyporządkowuje liczbę do odpowiedniego zbioru liczb stosuje cechy podzielności
Bardziej szczegółowoWykład Indukcja elektromagnetyczna, energia pola magnetycznego
Wykłd 3 3. ndukcj eektromgnetyczn, energi po mgnetycznego 3. ndukcyjność 3.. Trnsformtor Gdy dwie cewki są nwinięte n tym smym rdzeniu (często jedn n drugiej) to prąd zmienny w jednej wywołuje SEM indukcji
Bardziej szczegółowoWymagania edukacyjne z matematyki Klasa IIB. Rok szkolny 2013/2014 Poziom podstawowy
Wymgni edukcyjne z mtemtyki Kls IIB. Rok szkolny 2013/2014 Poziom podstwowy FUNKCJA KWADRATOWA Uczeń otrzymuje ocenę dopuszczjącą lub dostteczną, jeśli: 2 rysuje wykres funkcji f ( ) i podje jej włsności
Bardziej szczegółowoRównania i nierówności kwadratowe z jedną niewiadomą
50 REPETYTORIUM 31 Równni i nierówności kwdrtowe z jedną niewidomą Równnie wielominowe to równość dwóch wyrżeń lgebricznych Kżd liczb, któr po podstwieniu w miejscu niewidomej w równniu o jednej niewidomej
Bardziej szczegółowoZADANIA OTWARTE. Są więc takie same. Trzeba jeszcze pokazać, że wynoszą one 2b, gdyż taka jest długość krawędzi dwudziestościanu.
ZADANIA OTWARTE ZADANIE 1 DWUDZIESTOŚCIAN FOREMNY Wiemy, że z trzech złotych prostokątów możn skonstruowć dwudziestościn foremny. Wystrczy wykzć, że długości boków trójkąt ABC n rysunku obok są równe.
Bardziej szczegółowoKlucz odpowiedzi do zadań zamkniętych i schemat oceniania zadań otwartych
Klucz odpowiedzi do zdń zmkniętych i schemt ocenini zdń otwrtych Klucz odpowiedzi do zdń zmkniętych 4 5 6 7 8 9 0 4 5 6 7 8 9 0 D D D Schemt ocenini zdń otwrtych Zdnie (pkt) Rozwiąż nierówność x + x+ 0
Bardziej szczegółowoWspomaganie obliczeń za pomocą programu MathCad
Wprowdzenie do Mthcd' Oprcowł:M. Detk P. Stąpór Wspomgnie oliczeń z pomocą progrmu MthCd Definicj zmiennych e f g h 8 Przykłd dowolnego wyrŝeni Ay zdefinowc znienną e wyierz z klwitury kolejno: e: e f
Bardziej szczegółowoUszczelnienie przepływowe w maszyn przepływowych oraz sposób diagnozowania uszczelnienia przepływowego zwłaszcza w maszyn przepływowych
Uszczelnienie przepływowe w mszyn przepływowych orz sposób dignozowni uszczelnieni przepływowego zwłszcz w mszyn przepływowych Przedmiotem wynlzku jest uszczelnienie przepływowe mszyn przepływowych orz
Bardziej szczegółowoRACHUNEK CAŁKOWY. Funkcja F jest funkcją pierwotną funkcji f na przedziale I R, jeżeli. F (x) = f (x), dla każdego x I.
RACHUNEK CAŁKOWY Funkcj F jest funkcją pierwotną funkcji f n przedzile I R, jeżeli F (x) = f (x), dl kżdego x I. Przykłd. Niech f (x) = 2x dl x (, ). Wtedy funkcje F (x) = x 2 + 5, F (x) = x 2 + 5, F (x)
Bardziej szczegółowoTechnikum Nr 2 im. gen. Mieczysława Smorawińskiego w Zespole Szkół Ekonomicznych w Kaliszu
Technikum Nr 2 im. gen. Mieczysłw Smorwińskiego w Zespole Szkół Ekonomicznych w Kliszu Wymgni edukcyjne niezbędne do uzyskni poszczególnych śródrocznych i rocznych ocen klsyfikcyjnych z obowiązkowych zjęć
Bardziej szczegółowoWYMAGANIA NA OCENĘ DOPUSZCZAJĄCĄ DLA UCZNIÓW KLASY Ia TECHNIKUM
WYMAGANIA NA OCENĘ DOPUSZCZAJĄCĄ DLA UCZNIÓW KLASY I TECHNIKUM Egzmin poprwkowy n ocenę dopuszczjącą będzie obejmowł zdni zgodne z poniższymi wymgnimi n ocenę dopuszczjącą. Egzmin poprwkowy n wyższą ocenę
Bardziej szczegółowoIII. Rachunek całkowy funkcji jednej zmiennej.
III. Rchunek cłkowy funkcji jednej zmiennej. 1. Cłki nieoznczone. Niech f : I R, I R - przedził n prostej. Definicj 1.1. (funkcji pierwotnej) Funkcję F nzywmy funkcją pierwotną funkcji f n przedzile I,
Bardziej szczegółowoWymagania na poszczególne oceny z matematyki w Zespole Szkół im. St. Staszica w Pile. Kl. II poziom podstawowy
Wymgni n poszczególne oceny z mtemtyki w Zespole Szkół im. St. Stszic w Pile 1. SUMY ALGEBRAICZNE Kl. II poziom podstwowy Uczeń otrzymuje ocenę dopuszczjącą, jeśli: rozpoznje jednominy i sumy lgebriczne
Bardziej szczegółowo