Paradigmata programování II Přednáška 1: Vedlejší efekt
|
|
|
- Tadeáš Dostál
- před 7 lety
- Počet zobrazení:
Transkript
1 Paradigmata programování II Přednáška 1: Vedlejší efekt Vilém Vychodil Katedra informatiky, Univerzita Palackého v Olomouci 15. února 2007 Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
2 Co je vedlejší efekt? Imperativní rysy při programování funkcionální programování = založené na postupné aplikaci procedur (funkcí) LISP, Scheme, ML, Haskell,... procedurální programování = založená na postupném vykonávání příkazů, které mají vedjělší efekt C, PASCAL, FORTRAN,... Trend: objektově orientované programování funkcionálně objektové = založené na generických procedurách CLOS (Common LISP Object System), GOOPS (objektový Scheme) procedurálně objektové = založené na zasílání signálů PERL, PYTHON, Java, C++, C,... většina soudobých PJ Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
3 Jaké typy vedlejších efektů rozeznáváme hodně typů vstupně / výstupní operace (některé FJ umí i bez vedlejšího efektu, třeba Haskell) změnou vazby symbolu tím se budeme zabývat dnes destruktivné změnou datové staruktury tím se budeme zabývat příště Připomínáme: FJ je čistý, pokud programátorovi neumožňuje vytvořit vedlejší efekt Scheme není čistý (máme define), Haskell je čistý Náš interpret z Lekce 12 byl čistý (ačkoliv byl napsán nečistě ). vedlejší efekt není ve FJ na škodu, musí se ale umět používat Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
4 Čím se budeme zabývat obohatíme Scheme o několik ryze imperativních konstruktů demonstrujeme na tom rysy imperativních jazyků Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
5 Sekvencování příkazů Speciální forma begin: ;; postupne vyhodnoceni vyrazy a vraceni ;; vysledku vyhodnoceni posledniho z nich (begin (+ 1 2) (* 3 4)) ;; zde uz mame vedlejsi efekt -- vytisteni na obrazovku (begin (display (+ 1 2)) (newline) (* 3 4)) Pozor: (display "Ahoj") vytiskne na obrazovku, řetězec nelze chápat jako výsledek vyhodnocení, tím je nedefinovaná hodnota, ukázat studentům v DrScheme. Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
6 Sekvencování příkazů Chování begin vzhledem k prostředím ;; vyhodnocovani vyrazu probiha v aktualnim prostredi (define x 100) (begin (define x 10) (* 2 x)) x = 10 Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
7 ;; tohle je begin v novem prostredi ((lambda () (begin (define x 10) (* 2 x)))) x = nedef. ;; prepis predchoziho (let () (begin (define x 10) (* 2 x))) x = nedef. Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
8 Těla procedur obsahují implicitní begin opět se můžeme vrátit ke konceptu jednoho výrazu v těle procedury (define f (lambda (x) (define local (lambda (y) (+ x y))) (local 20))) (define f (lambda (x) (begin (define local (lambda (y) (+ x y))) (local 20)))) (begin) = nedef. hodnota Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
9 Použití při ladění (define depth-map (lambda (f l) (cond ((null? l) '()) ((not (list? (car l))) (cons (f (car l)) (depth-map f (cdr l)))) (else (cons (depth-map f (car l)) (depth-map f (cdr l))))))) ;; ukazat v interpretu, protoze se mi to sem nevleze Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
10 Provedení příkazů pro každý prvek seznamu (for-each (lambda (x) (display "Cislo: ") (display x) (newline)) '( )) = nedef. hodn. (for-each (lambda (x) x) '(1 2 3)) ; nedef. (map (lambda (x) x) '(1 2 3)) ; (1 2 3) (for-each (lambda (x y z) (newline) (display (list x y z)) (newline)) '(10 20) '(#t #f) '(a b)) Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
11 Proceduru for-each snadno uděláme ;; for-each lze jednoduse naprogramovat (verze pro 1 s.): ;; vzimnete si pouziti `if' bez alternativniho vyrazu (define for-each (lambda (f l) (if (not (null? l)) (begin (f (car l)) (for-each f (cdr l)))))) ;; a obecna verze je taky jednoducha: (define for-each (lambda (f. lists) (if (not (null? (car lists))) (begin (apply f (map car lists)) (apply for-each f (map cdr lists)))))) Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
12 Příkaz přiřazení Obecné schéma LVALUE := RVALUE. LVALUE... paměťové místo (adresa) RVALUE... adresa Ve Scheme: reprezentován speciální formou set! (set! symbol výraz ) sémantika 1 v hierarchii prostředí vyhledej symbol symbol, začni aktuálním (lokálním) prostředím a pokračuj přes jeho rodiče směrem ke globálnímu; 2 pokud symbol nemá vazbu v žádném prostředí, zahlas chybu; 3 v opačném případě nahraď vazbu symbolu symbol hodnotou vzniklou vyhodnocením výraz. Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
13 ;; srovnej: (define x 100) (let () (define x 10) (+ x 1)) x = 100 ;; versus (define x 100) (let () (set! x 10) (+ x 1)) x = 10 Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
14 (define x 100) (let ((x 10)) (set! x (+ x 1)) (+ x 1)) x = 100 Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
15 Programování s příkazem přiřazení čisté řešení ve funkcionálním stylu: (define fib (lambda (n) (let iter ((a 1) (b 1) (i n)) (if (<= i 1) a (iter b (+ a b) (- i 1)))))) V jazycích jako je C, PASCAL, FORTRAN a spol. cyklus Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
16 Programování s příkazem přiřazení int fib (n) int n; { int a = 1, b = 1, c, i; for (i = n; i > 1; i --) { c = b; b = a + b; a = c; } return a; } můžeme otrocky přepsat i ve Scheme, není ale pěkné, ani efektivní: Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
17 (define fib (lambda (n) (define a 1) (define b 1) (define c 'pomocna-promenna) (define i n) (define loop (lambda () (if (> i 1) (begin (set! c b) (set! b (+ a b)) (set! a c) (set! i (- i 1)) (loop))))) (loop) a)) Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
18 na druhou stranu v C lze programovat bez vedlejšího efektu: int fib_iter (a, b, i) int a, b, i; { if (i <= 1) return a; else return fib_iter (b, a + b, i - 1); } int fib_wse (n) int n; { return fib_iter (1, 1, n); } C nemá TRO; programovací styl programovací jazyk Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
19 Varování Scheme má vše k dispozici k tomu, abychom se na něl mohli dívat jako na plnohodnotný imperativní jazyk, při praktickém programování ve Scheme by ale měly převládat funkcionální rysy. Důvod: vedlejší efekt obrovský zdroj chyb v programech Někdy se vedlejší efekty hodí. (let ((i 0)) ; nastav i na 0 (for-each (lambda (x) (display "Index: ") (display i) (display ", prvek: ") (display x) (newline) (set! i (+ i 1))) ; zvedni i o 1 '(a b c d e f))) Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
20 Procedury pracující s globálními symboly ;; globalne zavedeny symbol (define value 0) ;; procedura pracujici s,,globalnim symbolem'' (define inc (lambda (x) (set! value (+ value x)) value)) (inc 10) = 10 (inc 10) = 20 (inc 10) = 30 value = 30 Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
21 Dočasné překrytí lexikální vazby symbolu Speciální forma fluid-let (fluid-let ((value 200)) (display (inc 10)) zobr. 210 (newline) (display (inc 10)) zobr. 220 (newline)) (inc 10)... vrati se k puvodni vazbe (let ((value 200)) (display (inc 10)) (newline) (display (inc 10)) (newline)) pracuje s glob. vazbou pracuje s glob. vazbou Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
22 Procedury držící si vnitřní stav ;; procedura udrzujici si vlastni vnitrni stav ;; misto globalniho symbolu menime vazbu symbolu ;; na ktery neni videt,,zvenci'' (define inc (let ((value 0)) (lambda (x) (set! value (+ value x)) value))) (inc 5) ; 5 (inc 5) ; 10 (inc 5) ; 15 value ; nedef. Stav (vazba symbolu value) je držen v prostředí vzniku procedury. Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
23 Procedury držící si vnitřní stav Pozor, následující nefunguje! ;; POZOR: nasledujici nefunguje (zamena `lambda' a `let') (define inc (lambda (x) (let ((value 0)) (set! value (+ value x)) value))) Při používání procedur s vedlejším efektem se podstatně hůř ladí už nestačí pouze testovat vstupy a výstupy procedury, musíme vždy počítat s tím, jaký má procedura zrovna vnitřní stav! Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
24 Na co je třeba dát pozor ;; build list pracujici,,zepredu'' (define build-list (lambda (n f) (let iter ((i 0)) (if (= i n) '() (cons (f i) (iter (+ i 1))))))) ;; build list pracujici,,zezadu'' (define build-list (lambda (n f) (let iter ((i (- n 1)) (aux '())) (if (< i 0) aux (iter (- i 1) (cons (f i) aux)))))) Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
25 Na co je třeba dát pozor Předchozí dvě verze build-list byly z funkcionálního hlediska nerozlišitelné. Po zavedení vedlejšího efektu již tak tomu ale není. ;; pricita jednicku (predavane arg. jsou ignorovany) (define inc1 (let ((value 0)) (lambda args (set! value (+ value 1)) value))) z funkcionalniho pohledu obe b.l. nerozlisitelne (build-list 10 (lambda (x) x)) ; ( ) ; muzeme je ale odlisit pomoci vedlejsiho efektu (build-list 10 inc1) ; v prvnim pripade: ( ) ; v druhem pripade: ( ) Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
26 Procedury generující procedury s vnitřním stavem ;; procedura (bez argumentu), ktera vraci proceduru 1 arg ;; reprezentujici jeden scitac (instance) (define make-inc (lambda () (let ((value 0)) (lambda (x) (set! value (+ value x)) value)))) (define i (make-inc)) (define j (make-inc)) (define k (make-inc)) i ; #<procedure> (prvni citac) j ; #<procedure> (druhy citac) k ; #<procedure> (treti citac) Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
27 Procedury generující procedury s vnitřním stavem (i 1) ; 1 (i 1) ; 2 (i 1) ; 3 (j 5) ; 5 (j 5) ; 10 (j 5) ; 15 (j 0) ; 15 (k 10) ; 10 (k 20) ; 30 (k 0) ; 30 Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
28 ;; novy map, ktery spolu s prvkem predava i jeho index ;; vyresili jsme pomoci map a procedury, ;; ktera vyuziva zmenu stavu (define map-index (lambda (f l) (let ((i -1)) (map (lambda (x) (set! i (+ i 1)) (f i x)) l)))) (map-index cons '(a b c d e)) ; ((0. a) (1. b) (2. c) (3. d) (4. e)) Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
29 ;; v predchozi ukazce jsme tise predpokladali, ;; ze map funguje,,odpredu'' ;; pokud nekdo zmeni samotny map, dostaneme se do maleru: ;; ukazkova verze map, ktera pracuje,,odzadu'' (define map (lambda (f l) (let iter ((l (reverse l)) (aux '())) (if (null? l) aux (iter (cdr l) (cons (f (car l)) aux)))))) (map-index cons '(a b c d e)) ; ((4. a) (3. b) (2. c) (1. d) (0. e)) Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
30 Procedury sdílející týž stav (define p (make-pred <=)) ((car p) 10 20) ; #t ((car p) 20 30) ; #f ((car p) 30 20) ; #f ((cadr p)) ; ((10. 20) (20. 30) (30. 20)) Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75 ;; vytvoreni,,chytreho predikatu'', ;; ktery si pamatuje s jakymi hodnotami byl volan (define make-pred (lambda (pred?) (let ((called-with-values '())) `(,(lambda (x y) (set! called-with-values (cons (cons x y) called-with-values)) (pred? x y)),(lambda () (reverse called-with-values))))))
31 Použití ;; nyni muzeme videt, jak mergesort postupne porovnava prvk (let* ((pred (make-pred <=)) (new-pred? (car pred)) (get-called (cadr pred))) (display (mergesort '( ) new-pred?) (newline) (get-called)) ;; nebo quicksort (let* ((pred (make-pred <=)) (new-pred? (car pred)) (get-called (cadr pred))) (display (quicksort '( ) new-pred?) (newline) (get-called)) Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
32 Jednoduchý objektový systém Objektové paradigma (zabývá se jím celý třetí semestr PP) my se jím nebudeme přímo zabývat základní myšlenka: programator spravuje systém elementů (objektů), které mají svůj stav; vypočetní proces v OO jazyku je složen ze vzajemné interakce objektů a změn jejich stavu (nejznámější objektové systémy jsou založeny na zasíláni (emisi) signálů a jejich příjmu (pomoci slotů), tzv. message-passing style of programming) Některé problémy se pomocí OO řeší pohodlně např. okna, tlačítka a jiné prvky GUI mají svůj přirozený stav, lze je chápat jako objekty v terminologii OO. Ukážeme jednoduchý objektový systém umožňující vytváření instancí to jest elementů jednoho typu, které mají vnitřní stav a komunikují s vnějším světem pomocí signálů Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
33 (define stack ;; data (vnitrni stav objektu) (let ((stack '()) (depth 0)) (define is-empty? (lambda ()...)) (define push (lambda (elem)...)) (define pop (lambda ()...)) (define top (lambda ()...)) ;; dispatch (aktivuje jednotlive procedury podle jmen s (lambda (signal. args) (cond ((equal? signal 'empty?) (is-empty?)) ((equal? signal 'push) (push (car args))) ((equal? signal 'pop) (pop)) ((equal? signal 'top) (top)) (else (error "unknown signal")))))) Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
34 ; priklad pouziti (stack 'push 10) (stack 'top) ; 10 (stack 'push 20) (stack 'top) ; 20 (stack 'push 30) (stack 'top) ; 30 (stack 'empty?) ; #f (stack 'pop) (stack 'pop) (stack 'pop) (stack 'empty?) ; #t (stack 'pop) ; cannot perform `pop', stack is empty Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
35 ;; je zasobnik prazdny? (define is-empty? (lambda () (= depth 0))) ;; pridej prvek na vrchol (define push (lambda (elem) (set! stack (cons elem stack)) (set! depth (+ depth 1)))) Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
36 ;; odstran prvek z vrcholu (define pop (lambda () (if (is-empty?) (error "cannot perform `pop', stack is empty") (begin (set! stack (cdr stack)) (set! depth (- depth 1)))))) ;; vrat prvek nachazejici se na vrcholu (define top (lambda () (if (is-empty?) (error "stack is empty") (car stack)))) Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
37 (define make-stack (lambda () (let ((stack '()) (depth 0)) (define is-empty? (lambda ()...)) (define push (lambda (elem)...)) (define pop (lambda ()...)) (define top (lambda ()...)) (lambda (signal. args) (cond ((equal? signal 'empty?) (is-empty?)) ((equal? signal 'push) (push (car args))) ((equal? signal 'pop) (pop)) ((equal? signal 'top) (top)) (else (error "unknown signal"))))))) Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
38 (define s1 (make-stack)) (define s2 (make-stack)) (s1 'push 10) (s2 'push 'a) (s1 'push 20) (s2 'push 'b) (s1 'push 30) (s1 'top) ; 30 (s2 'top) ; b Vilém Vychodil (UP Olomouc) PP II, Př. 1: Vedlejší efekt 15. února / 75
PARADIGMATA PROGRAMOVÁNÍ 2A VEDLEJŠÍ EFEKT
KATEDRA INFORMATIKY, P RÍRODOV EDECKÁ FAKULTA UNIVERZITA PALACKÉHO, OLOMOUC PARADIGMATA PROGRAMOVÁNÍ 2A VEDLEJŠÍ EFEKT Slajdy vytvoril Vilém Vychodil Jan Konecný (KI, UP Olomouc) PP 2A, Lekce 1 Vedlejší
PARADIGMATA PROGRAMOVÁNÍ 2 PŘÍSLIBY A LÍNÉ VYHODNOCOVÁNÍ
KATEDRA INFORMATIKY, PŘÍRODOVĚDECKÁ FAKULTA UNIVERZITA PALACKÉHO, OLOMOUC PARADIGMATA PROGRAMOVÁNÍ 2 PŘÍSLIBY A LÍNÉ VYHODNOCOVÁNÍ Slajdy vytvořili Vilém Vychodil a Jan Konečný (KI, UP Olomouc) PP 2, Lekce
Paradigmata programování II Přednáška 2: Mutace
Paradigmata programování II Přednáška 2: Mutace Vilém Vychodil Katedra informatiky, Univerzita Palackého v Olomouci 22. února 2007 Vilém Vychodil (UP Olomouc) PP II, Př. 2: Mutace 22. února 2007 1 / 85
Paradigmata programování II Korutiny a nedeterminismus
Paradigmata programování II Korutiny a nedeterminismus Vilém Vychodil Katedra informatiky, Univerzita Palackého v Olomouci 27. dubna 2006 Vilém Vychodil (UP Olomouc) PP II, Př. 9: Korutiny, nedeterminismus
Paradigmata programování 1
Paradigmata programování 1 Explicitní aplikace a vyhodnocování Vilém Vychodil Katedra informatiky, PřF, UP Olomouc Přednáška 6 V. Vychodil (KI, UP Olomouc) Explicitní aplikace a vyhodnocování Přednáška
PARADIGMATA PROGRAMOVÁNÍ 2A INTERPRET S VEDLEJŠÍMI EFEKTY A MAKRY
KATEDRA INFORMATIKY, PŘÍRODOVĚDECKÁ FAKULTA UNIVERZITA PALACKÉHO, OLOMOUC PARADIGMATA PROGRAMOVÁNÍ 2A INTERPRET S VEDLEJŠÍMI EFEKTY A MAKRY VÝVOJ TOHOTO UČEBNÍHO MATERIÁLU JE SPOLUFINANCOVÁN EVROPSKÝM
PARADIGMATA PROGRAMOVÁNÍ 2 KORUTINY, NEDETERMINISMUS
KATEDRA INFORMATIKY, P ÍRODOV DECKÁ FAKULTA UNIVERZITA PALACKÉHO, OLOMOUC PARADIGMATA PROGRAMOVÁNÍ 2 KORUTINY, NEDETERMINISMUS Slajdy vytvo ili Vilém Vychodil a Jan Kone ný (KI, UP Olomouc) PP 2, Lekce
Paradigmata programování 1
Paradigmata programování 1 Kvazikvotování a manipulace se symbolickými výrazy Vilém Vychodil Katedra informatiky, PřF, UP Olomouc Přednáška 11 V. Vychodil (KI, UP Olomouc) Kvazikvotování, manipulace se
PARADIGMATA PROGRAMOVÁNÍ 2A MUTACE
KATEDRA INFORMATIKY, P ÍRODOV DECKÁ FAKULTA UNIVERZITA PALACKÉHO, OLOMOUC PARADIGMATA PROGRAMOVÁNÍ 2A MUTACE Slajdy vytvo ili Vilém Vychodil a Jan Kone ný Jan Kone ný (KI, UP Olomouc) PP 2A, Lekce 2 Mutace
PARADIGMATA PROGRAMOVÁNÍ 2A MAKRA III
KATEDRA INFORMATIKY, P ÍRODOV DECKÁ FAKULTA UNIVERZITA PALACKÉHO, OLOMOUC PARADIGMATA PROGRAMOVÁNÍ 2A MAKRA III Slajdy vytvo ili Vilém Vychodil a Jan Kone ný (KI, UP Olomouc) PP 2A, Lekce 5 Makra III 1
1. Od Scheme k Lispu
KATEDRA INFORMATIKY UNIVERZITA PALACKÉHO V OLOMOUCI www.inf.upol.cz Michal Krupka krupka.inf.upol.cz michal.krupka@upol.cz 7. listopadu, 77 46 Olomouc Paradigmata programování poznámky k přednášce. Od
Paradigmata programování 1
Paradigmata programování 1 Tečkové páry, symbolická data a kvotování Vilém Vychodil Katedra informatiky, PřF, UP Olomouc Přednáška 4 V. Vychodil (KI, UP Olomouc) Tečkové páry, symbolická data a kvotování
Paradigmata programování 1
Paradigmata programování 1 Vytváření abstrakcí pomocí procedur Vilém Vychodil Katedra informatiky, PřF, UP Olomouc Přednáška 2 V. Vychodil (KI, UP Olomouc) Vytváření abstrakcí pomocí procedur Přednáška
Stream API. Petr Krajča. Základy programovaní 4 (Java) Katedra informatiky Univerzita Palackého v Olomouci
Základy programovaní 4 (Java) Stream API Petr Krajča Katedra informatiky Univerzita Palackého v Olomouci Petr Krajča (UP) KMI/ZP4JV 5. listopad, 2014 1 / 10 Stream API Java 8 nový přístup k práci s kolekcemi
Paradigmata programování II Přednáška 6: Líné vyhodnocování, proudy a kešované vyhodnocování
Paradigmata programování II Přednáška 6: Líné vyhodnocování, proudy a kešované vyhodnocování Vilém Vychodil Katedra informatiky, Univerzita Palackého v Olomouci 22. března 2007 Vilém Vychodil (UP Olomouc)
14.4.2010. Obsah přednášky 7. Základy programování (IZAPR) Přednáška 7. Parametry metod. Parametry, argumenty. Parametry metod.
Základy programování (IZAPR) Přednáška 7 Ing. Michael Bažant, Ph.D. Katedra softwarových technologií Kancelář č. 229, Náměstí Čs. legií Michael.Bazant@upce.cz Obsah přednášky 7 Parametry metod, předávání
Základní datové struktury
Základní datové struktury Martin Trnečka Katedra informatiky, Přírodovědecká fakulta Univerzita Palackého v Olomouci 4. listopadu 2013 Martin Trnečka (UPOL) Algoritmická matematika 1 4. listopadu 2013
Paradigmata programování 2
Paradigmata programování 2 6. cvičení Radek Janoštík Univerzita Palackého v Olomouci 18.3.2019 Radek Janoštík (Univerzita Palackého v Olomouci) Paradigmata programování 2 18.3.2019 1 / 11 Vedlejší efekt
PARADIGMATA PROGRAMOVÁNÍ 2A MAKRA I
KATEDRA INFORMATIKY, P ÍRODOV DECKÁ FAKULTA UNIVERZITA PALACKÉHO, OLOMOUC PARADIGMATA PROGRAMOVÁNÍ 2A MAKRA I Slajdy vytvo ili Vilém Vychodil a Jan Kone ný (KI, UP Olomouc) PP 2A, Lekce 3 Makra I 1 / 35
Přednáška 3. Rekurze 1
Paradigmata programování 1 Přednáška 3. Rekurze 1 Michal Krupka KATEDRA INFORMATIKY UNIVERZITA PALACKÉHO V OLOMOUCI Obsah 1 Příklady 2 Rekurzivní procedury a rekurzivní výpočetní proces 3 Další příklady
PARADIGMATA PROGRAMOVÁNÍ 2 AKTUÁLNÍ POKRAƒOVÁNÍ
KATEDRA INFORMATIKY, P ÍRODOV DECKÁ FAKULTA UNIVERZITA PALACKÉHO, OLOMOUC PARADIGMATA PROGRAMOVÁNÍ 2 AKTUÁLNÍ POKRAƒOVÁNÍ Slajdy vytvo ili Vilém Vychodil a Jan Kone ný (KI, UP Olomouc) PP 2, Lekce 8 Aktuální
Michal Krátký. Úvod do programovacích jazyků (Java), 2006/2007
Úvod do programovacích jazyků (Java) Michal Krátký Katedra informatiky VŠB Technická univerzita Ostrava Úvod do programovacích jazyků (Java), 2006/2007 c 2006 Michal Krátký Úvod do programovacích jazyků
Datové struktury. alg12 1
Datové struktury Jedna z klasických knih o programování (autor prof. Wirth) má název Algorithms + Data structures = Programs Datová struktura je množina dat (prvků, složek, datových objektů), pro kterou
Michal Krátký. Úvod do programovacích jazyků (Java), 2006/2007
Úvod do programovacích jazyků (Java) Michal Krátký 1 Katedra informatiky VŠB Technická univerzita Ostrava Úvod do programovacích jazyků (Java), 2006/2007 c 2006 Michal Krátký Úvod do programovacích jazyků
Obsah přednášky. programovacího jazyka. Motivace. Princip denotační sémantiky Sémantické funkce Výrazy Příkazy Vstup a výstup Kontinuace Program
Denotační sémantika programovacího jazyka doc. Dr. Ing. Miroslav Beneš katedra informatiky, A-1007 59 732 4213 Obsah přednášky Princip denotační sémantiky Sémantické funkce Výrazy Příkazy Vstup a výstup
Úvod do programovacích jazyků (Java)
Úvod do programovacích jazyků (Java) Michal Krátký Katedra informatiky VŠB Technická univerzita Ostrava Úvod do programovacích jazyků (Java), 2007/2008 c 2006 2008 Michal Krátký Úvod do programovacích
typová konverze typová inference
Seminář Java Programování v Javě II Radek Kočí Fakulta informačních technologií VUT Únor 2008 Radek Kočí Seminář Java Programování v Javě (2) 1/ 36 Téma přednášky Rozhraní: použití, dědičnost Hierarchie
Abstraktní datové typy: zásobník
Abstraktní datové typy: zásobník doc. Ing. Miroslav Beneš, Ph.D. katedra informatiky FEI VŠB-TUO A-1007 / 597 324 213 http://www.cs.vsb.cz/benes Miroslav.Benes@vsb.cz Abstraktní datové typy omezené rozhraní
Sdílení dat mezi podprogramy
Sdílení dat mezi podprogramy Datové objekty mohou být mezi podprogramy sdíleny pomocí ne-lokálních referenčních prostředí, která jsou vytvářena na základě æ explicitních modifikací (formální parametry
Slepé prohledávání do šířky Algoritmus prohledávání do šířky Při tomto způsobu prohledávání máme jistotu, že vždy nalezneme koncový stav, musíme ale p
Hanojská věž Stavový prostor 1. množina stavů S = {s} 2. množina přechodů mezi stavy (operátorů) Φ = {φ} s k = φ ki (s i ) zadání [1 1 1] řešení [3 3 3] dva možné první tahy: [1 1 2] [1 1 3] který tah
FUNKCIONÁLNÍ A LOGICKÉ PROGRAMOVÁNÍ 5. CVIČENÍ
FUNKCIONÁLNÍ A LOGICKÉ PROGRAMOVÁNÍ 5. CVIČENÍ 2011 Jan Janoušek MI-FLP Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti Page 1 of 5 Lekce 5 Obsah sekvence, sequencep, subseq, reverse,
Více o konstruktorech a destruktorech
Více o konstruktorech a destruktorech Více o konstruktorech a o přiřazení... inicializovat objekt lze i pomocí jiného objektu lze provést přiřazení mezi objekty v původním C nebylo možné provést přiřazení
Vyučovací hodina. 1vyučovací hodina: 2vyučovací hodiny: Opakování z minulé hodiny. Procvičení nové látky
Vyučovací hodina 1vyučovací hodina: Opakování z minulé hodiny Nová látka Procvičení nové látky Shrnutí 5 min 20 min 15 min 5 min 2vyučovací hodiny: Opakování z minulé hodiny Nová látka Procvičení nové
Algoritmizace a programování
Algoritmizace a programování Řídicí struktury jazyka Java Struktura programu Příkazy jazyka Blok příkazů Logické příkazy Ternární logický operátor Verze pro akademický rok 2012/2013 1 Struktura programu
Generické programování
Generické programování Od C# verze 2.0 = vytváření kódu s obecným datovým typem Příklad generická metoda, zamění dva parametry: static void Swap(ref T p1, ref T p2) T temp; temp = p1; p1 = p2; p2 =
2) Napište algoritmus pro vložení položky na konec dvousměrného seznamu. 3) Napište algoritmus pro vyhledání položky v binárním stromu.
Informatika 10. 9. 2013 Jméno a příjmení Rodné číslo 1) Napište algoritmus pro rychlé třídění (quicksort). 2) Napište algoritmus pro vložení položky na konec dvousměrného seznamu. 3) Napište algoritmus
IB015 Neimperativní programování. Organizace a motivace kurzu, programovací jazyk Haskell. Jiří Barnat
IB015 Neimperativní programování Organizace a motivace kurzu, programovací jazyk Haskell Jiří Barnat Sekce IB015 Neimperativní programování 01 str. 2/36 Organizace kurzu Cíle kurzu IB015 Neimperativní
Struktura programu v době běhu
Struktura programu v době běhu Miroslav Beneš Dušan Kolář Struktura programu v době běhu Vztah mezi zdrojovým programem a činností přeloženého programu reprezentace dat správa paměti aktivace podprogramů
Konstruktory a destruktory
Konstruktory a destruktory Nedostatek atributy po vytvoření objektu nejsou automaticky inicializovány hodnota atributů je náhodná vytvoření metody pro inicializaci, kterou musí programátor explicitně zavolat,
Michal Krátký. Úvod do programovacích jazyků (Java), 2006/2007
Úvod do programovacích jazyků (Java) Michal Krátký Katedra informatiky VŠB Technická univerzita Ostrava Úvod do programovacích jazyků (Java), 2006/2007 c 2006 Michal Krátký Úvod do programovacích jazyků
FUNKCIONÁLNÍ A LOGICKÉ PROGRAMOVÁNÍ 3. CVIČENÍ
FUNKCIONÁLNÍ A LOGICKÉ PROGRAMOVÁNÍ 3. CVIČENÍ 2011 Jan Janoušek MI-FLP Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti Page 1 of 6 Cviceni 3 Obsah seznamy, cons-buňka, car, cdr, first,
Michal Krátký. Úvod do programovacích jazyků (Java), 2006/2007
Úvod do programovacích jazyků (Java) Michal Krátký 1 Katedra informatiky VŠB Technická univerzita Ostrava Úvod do programovacích jazyků (Java), 2006/2007 c 2006 Michal Krátký Úvod do programovacích jazyků
4. Rekurze. BI-EP1 Efektivní programování Martin Kačer
4. Rekurze BI-EP1 Efektivní programování 1 ZS 2011/2012 Ing. Martin Kačer, Ph.D. 2010-11 Martin Kačer Katedra teoretické informatiky Fakulta informačních technologií České vysoké učení technické v Praze
Jazyk C# (seminář 6)
Jazyk C# (seminář 6) Pavel Procházka KMI 29. října 2014 Delegát motivace Delegáty a události Jak docílit v C# funkcionální práce s metodami v C je to pomocí pointerů na funkce. Proč to v C# nejde pomocí
IB111 Úvod do programování skrze Python Přednáška 13
IB111 Úvod do programování skrze Python Přednáška 13 Programovací jazyky Nikola Beneš 14. prosinec 2016 IB111 přednáška 13: programovací jazyky 14. prosinec 2016 1 / 21 Osnova dnešní přednášky Programovací
Funkcionální programování úvod
Funkcionální programování úvod Imperativní jazyky založeny na von Neumann architektuře primárním kriteriem je efektivita Modelem je Turingův stroj Základní konstrukcí je příkaz Příkazy mění stavový prostor
Semestrální práce z předmětu. Jan Bařtipán / A03043 bartipan@studentes.zcu.cz
Semestrální práce z předmětu KIV/UPA Jan Bařtipán / A03043 bartipan@studentes.zcu.cz Zadání Program přečte ze vstupu dvě čísla v hexadecimálním tvaru a vypíše jejich součet (opět v hexadecimální tvaru).
Stromy. Karel Richta a kol. Katedra počítačů Fakulta elektrotechnická České vysoké učení technické v Praze Karel Richta a kol.
Stromy Karel Richta a kol. Katedra počítačů Fakulta elektrotechnická České vysoké učení technické v Praze Karel Richta a kol., 2018, B6B36DSA 01/2018, Lekce 9 https://cw.fel.cvut.cz/wiki/courses/b6b36dsa/start
Základní pojmy. Úvod do programování. Základní pojmy. Zápis algoritmu. Výraz. Základní pojmy
Úvod do programování Michal Krátký 1,Jiří Dvorský 1 1 Katedra informatiky VŠB Technická univerzita Ostrava Úvod do programování, 2004/2005 Procesor Procesorem je objekt, který vykonává algoritmem popisovanou
Matematika v programovacích
Matematika v programovacích jazycích Pavla Kabelíková am.vsb.cz/kabelikova pavla.kabelikova@vsb.cz Úvodní diskuze Otázky: Jaké programovací jazyky znáte? S jakými programovacími jazyky jste již pracovali?
Základy objektové orientace I. Únor 2010
Seminář Java Základy objektové orientace I Radek Kočí Fakulta informačních technologií VUT Únor 2010 Radek Kočí Seminář Java Základy OO (1) 1/ 20 Téma přednášky Charakteristika objektově orientovaných
PB161 Programování v jazyce C++ Přednáška 7
PB161 Programování v jazyce C++ Přednáška 7 Statické položky tříd Základy OOP Nikola Beneš 6. listopadu 2018 PB161 přednáška 7: static, základy OOP 6. listopadu 2018 1 / 21 Klíčové slovo static Znáte z
PB161 Programování v jazyce C++ Přednáška 7
PB161 Programování v jazyce C++ Přednáška 7 Statické položky tříd Základy OOP Nikola Beneš 6. listopadu 2018 PB161 přednáška 7: static, základy OOP 6. listopadu 2018 1 / 21 Klíčové slovo static Znáte z
PSK3-9. Základy skriptování. Hlavička
PSK3-9 Název školy: Autor: Anotace: Vyšší odborná škola a Střední průmyslová škola, Božetěchova 3 Ing. Marek Nožka Základy skriptování v unixovém shellu Vzdělávací oblast: Informační a komunikační technologie
Programování v C++ 2, 4. cvičení
Programování v C++ 2, 4. cvičení statické atributy a metody, konstruktory 1 1 Fakulta jaderná a fyzikálně inženýrská České vysoké učení technické v Praze Zimní semestr 2018/2019 Přehled Přístupová práva
IB111 Programování a algoritmizace. Programovací jazyky
IB111 Programování a algoritmizace Programovací jazyky Programovací jazyky Programovací jazyk Prostředek pro zápis algoritmů, jež mohou být provedeny na počítači Program Zápis algoritmu v programovacím
Funkcionální programování
Funkcionální programování Typované - Haskell Netypované - Lisp, Scheme λ-kalkul Teoretický základ funkcionálniho programování Lambda kalkul analyzuje funkce nikoli z hlediska původního matematického smyslu
Jazyk Scheme: jeho syntax a sémantika
Jazyk Scheme: jeho syntax a sémantika Vilém Vychodil, vilemvychodil@upolcz Syntaxe Scheme program v jazyku Scheme = konečná posloupnost symbolických výrazů symbolický výraz(s-výraz/ symbolic expression/
DTP Základy programování Úvod do předmětu
DTP Základy programování 01 - Úvod do předmětu Úvod Co již umíte? Plán předmětu Studijní materiály Způsob ukončení předmětu Základní pojmy I. Řešený problém: Řešeným nebo zpracovávaným problémem je konkrétní
Objektově orientované programování
10. října 2011 Pragmatické informace Volitelný předmět, zápočet: zápočtový program(s dokumentací), aktivní účast na cvičení(body v CodExu), praktický test, zkouška: zkoušková písemka na objektový návrh
2 Datové typy v jazyce C
1 Procedurální programování a strukturované programování Charakteristické pro procedurální programování je organizace programu, který řeší daný problém, do bloků (procedur, funkcí, subrutin). Původně jednolitý,
Úvod. Programovací paradigmata
.. Úvod. Programovací paradigmata Programovací techniky doc. Ing. Jiří Rybička, Dr. ústav informatiky PEF MENDELU v Brně rybicka@mendelu.cz Cíl: programování efektivně a bezpečně Programovací techniky
IRAE 07/08 Přednáška č. 2. atr1 atr2. atr1 atr2 -33
Objekt jako proměnná Objekty a metody Objekt = proměnná referenčního typu vznik pomocí new, chování viz pole jako referenční proměnná minulý semestr Stack Heap objekt ref this 10 20 atr1 atr2 jinyobjekt
2.1 Podmínka typu case Cykly Cyklus s podmínkou na začátku Cyklus s podmínkou na konci... 5
Obsah Obsah 1 Řídicí struktury 1 2 Podmínka 1 2.1 Podmínka typu case......................... 2 3 Příkaz skoku 3 4 Cykly 4 4.1 Cyklus s podmínkou na začátku................... 4 4.2 Cyklus s podmínkou
Programovací jazyk Haskell
Programovací jazyk Haskell Ing. Lumír Návrat katedra informatiky, D 403 59 732 3252 Historie září 1991 Gofer experimentální jazyk Mark P. Jones únor 1995 Hugs Hugs98 téměř úplná implementace jazyka Haskell
Programování v C++, 2. cvičení
Programování v C++, 2. cvičení 1 1 Fakulta jaderná a fyzikálně inženýrská České vysoké učení technické v Praze Zimní semestr 2018/2019 Přehled 1 Operátory new a delete 2 3 Operátory new a delete minule
DSL manuál. Ing. Jan Hranáč. 27. října 2010. V této kapitole je stručný průvodce k tvorbě v systému DrdSim a (v
DSL manuál Ing. Jan Hranáč 27. října 2010 V této kapitole je stručný průvodce k tvorbě v systému DrdSim a (v současné době krátký) seznam vestavěných funkcí systému. 1 Vytvoření nového dobrodružství Nejprve
Funkcionální programování. Kristýna Kaslová
Funkcionální programování Kristýna Kaslová Historie Alonzo Church (30. léta) Netypovaný lambda kalkul Základ prvních funkcionálních jazyků Jeho konstrukce i v mnoha současných programovacích jazycích (Python)
1. Programování proti rozhraní
1. Programování proti rozhraní Cíl látky Cílem tohoto bloku je seznámení se s jednou z nejdůležitější programátorskou technikou v objektově orientovaném programování. Tou technikou je využívaní rozhraní
Úvod do programovacích jazyků (Java)
Úvod do programovacích jazyků (Java) Michal Krátký Katedra informatiky VŠB Technická univerzita Ostrava Úvod do programovacích jazyků (Java), 2007/2008 c 2006 2008 Michal Krátký Úvod do programovacích
Hanojská věž. T2: prohledávání stavového prostoru. zadání [1 1 1] řešení [3 3 3] dva možné první tahy: [1 1 2] [1 1 3]
![Hanojská věž. T2: prohledávání stavového prostoru. zadání [1 1 1] řešení [3 3 3] dva možné první tahy: [1 1 2] [1 1 3]](/thumbs/48/24424280.jpg "Hanojská věž. T2: prohledávání stavového prostoru. zadání [1 1 1] řešení [3 3 3] dva možné první tahy: [1 1 2] [1 1 3]")
Hanojská věž zadání [1 1 1] řešení [3 3 3] dva možné první tahy: [1 1 2] [1 1 3] který tah je lepší? (co je lepší tah?) P. Berka, 2012 1/21 Stavový prostor 1. množina stavů S = {s} 2. množina přechodů
VÝUKOVÝ MATERIÁL. Bratislavská 2166, 407 47 Varnsdorf, IČO: 18383874 www.vosassvdf.cz, tel. +420412372632 Číslo projektu
VÝUKOVÝ MATERIÁL Identifikační údaje školy Vyšší odborná škola a Střední škola, Varnsdorf, příspěvková organizace Bratislavská 2166, 407 47 Varnsdorf, IČO: 18383874 www.vosassvdf.cz, tel. +420412372632
Functional and Logic Programming Functional languages
Functional and Logic Programming Functional languages Ing. Marek Běhálek FEI VŠB-TUO A-1018 / 597 324 251 http://www.cs.vsb.cz/behalek marek.behalek@vsb.cz This presentation is based on original course
Lokální definice (1) plocha-kruhu
Lokální definice (1) syntaxe: (local (seznam definic) výraz) definice jsou dostupné pouze uvnitř příkazu local příklad: (local ( (define Pi 3.1415926) (define (plocha-kruhu r) (* Pi r r)) ) (plocha-kruhu
Programovací í jazyk Haskell
Historie Programovací í jazyk Haskell doc. Dr. Ing. Miroslav Beneš katedra informatiky, A-1007 59 732 4213 září 1991 Gofer experimentální jazyk Mark P. Jones únor 1995 Hugs Hugs98 téměř úplná implementace
Základy jazyka C# Obsah přednášky. Architektura.NET Historie Vlastnosti jazyka C# Datové typy Příkazy Prostory jmen Třídy, rozhraní
Základy jazyka C# doc. Ing. Miroslav Beneš, Ph.D. katedra informatiky FEI VŠB-TUO A-1007 / 597 324 213 http://www.cs.vsb.cz/benes Miroslav.Benes@vsb.cz Obsah přednášky Architektura.NET Historie Vlastnosti
PB161 Programování v jazyce C++ Přednáška 4
PB161 Programování v jazyce C++ Přednáška 4 Přetěžování funkcí Konstruktory a destruktory Nikola Beneš 9. října 2017 PB161 přednáška 4: přetěžování funkcí, konstruktory, destruktory 9. října 2017 1 / 20
Obsah. Předmluva 13 Zpětná vazba od čtenářů 14 Zdrojové kódy ke knize 15 Errata 15
Předmluva 13 Zpětná vazba od čtenářů 14 Zdrojové kódy ke knize 15 Errata 15 KAPITOLA 1 Úvod do programo vání v jazyce C++ 17 Základní pojmy 17 Proměnné a konstanty 18 Typy příkazů 18 IDE integrované vývojové
Implementace LL(1) překladů
Překladače, přednáška č. 6 Ústav informatiky, FPF SU Opava sarka.vavreckova@fpf.slu.cz Poslední aktualizace: 30. října 2007 Postup Programujeme syntaktickou analýzu: 1 Navrhneme vhodnou LL(1) gramatiku
Program a životní cyklus programu
Program a životní cyklus programu Program algoritmus zapsaný formálně, srozumitelně pro počítač program se skládá z elementárních kroků Elementární kroky mohou být: instrukce operačního kódu počítače příkazy
Seznamy a iterátory. Kolekce obecně. Rozhraní kolekce. Procházení kolekcí
Kolekce obecně Seznamy a iterátory doc. Ing. Miroslav Beneš, Ph.D. katedra informatiky FEI VŠB-TUO A-1007 / 597 324 213 http://www.cs.vsb.cz/benes Miroslav.Benes@vsb.cz Kolekce ::= homogenní sada prvků
SII - Informatika. 1. Atribut relace, jehož hodnota jednoznačně určuje prvek v jiné relaci, se nazývá:
SII - Informatika Způsob vyhodnocení: Při vyhodnocení budou za nesprávné odpovědi strhnuty body. 1. Atribut relace, jehož hodnota jednoznačně určuje prvek v jiné relaci, se nazývá: a) sekundární klíč b)
int ii char [16] double dd název adresa / proměnná N = nevyužito xxx xxx xxx N xxx xxx N xxx N
![int ii char [16] double dd název adresa / proměnná N = nevyužito xxx xxx xxx N xxx xxx N xxx N](/thumbs/71/65544491.jpg "int ii char [16] double dd název adresa / proměnná N = nevyužito xxx xxx xxx N xxx xxx N xxx N")
Struktura (union) - struktura a union jsou složené typy, které "v sobě" mohou obsahovat více proměnných - struktura obsahuje v každém okamžiku všechny své proměnné, union obsahuje (=je "aktivní") pouze
Ukazatel (Pointer) jako datový typ - proměnné jsou umístěny v paměti na určitém místě (adrese) a zabírají určitý prostor (počet bytů), který je daný
Ukazatel (Pointer) jako datový typ - proměnné jsou umístěny v paměti na určitém místě (adrese) a zabírají určitý prostor (počet bytů), který je daný typem proměnné - ukazatel je tedy adresa společně s
Rekurzivní algoritmy
Rekurzivní algoritmy prof. Ing. Pavel Tvrdík CSc. Katedra počítačových systémů Fakulta informačních technologií České vysoké učení technické v Praze c Pavel Tvrdík, 2010 Efektivní algoritmy (BI-EFA) ZS
Úvod do informatiky. Miroslav Kolařík
Úvod do informatiky přednáška desátá Miroslav Kolařík Zpracováno dle R. Bělohlávek, V. Vychodil: Diskrétní matematika 2, http://phoenix.inf.upol.cz/esf/ucebni/dm2.pdf P. Martinek: Základy teoretické informatiky,
LISP Definice funkcí
LISP Definice funkcí (DEFUN jméno-fce (argumenty) tělo-fce ) Přiřadí jménu-fce lambda výraz definovaný tělem-fce, tj. (LAMBDA (argumenty) tělo-fce). Vytvoří funkční vazbu symbolu jméno-fce Struktura symbolu:
ŘÍKÁME, ŽE FUNKCE JE ČÁSTEČNĚ SPRÁVNÁ (PARTIALLY CORRECT), POKUD KDYŽ JE SPLNĚNA PRECONDITION
ŘÍKÁME, ŽE FUNKCE JE ČÁSTEČNĚ SPRÁVNÁ (PARTIALLY CORRECT), POKUD KDYŽ JE SPLNĚNA PRECONDITION FUNKCE PŘI JEJÍM ZAVOLÁNÍ, JEJÍ POSTCONDITION JE SPLNĚNA PŘI NÁVRATU Z FUNKCE (POKUD NASTANE) OBECNĚ FUNKCE
Správa paměti. Karel Richta a kol. Katedra počítačů Fakulta elektrotechnická České vysoké učení technické v Praze Karel Richta, 2016
Správa paměti Karel Richta a kol. Katedra počítačů Fakulta elektrotechnická České vysoké učení technické v Praze Karel Richta, 2016 Objektové modelování, B36OMO 10/2016, Lekce 2 https://cw.fel.cvut.cz/wiki/courses/xxb36omo/start
14. Složitější konstrukce
Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti Praktika návrhu číslicových obvodů Dr.-Ing. Martin Novotný Katedra číslicového návrhu Fakulta informačních technologií ČVUT v Praze Miloš
(pracovní verze textu určená pro studenty)
KATEDRA INFORMATIKY PŘÍRODOVĚDECKÁ FAKULTA UNIVERZITA PALACKÉHO CVIČENÍ Z PARADIGMAT PROGRAMOVÁNÍ I Lekce 7: Akumulace Učební materiál k přednášce 16. listopadu 2006 (pracovní verze textu určená pro studenty)
1 Základních pojmy z oblasti programování, vyšší programovací jazyky, programovací paradigmata
1 Základních pojmy z oblasti programování, vyšší programovací jazyky, programovací paradigmata Studijní cíl Tento první blok celého kurzu zaměřen na zvládnutí základních pojmů z oblasti programování a
Programovací jazyky. imperativní (procedurální) neimperativní (neprocedurální) assembler (jazyk symbolických instrukcí)
Programovací jazyky Programovací jazyky nižší assembler (jazyk symbolických instrukcí) vyšší imperativní (procedurální) Pascal, C/C++, Java, Basic, Python, php neimperativní (neprocedurální) Lisp, Prolog
CZ.1.07/1.5.00/
Celá čísla Celočíselný typ má označení INTEGER. Kromě tohoto základního jsou k dispozici ještě další celočíselné typy, které uvádí následující tabulka. Každý typ umožňuje definovat určitý rozsah celých
PODOBÁ SE JAZYKU C S NĚKTERÝMI OMEZENÍMI GLOBÁLNÍ PROMĚNNÉ. NSWI162: Sémantika programů 2
PI JE JEDNODUCHÝ IMPERATIVNÍ PROGRAMOVACÍ JAZYK OBSAHUJE PODPORU ANOTACÍ NEOBSAHUJE NĚKTERÉ TYPICKÉ KONSTRUKTY PROGRAMOVACÍCH JAZYKŮ JAKO JSOU REFERENCE, UKAZATELE, GLOBÁLNÍ PROMĚNNÉ PODOBÁ SE JAZYKU C
Programování 2 (NMIN102) Soubory. RNDr. Michal Žemlička, Ph.D.
Programování 2 (NMIN102) Soubory RNDr. Michal Žemlička, Ph.D. Soubor abstrakce vstupního, výstupního či vstupně výstupního zařízení textová, typovaná a netypovaná varianta základní operace: otevření, čtení/zápis,
IW5 - Programování v.net a C# 4 Pokročilé konstrukce C#
4 - Pokročilé konstrukce C# IW5 - Programování v.net a C# Strana 1 Obsah přednášky Výjimky Delegáti Události Lambda výrazy Strana 2 Výjimky a jejich zpracování Slouží k ošetření výjimečných (chybových)
11. Přehled prog. jazyků
Jiří Vokřínek, 2016 B6B36ZAL - Přednáška 11 1 Základy algoritmizace 11. Přehled prog. jazyků doc. Ing. Jiří Vokřínek, Ph.D. Katedra počítačů Fakulta elektrotechnická České vysoké učení technické v Praze
Začínáme vážně programovat. Řídící struktury Přetypování Vstupně výstupní operace Vlastní tvorba programů
Začínáme vážně programovat Řídící struktury Přetypování Vstupně výstupní operace Vlastní tvorba programů Podmínky a cykly Dokončení stručného přehledu řídících struktur jazyka C. Složený příkaz, blok Pascalské
Logické programování
30. října 2012 Osnova Principy logického programování 1 Principy logického programování 2 3 1 Principy logického programování 2 3 Paradigmata programování Strukturované programování Procedurální programování