Semantyka i Weryfikacja Programów - Laboratorium 7
|
|
- Paweł Grzelak
- 8 lat temu
- Przeglądów:
Transkrypt
1 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 prwdziwe nzyw się tutologią). Przykłdmi tkih prolemów są: - dowodzenie twierdzeń w klsyznym ujęiu, tzn. zy z złożeni wynik tez (implikj) - dnie równowżnośi wyrżeń (np. wzory uprszzjąe) - weryfikj, zy progrm dje wynik zgodny ze swą speyfikją - weryfikj, zy shemt elektronizny, n którym m yć wzorowny progrm, relizuje wymgną funkję. Podstwowy progrm utomtyznego weryfiktor tutologii zprezentowno n wykłdzie 5 i nstępnyh. Poniżej podno wersję zmodyfikowną, wygodniejszą w użyiu i optymlniejszą pod względem zsu olizeń. Niżej omówiono jedynie różnie w stosunku do wersji oryginlnej oprogrmowni. Deklrj typu dnyh prop Wprowdzono infiksowe konstruktory typu i zdefiniowno ih priorytety, Uzupełniono typ prop o symolizną prwdę i fłsz. Ułtwi to symolizne zpisywnie wyrżeń rhunku zdń. infix 6 **; infix 5 ++; dttype prop = At of string (* tom *)!! of prop (* negj *) ++ of prop * prop (* lterntyw - sum *) ** of prop * prop (* koniunkj - ilozyn *) T F; (* symolizne prwd i flsz *) Przykłd Poniżej zdefiniowno tomy i zpisno symoliznie wyrżenie p or q nd r. vl p = At "p"; vl q = At "q"; vl r = At "r"; vl wyrz = p ++ q ** r; (* uzyie nwisow nie jest koniezne *) Implikj i równowżność. Zdefiniowno je infiksowo jko funkje o odpowiednih prioryteth: infix 4 --> ; fun p --> q =!!p ++ q; infix 4 <=> ; fun p<=>q = p ** q ++!!p **!! q; Przeksztłenie do normlnej formy negyjnej. Funkję nnf weryfiktor uzupełniono o nowe wrinty z wprowdzonymi konstruktormi T i F. fun nnf (At ) = At nnf (!!(At )) =!!(At ) nnf (!!T) = F (* zprzezenie prwdy jest flszem *) nnf (!!F) = T nnf T = T (* rk negji, konstruktor pozostje *) nnf F = F nnf (!!(!! p)) = nnf p (* podwojn negj *) nnf (!!((p++q))) = nnf (!!p **!!q) (* negj sumy,ilozyn negji *) nnf (!!((p**q)) = nnf (!!p ++!!q) nnf (p**q) = (nnf p) ** (nnf q) nnf (p++q) = (nnf p) ++ (nnf q); - -
2 Knonizn form koniunkyjn. Przytozone niżej funkje roz i nf nie wymgją wprowdzeni zmin. fun roz(p,q**r) = roz(p,q) ** roz(p,r) (* p+q*r = (p+q)*(p+r) *) roz(q**r,p) = roz(q,p) ** roz(r,p) (* q*r+p = (q+p)*(r+p) *) roz(p,q) = p ++ q ; (* zden skldnik nie jest koniunkj *) fun nf (p ++ q) = roz(nf p, nf q) (* Alt zstpione przez roz (j.w.) *) nf (p ** q) = (nf p) ** (nf q) (* rozkld skldnikow ilozynu *) nf p = p; (* pojedynzy tom lu stl *) Przeieg weryfikji. W lterntywh opróz tomów i ih negji występują terz konstruktor T i F. Sprwdznie poprwnośi wykonuje się w dwóh etph:. Sprwdzenie z pomoą podnej niżej funkji hk_lt, zy w lterntywie znjduje się T (wtedy jest on tutologią). (* sprwdzenie, zy w lterntywie znjduje się T *) fun hk_lt (T) = true (* tk, lterntyw jest tutologi *) hk_lt(p++q) = (hk_lt p) orelse (hk_lt q) hk_lt _ = flse;. Wyznzenie zęśi wspólnej list tomów znegownyh i nieznegownyh, podonie jk w dotyhzsowym weryfiktorze. Funkje neg i pos uzupełniono o wrinty z nowymi konstruktormi T i F (le są one pomijne). exeption NieCNF; (* wyrzenie nie przeksztlone do CNF *) fun pos (At ) = [] pos (!! (At _)) = [] pos (p++q) = pos pos q pos T = [] pos F = [] pos _ = rise NieCNF; fun neg (At _) = [] neg (!! (At )) = [] neg (p ++ q) = neg neg q neg T = [] neg F = [] neg _ = rise NieCNF; infix mem; fun x mem [] = flse x mem (y::l) = (x=y) orelse (x mem l); (* zes wspoln dwu list *) fun inter ([],ys)=[] inter (x::xs,ys) = if x mem ys then x::inter(xs,ys) else inter(xs,ys); Funkj sprwdzją (* funkj sprwdzj *) fun tut (p**q) = tut p ndlso tut q(* p,q - zynniki Kon *) tut p = (hk_lt p) orelse ([] <> inter(pos p, neg p)); fun hek(s) = tut (nf (nnf (s))); (* ziorz funkj *) Cły przedstwiony wyżej progrm znjduje się w złązonym pliku l_5.sml. - -
3 Przykłdy P.. Dowód twierdzeni Prwdziwość koniunkji implikuje prwdziwość lterntywy, tzn. p q ( p + q) vl p = At "p" nd q = At "q"; (* deklrje symoli jko tomy *) vl tw = p ** q --> (p ++ q); (* symolizny zpis twierdzeni *) hek tw; (* utomtyzn weryfikj *) P.. Równowżność wzorów A. Wykznie, że wyrżenie p + p p + q jest prwdziwe (true) dl dowolnyh p, q vl wyr = p ++!! (p **!!(p ++ q)); (* zpis wyrżeni *) hek wyr; (* weryfikj *) B. Sprwdzenie, że wyrżeni p q i ( p q) ( q p) są równowżne. vl wz = p <=> q; (* pierwszy wzor *) vl wz = (p-->q) ** (q-->p); (* drugi *) vl tw = wz <=> wz; (* twierdzenie o ih rownowznośi *) hek tw; (* weryfikj *) P.. Sterownie logizne Dny jest mikrokomputerowy ukłd START-STOP włązni i wyłązni pewnej mszyny. s t r t s t n s t o p µ P o u t M s t n Speyfikj progrmu m postć: OUT = ( START + STAN) STOP Sterownie jest relizowne przez progrm mikroproesor w dziedzinie oolowskiej. Jego zpis zgodny z metodą FBD (zo. wykł. 6) jest reprezentowny w posti rmek AND, OR, NOT (loków funkyjnyh) w posti ukłdu s t r t s t n O R y A N D o u t s t o p N O T y Niżej podno przykłdowy progrm relizująy tkie sterownie (wrtość logizn true, flse). (* funkje iliotezne występująe n shemie *) fun OR(x,x) = x orelse x; fun AND(x,x) = x ndlso x; fun NOT(x) = not x; (* funkj steruj *) fun strt_stop(strt, stn, stop) = let vl y = OR(strt,stn) (* wyjśie loku pierwszego *) vl y = NOT(stop) (* wyjśie loku drugiego *) vl y = AND(y,y); (* wyjśie loku trzeiego *) in y end; (* olizenie wyjsi ukldu - sterowni *) vl out = strt_stop(true, flse, flse); (* rezultt ool *) - -
4 Weryfikj progrmu sterująego Relizj i weryfikj w dziedzinie symoliznej jest nstępują: (* definij tomów reprezentujyh sygnly *) vl START = At "strt" nd STOP = At "stop" nd STAN = At "stn"; (* funkje symolizne *) fun OR_S(X,X) = X++X; fun AND_S(X,X) = X**X; fun NOT_S(X) =!!X; (* symolizne wykonnie odpowidje funkji strt_stop*) vl Y = OR_S(START,STAN); vl Y = NOT_S(STOP); vl Y = AND_S(Y,Y); vl OUT = Y; (* symolizny rezultt wykonni progrmu *) vl SPEC_OUT = (START ++ STAN) **!! STOP; (* speyfikj symolizn *) (* twierdzenie o rownowznosi speyfikji i wyniku *) vl tw = SPEC_OUT <=> OUT; hek tw; (* weryfikj - rezulttem jest true *) P. 4. Shemty elektronizne Progrmy relizująe funkje zezpiezeń są zęsto wzorowne n sprwdzonyh rozwiąznih sprzętowyh. N poniższyh rysunkh pokzno kolejno: ) ideę funkjonowni multiplekser 4: (4WE, WY) ) symol logizny multiplekser ) relizję funkji y = + + 4) relizję funkji y = d + d + d + d + d + d + d + d () () out S S () (4) S S MUX out S S MUX S S MUX y d y - 4 -
5 Speyfikj i relizj multiplekser Speyfikję możn zpisć jko y=!s!s x +!s s x +!s s x + s s x. Relizj multiplekser w dziedzinie oolowskiej jest nstępują: fun mux4(s,s,x,x,x,x) = if not s ndlso not s then x else if s ndlso not s then x else if not s ndlso s then x else x; Speyfikję możn zpisć symoliznie stosują pomonize wielowejśiowe funkje koniunkji i lterntywy. (* relizj symolizn funkji wielowejsiowyh *) fun OR4_S(X,X,X,X4) = X ++ X ++ X ++ X4; fun AND_S(X,X,X) = X ** X ** X; fun MUX4_S(S,S,X,X,X,X) = OR4_S( AND_S(!! S,!!S, X), AND_S( S,!!S, X), AND_S(!! S, S, X), AND_S( S, S, X) ); Sprwdzenie relizji funkji z rys. (* relizj symolizn funkji z rys. *) vl A = At "A" nd B = At "B" nd C = At "C"; vl ukld = MUX4_S(B, A, F, T, C,!!C); (* speyfikj *) vl spe = A ** B **!!C ++ A **!!B ** C ++!!A ** B; (* twierdzenie *) vl tw = ukld <=> spe; (* sprwdzenie *) hek tw; Rezulttem jest true, o potwierdz poprwność relizji. Sprwdzenie relizji funkji z rys. 4 (* relizj symolizn funkji z rys.4 *) vl A = At "A" nd B = At "B" nd C = At "C" nd D = At "D"; fun NAND_S(X,X) =!! (X ** X); (* definij funkji NAND *) vl Y = NAND_S(!!C,D); vl Y = MUX4_S(B, A, F, Y,!!C, Y); (* speyfikj *) vl spe = A ** B ** C ** D ++!!A ** B ** C ** D ++!!A ** B **!!C **!!D ++!!A ** B ** C **!!D ++ A **!!B **!!C **!!D ++ A **!!B **!!C ** D ++ A ** B **!!C **!!D ++ A ** B ** C **!!D ; (* twierdzenie *) vl tw = Y <=> spe; hek tw; (* sprwdzenie - trw dlugo ok. sekund!!!*) Poleeni - 5 -
6 . Zweryfikuj formlnie podne niżej równowżnośi: d + d = d + d + d = d. Zrelizuj (nrysuj shemt) i zweryfikuj formlnie ukłd multiplekser zudownego wyłąznie z wielowejśiowyh rmek NAND. Wskzówki. Wykorzystj speyfikję ukłdu w posti lterntywy koniunkji. Skorzystj z tożsmośi:!( ) =! Zstosuj w prktye przeksztłeni: + =!(!(+)) =!(!!) - 6 -
7 Zdni do smodzielnego rozwiązni. Udowodnij, że z złożeni ( + ) ) wynik tez (implikj).. Sprwdź formlnie, zy prwdziwe są nstępująe wzory? ) + + = ) + = ) + = +. Jką funkję relizuje przedstwiony n poniższym rysunku ukłd? Wykż formlnie. S S MUX f 4. Sprwdź formlnie które z poniższyh wzorów są prwdziwe? ) [( p q) r] [ p ( q r)] ) [( p q) r] [( p q) q r)] 5. Sprwdź formlnie które z poniższyh wzorów są prwdziwe? ) ( p + q) p + r) q + r) ( p + q) p + r) ) q [( p + q) p] 6. Dekoder jest ukłdem o n wejśih i n wyjśih. Do dekoder :4 dołązono sygnły A, B. Zproponuj ukłd, który dołązony do wyjść dekoder odtworzy sygnły A,B. Wykż formlnie poprwność dziłni. 7. Wykż słuszność nstępująego rozumowni: DX A? B A B Jeśli student nie złoży projektu, to nie zlizy przedmiotu X. Jeśli student nie zlizy przedmiotu X, to nie przejdzie n nstępny rok. Ztem jeśli student przeszedł n nstępny rok, to znzy, że musił złożyć projekt z przedmiotu X. Wskzówk. Jko tomy możn przyjąć nstępująe zdni logizne: ) student skłd projekt, ) przedmiot X zlizony, ) student przehodzi n nstępny rok
8 8. Zproponuj ukłd, który 4-itowe słowo uzupełni 5-tym item przystośi (even), tzn. słowo oryginlne słowo z item przystośi Jką funkję logizną relizuje ukłd? Podj speyfikję i zweryfikuj formlnie. Wsk.: Użyj rmek EXOR 9. Wykż, że poniższy ukłd relizuje podną funkję. x = ( + d) x d. Koder m zmienić kod unitrny z n kod BCD. Jeżeli wyjśiom,,, d przyporządkowć wgi =, =, =4, d=8, to otrzymuje się nstępująe wyrżeni logizne =x +x +x 5 +x 7 +x 9 =x +x +x 6 +x 7 =x 4 +x 5 +x 6 +x 7 d=x 8 +x 9 x x x... x 9 d Zproponuj progrmową relizję koder i wykż, że odpowid on speyfikji
9 . Dw spośród sześiu sygnłów sterująyh odłąznikmi trnsformtorów i odłąznikiem sekyjnym w stji dwutrnsformtorowej mją postć x = +, z = e d + + d gdzie:, stny przekźników podnpięiowyh ( jest npięie (true)), d stny odłązników trnsformtorów ( zmknięty) e stn odłąznik sekyjnego ( zmknięty) x z sygnł otwierni odłąznik trnsformtor I ( otwiernie) sygnł zmykni odłąznik sekyjnego ( zmyknie). Nrysuj shemt złożony z dowolnyh rmek i zweryfikuj go.. Udowodnij formlnie, że nstępująe dw ukłdy kominyjnie nie generują identyznyh wyjść. Y Y d. Górny moduł wyświetlz 7-segmentowego jest zplny zgodnie z funkją x = d + d + d + Zproponuj ukłd złożony z multiplekser 4: i rmek, który zrelizuje tką funkję. Wykż formlnie jego poprwność
Semantyka 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ółowo2. Funktory TTL cz.2
2. Funktory TTL z.2 1.2 Funktory z otwrtym kolektorem (O.. open olletor) ysunek poniżej przedstwi odnośny frgment płyty zołowej modelu. Shemt wewnętrzny pojedynzej rmki NAND z otwrtym kolektorem (O..)
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ółowoFUNKCJA KWADRATOWA. RÓWNANIA I NIERÓWNOŚCI DRUGIEGO STOPNIA.
Oprownie: Elżiet Mlnowsk FUNKCJA KWADRATOWA. RÓWNANIA I NIERÓWNOŚCI DRUGIEGO STOPNIA. Określeni podstwowe: Jeżeli kżdej lizie x z pewnego zioru lizowego X przporządkown jest dokłdnie jedn liz, to mówim,
Bardziej szczegółowoAlgebra Boola i podstawy systemów liczbowych. Ćwiczenia z Teorii Układów Logicznych, dr inż. Ernest Jamro. 1. System dwójkowy reprezentacja binarna
lger Bool i podstwy systemów liczowych. Ćwiczeni z Teorii Ukłdów Logicznych, dr inż. Ernest Jmro. System dwójkowy reprezentcj inrn Ukłdy logiczne operują tylko n dwóch stnch ozncznymi jko zero (stn npięci
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ół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ół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ół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ół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ół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ół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ół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ółowo2.3.1. Iloczyn skalarny
2.3.1. Ilon sklrn Ilonem sklrnm (sklrowm) dwóh wektorów i nwm sklr równ ilonowi modułów ou wektorów pre kosinus kąt wrtego międ nimi. α O Rs. 2.8. Ilustrj do definiji ilonu sklrnego Jeżeli kąt międ wektormi
Bardziej szczegółowoZADANIA Z ZAKRESU SZKOŁY PODSTAWOWEJ, GIMNAZJUM I SZKOŁY ŚREDNIEJ
ZADANIA Z ZAKRESU SZKOŁY PODSTAWOWEJ, GIMNAZJUM I SZKOŁY ŚREDNIEJ Nrsowć wkres funkji: f() = + Nrsowć wkres funkji: f() = + Nrsowć wkres funkji: f() = + + Dl jkih wrtośi A, B zhodzi równość: + +5+6 = A
Bardziej szczegółowoa) b) Rys. 6.1. Schemat ideowo-konstrukcyjny układu do przykładu 6.1 a) i jego schemat blokowy
04 6. Ztoownie metod hemtów lokowh do nliz włśiwośi ukłdów utomtki Shemt lokow ukłdu utomtki jet formą zpiu mtemtznego modelu dnego ukłdu, n podtwie której, wkorztują zd przedtwione rozdzile 3.7, możn
Bardziej szczegółowoXI. Rachunek całkowy funkcji wielu zmiennych. 1. Całka podwójna Całka podwójna po prostokącie. Oznaczenia:
XI. Rhunek łkowy funkji wielu zmiennyh. 1. Cłk podwójn. 1.1. Cłk podwójn po prostokąie. Oznzeni: P = {(x, y) R 2 : x b, y d} = [, b] [, d] - prostokąt n płszzyźnie, f(x, y) - funkj określon i ogrnizon
Bardziej szczegółowoKONKURS MATEMATYCZNY dla uczniów gimnazjów w roku szkolnym 2012/13. Propozycja punktowania rozwiązań zadań
KONKURS MATEMATYCZNY dl uczniów gimnzjów w roku szkolnym 0/ II etp zwodów (rejonowy) 0 listopd 0 r. Propozycj punktowni rozwiązń zdń Uwg: Z kżde poprwne rozwiąznie inne niż przewidzine w propozycji punktowni
Bardziej szczegółowoWeryfikacja modelowa jest analizą statyczną logiki modalnej
Weryfikcj modelow jest nlizą sttyczną logiki modlnej Mrcin Sulikowski MIMUW 15 grudni 010 1 Wstęp Weryfikcj systemów etykietownych 3 Flow Logic 4 Weryfikcj modelow nliz sttyczn Co jest czym czego? Weryfikcj
Bardziej szczegółowoG i m n a z j a l i s t ó w
Ko³o Mtemtyzne G i m n z j l i s t ó w 1. Lizy,, spełniją wrunki: (1) ++ = 0, 1 () + + 1 + + 1 + = 1 4. Olizyć wrtość wyrżeni w = + + Rozwiąznie Stowrzyszenie n rzez Edukji Mtemtyznej Zestw 7 szkie rozwizń
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ół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ół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ół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ół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ółowoMateriały diagnostyczne z matematyki poziom podstawowy
Mteriły dignostyczne z mtemtyki poziom podstwowy czerwiec 0 Klucz odpowiedzi do zdń zmkniętych orz schemt ocenini Mteriły dignostyczne przygotowł Agt Siwik we współprcy z nuczycielmi mtemtyki szkół pondgimnzjlnych:
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ół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ół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ół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ół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ół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ół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ół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ół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ółowoChapter 1: Boolean Logic
Elements of Computing Systems, Nisn & Schocken, MIT Press, 2005 www.idc.c.il/tecs Chpter 1: Boolen Logic Usge nd Copyright Notice: Copyright 2005 Nom Nisn nd Shimon Schocken This presenttion contins lecture
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ółowoWYMAGANIA EDUKACYJNE NIEZBĘDNE DO UZYSKANIA POSZCZEGÓLNYCH ŚRÓDROCZNYCH I ROCZNYCH OCEN KLASYFIKACYJNYCH Z MATEMATYKI POZIOM PODSTAWOWY KLASA 2
WYMAGANIA EDUKACYJNE NIEZBĘDNE DO UZYSKANIA POSZCZEGÓLNYCH ŚRÓDROCZNYCH I ROCZNYCH OCEN KLASYFIKACYJNYCH Z MATEMATYKI POZIOM PODSTAWOWY KLASA 2 1. SUMY ALGEBRAICZNE rozpoznje jednominy i sumy lgebriczne
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ół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ół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ół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ół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ółowoKombinacyjne układy logiczne (A 2)
POLITECHNIKA LSKA W GLIWICACH WYDZIAŁ INYNIERII RODOWISKA I ENERGETYKI INSTYTUT: MASZYN I URZDZE ENERGETYCZNYCH Kominyjne ukłdy logizne Lortorium utomtyki (A 2) Oprowł: mgr in. Dniel Wel Sprwdził: dr in.
Bardziej szczegółowoRys Wyrównanie spostrzeżeń zawarunkowanych jednakowo dokładnych C. KRAKOWIANY
Rys. 9.. Wyrównnie spostrzeżeń zwrunkownyh jednkowo dokłdnyh C. KRAKOWIANY 9.9. Informje wstępne o krkowinh Krkowin jest zespołem liz rozmieszzonyh w prostokątnej teli o k kolumnh i w wierszh, dl którego
Bardziej szczegółowoGrażyna Nowicka, Waldemar Nowicki BADANIE RÓWNOWAG KWASOWO-ZASADOWYCH W ROZTWORACH ELEKTROLITÓW AMFOTERYCZNYCH
Ćwiczenie Grżyn Nowick, Wldemr Nowicki BDNIE RÓWNOWG WSOWO-ZSDOWYC W ROZTWORC ELETROLITÓW MFOTERYCZNYC Zgdnieni: ktywność i współczynnik ktywności skłdnik roztworu. ktywność jonów i ktywność elektrolitu.
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ółowoH. Dąbrowski, W. Rożek Próbna matura, grudzień 2014 r. CKE poziom rozszerzony 1. Zadanie 15 różne sposoby jego rozwiązania
H ąrowski, W Rożek Prón mtur, grudzień 014 r K poziom rozszerzony 1 Zdnie 15 różne sposoy jego rozwiązni Henryk ąrowski, Wldemr Rożek Zdnie 15 Punkt jest środkiem oku prostokąt, w którym Punkt leży n oku
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ół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ół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ół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ółowoLista 4 Deterministyczne i niedeterministyczne automaty
Uniwersytet Zielonogórski Instytut Sterowni i Systemów Informtycznych Teoretyczne Podstwy Informtyki List 4 Deterministyczne i niedeterministyczne utomty Wprowdzenie Automt skończony jest modelem mtemtycznym
Bardziej szczegółowoAutor: Zbigniew Tuzimek Opracowanie wersji elektronicznej: Tomasz Wdowiak
DNIE UKŁDÓW LOKD UTOMTYCZNYCH uor: Zigniew Tuzimek Oprcownie wersji elekronicznej: Tomsz Wdowik 1. Cel i zkres ćwiczeni Celem ćwiczeni jes zpoznnie sudenów z udową orz dziłniem zezpieczeń i lokd sosownych
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ółowomgh. Praca ta jest zmagazynowana w postaci energii potencjalnej,
Wykłd z fizyki. Piot Posmykiewicz 49 6-4 Enegi potencjln Cłkowit pc wykonn nd punktem mteilnym jest ówn zminie jego enegii kinetycznej. Często jednk, jesteśmy zinteesowni znlezieniem pcy jką sił wykonł
Bardziej szczegółowoRealizacje zmiennych są niezależne, co sprawia, że ciąg jest ciągiem niezależnych zmiennych losowych,
Klsyczn Metod Njmniejszych Kwdrtów (KMNK) Postć ć modelu jest liniow względem prmetrów (lbo nleży dokonć doprowdzeni postci modelu do liniowości względem prmetrów), Zmienne objśnijące są wielkościmi nielosowymi,
Bardziej szczegółowo2. PODSTAWY STATYKI NA PŁASZCZYŹNIE
M. DSTY STTYKI N ŁSZZYŹNIE. DSTY STTYKI N ŁSZZYŹNIE.. Zsdy dynmiki Newton Siłą nzywmy wektorową wielkość, któr jest mirą mechnicznego oddziływni n ciło ze strony innych cił. dlszej części ędziemy rozptrywć
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ółowoBardzo krótki wstęp do elektroniki cyfrowej
Brdzo krótki wstęp do elektroniki cyfrowej Słwomir Mmic http://min5.mu.edu.pl/~zfp/sm/home.html Pln ) Ukłdy logiczne b) Algebr Boole i jej relizcj sprzętow c) Brmki są dwie? d) Prosty przykłd sumtor e)
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ółowoWYKŁAD 7 CYFROWE UKŁADY SCALONE
65 KŁAD 7 CYFRO UKŁADY SCALONE Ukłdy nlogowe są przystosowne do przetwrzni npięć (lu prądów), których wrtości zwierją się w pewnym przedzile ukłd nlogowy wrtości Ukłdy cyfrowe służą do przetwrzni sygnłów
Bardziej szczegółowoWYZNACZNIKI. . Gdybyśmy rozważali układ dwóch równań liniowych, powiedzmy: Takie układy w matematyce nazywa się macierzami. Przyjmijmy definicję:
YZNACZNIKI Do opisu pewnh oiektów nie wstrz użć liz. ie n przkłd, że do opisni sił nleż użć wektor. Sił to przeież nie tlko wielkość le i jej punkt przłożeni, zwrot orz kierunek dziłni. Zte jedną lizą
Bardziej szczegółowoJĘZYKI FORMALNE I AUTOMATY SKOŃCZONE
ZBIÓR ZADAŃ do WYKŁADU prof. Tdeusz Krsińskiego JĘZYKI FORMALNE I AUTOMATY SKOŃCZONE rozdził 2. Automty skończone i języki regulrne Wyrżeni i języki regulrne Zdnie 2.1. Wypisz wszystkie słow nleżące do
Bardziej szczegółowoKARTA WZORÓW MATEMATYCZNYCH. (a + b) c = a c + b c. p% liczby a = p a 100 Liczba x, której p% jest równe a 100 a p
KRT WZORÓW MTEMTYZNY WŁSNOŚI DZIŁŃ Pwo pzemiennośi dodwni + = + Pwo łąznośi dodwni + + = ( + ) + = + ( + ) Pwo zemiennośi mnoŝeni = Pwo łąznośi mnoŝeni = ( ) = ( ) Pwo ozdzielnośi mnoŝeni względem dodwni
Bardziej szczegółowoDorota Ponczek, Karolina Wej. MATeMAtyka 2. Plan wynikowy. Zakres podstawowy
Dorot Ponczek, rolin Wej MATeMAtyk Pln wynikowy Zkres podstwowy MATeMAtyk. Pln wynikowy. ZP Oznczeni: wymgni konieczne, P wymgni podstwowe, R wymgni rozszerzjące, D wymgni dopełnijące, W wymgni wykrczjące
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ół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ół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ół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ółowoAnaliza matematyczna i algebra liniowa
Anliz mtemtyczn i lgebr liniow Mteriły pomocnicze dl studentów do wykłdów Mcierze liczbowe i wyznczniki. Ukłdy równń liniowych. Mcierze. Wyznczniki. Mcierz odwrotn. Równni mcierzowe. Rząd mcierzy. Ukłdy
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ół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ół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ółowoWykład 6 Dyfrakcja Fresnela i Fraunhofera
Wykłd 6 Dyfrkcj Fresnel i Frunhofer Zjwisko dyfrkcji (ugięci) świtł odkrył Grimldi (XVII w). Poleg ono n uginniu się promieni świetlnych przechodzących w pobliżu przeszkody (np. brzeg szczeliny). Wyjśnienie
Bardziej szczegółowoZwróć uwagę. Czytaj uważnie treści zadań i polecenia. W razie potrzeby przeczytaj je kilka razy.
Zwróć uwgę Poniżej znjdziesz kilk wskzówek, którą mogą ci ułtwić npisnie sprwdzinu szóstoklsisty. Njwżniejsz z nich to: Czytj uwżnie treści zdń i poleceni. W rzie potrzey przeczytj je kilk rzy. Zwrcj uwgę
Bardziej szczegółowoDZIAŁ 2. Figury geometryczne
1 kl. 6, Scenriusz lekcji Pole powierzchni bryły DZAŁ 2. Figury geometryczne Temt w podręczniku: Pole powierzchni bryły Temt jest przeznczony do relizcji podczs 2 godzin lekcyjnych. Zostł zplnowny jko
Bardziej szczegółowoPrzedmiotowy system oceniania wraz z określeniem wymagań edukacyjnych klasa druga zakres podstawowy
Przedmiotowy system ocenini wrz z określeniem wymgń edukcyjnych kls drug zkres podstwowy Wymgni konieczne (K) dotyczą zgdnień elementrnych, stnowiących swego rodzju podstwę, ztem powinny być opnowne przez
Bardziej szczegółowozestaw DO ĆWICZEŃ z matematyki
zestaw DO ĆWICZEŃ z mtemtyki poziom rozszerzony rozumownie i rgumentcj krty prcy ZESTAW I Zdnie 1. Wykż, że odcinek łączący środki dwóch dowolnych oków trójkąt jest równoległy do trzeciego oku i jest równy
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ółowoZnajdowanie analogii w geometrii płaskiej i przestrzennej
Gimnzjum n 17 im. Atu Gottge w Kkowie ul. Litewsk 34, 30-014 Kków, Tel. (12) 633-59-12 Justyn Więcek, Atu Leśnik Znjdownie nlogii w geometii płskiej i pzestzennej opiekun pcy: mg Doot Szczepńsk Kków, mzec
Bardziej szczegółowoROZWIĄZYWANIE MAŁYCH TRÓJKĄTÓW SFERYCZNYCH
Mteriły dydktyzne Geodezj geometryzn Mrin Ligs, Ktedr Geomtyki, Wydził Geodezji Górnizej i Inżynierii Środowisk OZWIĄZYWANIE MAŁYCH TÓJKĄTÓW SFEYCZNYCH rezentowne metody rozwiązywni młyh trójkątów sferyznyh
Bardziej szczegółowoWymagania edukacyjne z matematyki
Wymgni edukcyjne z mtemtyki LICEUM OGÓLNOKSZTAŁCĄCE Kls II Poniżej przedstwiony zostł podził wymgń edukcyjnych n poszczególne oceny. Wiedz i umiejętności konieczne do opnowni (K) to zgdnieni, które są
Bardziej szczegółowoJest błędem odwołanie się do zmiennej, której nie przypisano wcześniej żadnej wartości.
Zmienne Po nieco intuicyjnych początkch, zjmiemy się obiektmi, n których opier się progrmownie są to zmienne. Zmienne Progrmy operują n zmiennych. Ndwnie im wrtości odbyw się poprzez instrukcję podstwieni.
Bardziej szczegółowoWprowadzenie do Sieci Neuronowych Łańcuchy Markowa
Projekt pn. Wzmonienie potenjłu dydktyznego UMK w Toruniu w dziedzinh mtemtyzno-przyrodnizyh relizowny w rmh Poddziłni 4.1.1 Progrmu Operyjnego Kpitł Ludzki Wprowdzenie do Siei Neuronowyh Łńuhy Mrkow Mj
Bardziej szczegółowoKlucz odpowiedzi do zadań zamkniętych oraz schemat oceniania
Klucz odpowiedzi do zdń zmkniętych orz schemt ocenini sierpień 0 Poziom Podstwowy Schemt ocenini sierpień Poziom podstwowy Klucz punktowni zdń zmkniętych Nr zdni 4 5 6 7 8 9 0 4 5 6 7 8 9 0 4 5 Odpowiedź
Bardziej szczegółowoWYKŁAD 5. Typy macierzy, działania na macierzach, macierz układu równań. Podstawowe wiadomości o macierzach
Mtemtyk I WYKŁD. ypy mcierzy, dziłni n mcierzch, mcierz ukłdu równń. Podstwowe widomości o mcierzch Ogóln postć ukłdu m równń liniowych lgebricznych z n niewidomymi x x n xn b x x n xn b, niewidome: x,
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 n kierunku Biologi w SGGW Zgdnieni.
Bardziej szczegółowoWykªad 8. Pochodna kierunkowa.
Wykªd jest prowdzony w opriu o podr znik Anliz mtemtyzn 2. enije, twierdzeni, wzory M. Gewert i Z. Skozyls. Wykªd 8. ohodn kierunkow. enij Nieh funkj f b dzie okre±lon przynjmniej n otozeniu punktu (x
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ół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ółowoWYMAGANIA I KRYTERIA OCENIANIA DO EGZAMINU POPRAWKOWEGO MATEMATYKA. Zakresie podstawowym i rozszerzonym. Klasa II rok szkolny 2011/2012
mgr Jolnt Chlebd mgr Mri Mślnk mgr Leszek Mślnk mgr inż. Rent itl mgr inż. Henryk Stępniowski Zespół Szkół ondgimnzjlnych Młopolsk Szkoł Gościnności w Myślenicch WYMAGANIA I RYTERIA OCENIANIA DO EGZAMINU
Bardziej szczegółowoSemantyka i Weryfikacja Programów - Laboratorium 3
Semantyka i Weryfikacja Programów - Laboratorium 3 Cz. I. Rachunek w sklepie Problem. Kasa sklepu zawiera rejestr danych łączących kody artykułów (np. paskowe) z ich nazwami i cenami. Konkretny zakup kasa
Bardziej szczegółowosystem identyfikacji wizualnej forma podstawowa karta A03 część A znak marki
krt A03 część A znk mrki form podstwow Znk mrki Portu Lotniczego Olsztyn-Mzury stnowi połączenie znku grficznego (tzw. logo) z zpisem grficznym (tzw. logotypem). Służy do projektowni elementów symboliki
Bardziej szczegółowoWykład 2. Funkcja logarytmiczna. Definicja logarytmu: Własności logarytmu: Logarytm naturalny: Funkcje trygonometryczne
Wykłd 2 Funkcj rytmiczn, Deinicj rytmu: Włsności rytmu: 2 u 2 u b c c b 2 2 Lorytm nturlny: Funkcje tryonometryczne Funkcje tryonometryczne kąt ostreo: b c sin cos t ct b c b c b Mir łukow kąt wyrż się
Bardziej szczegółowoCo można zrobić za pomocą maszyny Turinga? Wszystko! Maszyna Turinga potrafi rozwiązać każdy efektywnie rozwiązywalny problem algorytmiczny!
TEZA CHURCHA-TURINGA Mzyn Turing: m końzenie wiele tnów zpiuje po jenym ymolu n liniowej tśmie Co możn zroić z pomoą mzyny Turing? Wzytko! Mzyn Turing potrfi rozwiązć kży efektywnie rozwiązywlny prolem
Bardziej szczegółowoElementy znajdujące się w opakowaniu mogą różnić się w zależności od kraju, w którym zakupiono urządzenie. Przewód zasilający do gniazdka ściennego
Podręznik szykiej osługi Zznij tutj ADS-2100 Przed skonfigurowniem urządzeni zpoznj się z Przewodnikiem Bezpiezeństw Produktu urządzeni. Nstępnie zpoznj się z niniejszym Podręznikiem szykiej osługi w elu
Bardziej szczegółowoELEKTRONIKA CYFROWA. Materiały y pomocnicze do wykład sem.. 1
ELEKTRONIKA CYFROWA Mteriły y pomocnicze do wykłd dów Dl AiZ zoczne inŝynierskie, sem Wykorzystne mteriły Łub T Ukłdy logiczne, PW 26 Wenck A NOTATKI Z TECHNIKI CYFROWEJ PW 26 wwwelektronikorgpl Wprowdzenie
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ółowoUkład elektrohydrauliczny do badania siłowników teleskopowych i tłokowych
TDUSZ KRT TOMSZ PRZKŁD Ukłd elektrohydruliczny do bdni siłowników teleskopowych i tłokowych Wprowdzenie Polsk Norm PN-72/M-73202 Npędy i sterowni hydruliczne. Cylindry hydruliczne. Ogólne wymgni i bdni
Bardziej szczegółowo