C# &.NET. Cvičení Mgr. Filip Krijt.
|
|
|
- Blanka Šimková
- před 7 lety
- Počet zobrazení:
Transkript
1 C# &.NET Cvičení Mgr. Filip Krijt CHARLES UNIVERSITY IN PRAGUE faculty of mathematics and physics
2 Kontaktní informace Filip Krijt PhD Student na D3S Místnost Zdroje ke cvičením Kontakt Atp.
3 Plán Organizace předmětu a cvičení Požadavky na zápočet Používání Visual Studia Zadání úloh k samostatné práci
4 Struktura předmětu NPRG035 (2/2 Zk/Z) Jazyk C# a platforma.net (zima) Přednáška Cvičení (SW2/SU2) třeba se přihlásit v SISu NPRG038 (2/2 Zk/Z) Pokročilé programování pro.net I (léto) Přednáška Cvičení (SW2/SW1) třeba se přihlásit v SISu NPRG057 (2/0 Zk) Pokročilé programování pro.net II (léto) Přednáška NPRG064 (0/2 Z) Programování uživatelských rozhraní v.net (léto) Přednáška
5 Cíl cvičení Praktické procvičení věcí z přednášek Umění / řemeslo "správného" programování Algoritmizace Programování I a II Funkční požadavky Kvalita Rozšiřitelnost, spolehlivost, srozumitelnost kódu... Nefunkční požadavky Nedá se dosáhnout jen na jedné úrovni (návrhu, kódu...) Snaha o kvalitu je odměňována - bonusové body
6 Organizace cvičení Jádrem cvičení je praktická úloha / úlohy Typicky ve formě domácího úkolu Deadline den před příštím cvičením Opravována automaticky pomocí CodExu Na začátku cvičení se rozebírá minulá úloha Typické chyby a komplikace Vzorové oficiální řešení Cvičení je dobrá příležitost se ptát cvičícího :)
7 Požadavky na zápočet Pravidelná docházka (maximálně 3 absence) Nedostatečná docházka výrazně komplikuje situaci "Rozumný" počet bodů za úlohy Zápočtový test (v labu u počítačů) 3 hodiny 5 pokusů, maximálně 3 v zimním zkouškovém Zápočtový program
8 Body Ohodnocení průměrné úlohy je ~ 10 bodů Důraz na správné a kompletní odladění Úloha musí být na 100% pro získání bodů Jinak 0 bodů Je potřeba získat konkrétní minimální počet bodů pro splnění jedné z podmínek zápočtu Další body navíc na určitých bodových hranicích poskytují výhodu ke zkoušce Ale pouze k prvnímu pokusu
9 Bodové hranice Při dostatečné docházce (max. 3 absence) 80 bodů pro splnění části podmínek na získání zápočtu Při nedostatečné docházce 110 bodů - část zápočtu Další bodové hranice poskytují výhodu ke zkoušce Viz web předmětu:
10 Zápočtový test Možnost používat libovolné tištěné materiály (knihy, apod.), kromě vytištěných vyřešených příkladů Z elektronických materiálů pouze slidy přednášejícího, případně slidy University of Linz (a samozřejmě MSDN Library) 3 hodiny v počítačové laboratoři Řešení musí splňovat všechny podmínky zadání a být zcela funkční Příklad zadání: Prevest logickou formuli ve vstupnim souboru do CNF (konjunktivni normalni forma) - konjunkce disjunkci. Vstupni formule je plne uzavokovana a kazdy clen je oddelen mezerou. Promenna je libovolny textovy retezec. & konjunkce,! negace, disjunkce, -> implikace, <-> ekvivalence Pri prevadeni se aplikuji nasledujici prepisovaci pravidla (kde a, b, c jsou libovolne formule): *!!a > a * a -> b >! a b * a <-> b > ( a -> b ) & ( b -> a ) *! ( a b ) >! a &! b *! ( a & b ) >! a! b * ( a & b ) c > ( a c ) & ( b c )
11 Zápočtový program Termíny NPRG035 (zima) i NPRG038: Specifikace: Předvedení finální plně funkční verze (včetně uživatelské a programátorské dokumentace): 1. deadline: deadline: Požadavky na program z NPRG035, NPRG064: Předvedeno do 1. deadline: minimálně 30 kb zdrojového kódu v jazyce C# Předvedeno do 2. deadline: minimálně 45 kb zdrojového kódu v jazyce C# Předvedeno po 2. deadline: minimálně 60 kb zdrojového kódu v jazyce C# Požadavky na program z NPRG038, resp. z NPRG057: Předvedeno do 1. deadline: minimálně 60 kb zdrojového kódu v jazyce C# Předvedeno do 2. deadline: minimálně 90 kb zdrojového kódu v jazyce C# Předvedeno po 2. deadline: minimálně 120 kb zdrojového kódu v jazyce C# Netriviální a rozumné použití některé z technologií probíraných v NPRG038 (vlákna, Sockets [síťování],.net Remoting, LINQ, Reflection, generování kódu), resp. NPRG057 (unsafe kód, C++/CLI,.NET Security, ADO.NET, Web Services, serializace, skriptování) ne XML! Poznámka: Každý zápočtový program, který splňuje požadavky NPRG038, resp. NPRG057, splňuje i požadavky NPRG035 (tj. lze odevzdat jeden program za oba předměty) rozumný/rozumné = na požádání posoudí cvičící Nevygenerovaný (ručně psaný) rozumný kód POZOR! Osobní předvedení je součástí odevzdání. Na předvádění si připravte několik slidů shrnujících: hlavní funkce programu + hlavní řešené problémy + nástin architektury.
12 Fair-play Samostatné vypracování Kopírování a opisování se netoleruje A jde poměrně dobře poznat :) Za nesamostatné vypracování se považuje i týmová spolupráce Brainstorming Hledání bugů navzájem Užitečné dovednosti, ale vyučované v jiných předmětech Místo toho psát cvičícímu
13 Prostor pro dotazy
14 Visual Studio
15 Prostor pro dotazy
16 CodEx Automatické vyhodnocování úloh na základě testů Jiný CodEx než z PG I a II Přímá adresa: Dá se proklikat z rozcestníku CodExů Google: Codex MFF Registrace + přiřazení do správné skupiny
17 Klávesové zkratky Ctrl-Space = Intellisense Ctrl-Shift-Space = Nápověda k argumentům funkcí Ctrl-Shift-B = Build F5 = Spuštění v debug režimu Ctrl-K, C = Zakomentování Ctrl-K, U = Odkomentování Tab, Shift-Tab = Posun úrovně bloku F10 = Step over F11 = Step into Shift-F11
C# &.NET. Cvičení Mgr. Filip Krijt.
C# &.NET http://d3s.mff.cuni.cz Cvičení Mgr. Filip Krijt krijt@d3s.mff.cuni.cz http://d3s.mff.cuni.cz/~krijt/ CHARLES UNIVERSITY IN PRAGUE faculty of mathematics and physics Plán Nežárka.NET Rekapitulace
Nástroje pro vývoj software
Nástroje pro vývoj software http://d3s.mff.cuni.cz Pavel Parízek parizek@d3s.mff.cuni.cz CHARLES UNIVERSITY IN PRAGUE faculty of mathematics and physics Cíl předmětu Základní přehled o dostupných nástrojích
PROGRAMOVÁNÍ PRO MS WINDOWS 2
Cílem předmětu je seznámit posluchače s moderními prostředky pro tvorbu aplikací pro Windows jmenovitě s programovou platformou NET a programovacím jazykem C#. V průběhu budou vysvětlena následující témata:
https://zolotarev.fd.cvut.cz/tdl
Technologie dopravy a logistika LS 15/16 Podmínky k získání klasifikovaného zápočtu (resp. zápočtu a složení zkoušky u studentů opakujících předmět 17TDL/17TDLK) podmínky jsou jednotné pro studenty v Praze
Technologie dopravy a logistika LS 14/15
Technologie dopravy a logistika LS 14/15 Podmínky k získání zápočtu a složení zkoušky podmínky jsou jednotné pro studenty v Praze i v Děčíně: Student je dílčím způsobem hodnocen průběžně během semestru,
Základy matematiky pro FEK
Základy matematiky pro FEK 1. přednáška 22.9.2016 Blanka Šedivá KMA zimní semestr 2016/2017 Blanka Šedivá (KMA) Základy matematiky pro FEK zimní semestr 2016/2017 1 / 19 Organizační pokyny přednášející:
Předměty. Algoritmizace a programování Seminář z programování. Verze pro akademický rok 2012/2013. Verze pro akademický rok 2012/2013
Předměty Algoritmizace a programování Seminář z programování Verze pro akademický rok 2012/2013 Verze pro akademický rok 2012/2013 1 Přednášky Jiřina Královcová MTI, přízemí budovy A Tel: 48 53 53 521
Normální formy. (provizorní text)
Normální formy (provizorní text) Výrokový počet Definice. Jazyk výrokového počtu obsahuje výrokové proměnné p, q, r, s,..., spojky,,,.. a závorky (,). Výrokové proměnné jsou formule. Jestliže a jsou formule,
Diskrétní matematika. DiM /01, zimní semestr 2017/2018
Diskrétní matematika Petr Kovář petr.kovar@vsb.cz Vysoká škola báňská Technická univerzita Ostrava DiM 470-2301/01, zimní semestr 2017/2018 O tomto souboru Tento soubor je zamýšlen především jako pomůcka
Speciální numerické metody 4. ročník bakalářského studia. Cvičení: Ing. Petr Lehner Přednášky: doc. Ing. Martin Krejsa, Ph.D.
Speciální numerické metody 4. ročník bakalářského studia Cvičení: Ing. Petr Lehner Přednášky: doc. Ing. Martin Krejsa, Ph.D. 1 Základní informace o cvičení Předmět: 228-0210/01 Speciální numerické metody
Formální systém výrokové logiky
Formální systém výrokové logiky 1.Jazyk výrokové logiky Nechť P = {p,q,r, } je neprázdná množina symbolů, které nazýváme prvotní formule. Symboly jazyka L P výrokové logiky jsou : a) prvky množiny P, b)
Organizace předmětu, podmínky pro získání klasifikovaného zápočtu
ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE Fakulta elektrotechnická Ing. Radek Sedláček, Ph.D., katedra měření K13138 Organizace předmětu, podmínky pro získání klasifikovaného zápočtu Kurz A0B38FPGA Aplikace
Úvod do softwarového inženýrství a týmového vývoje
Úvod do softwarového inženýrství a týmového vývoje Ing. Jiří Mlejnek Katedra softwarového inženýrství Fakulta informačních technologií České vysoké učení technické v Praze Jiří Mlejnek, 2011 jiri.mlejnek@fit.cvut.cz
Požadavky na zápočet a zkoušku
1/6 Požadavky na zápočet a zkoušku Zápočet vstupní test aktivní účast na cvičeních dva zápočtové testy Maximální počet bodů, který můžete získat je 200 bodů. 80 bodů zápočet 50-79 bodů souhrnný test (1
Jak jsem potkal logiku. Převod formule do (úplného) disjunktivního tvaru. Jan Hora
Česká zemědělská univerzita 17. října 2011 U makléře Já: Dobrý den, rád bych koupil nějaký světlý byt. Chtěl bych, aby měl dvě koupelny a aby byl v domě výtah. A neměl by být nijak extrémně drahý. Makléř:
KIV/ZI Základy informatiky. Přednášející: Ing. Jana Krutišová Cvičící: Ing. Michal Nykl
KIV/ZI Základy informatiky Přednášející: Ing. Jana Krutišová Cvičící: Ing. Michal Nykl zimní semestr 2011 KIV/ZI Kde mě najdete Jméno: Michal Nykl e-mail: nyklm@kiv.zcu.cz web: http://home.zcu.cz/~nyklm/
Disjunktivní a konjunktivní lní tvar formule. 2.přednáška
Disjunktivní a konjunktivní normáln lní tvar formule 2.přednáška Disjunktivní normáln lní forma Definice Řekneme, že formule ( A ) je v disjunktivním normálním tvaru (formě), zkráceně v DNF, jestliže je
5a. Makra Visual Basic pro Microsoft Escel. Vytvořil Institut biostatistiky a analýz, Masarykova univerzita J. Kalina
5a. Makra Visual Basic pro Microsoft Escel Vytvořil Institut biostatistiky a analýz, Masarykova univerzita J. Kalina Cyklické odkazy a iterativní výpočty Zde bude stránka o cyklických odkazech a iteracích.
Architektura počítačů Agenda
Architektura počítačů Agenda http://d3s.mff.cuni.cz http://d3s.mff.cuni.cz/teaching/computer_architecture/ Lubomír Bulej bulej@d3s.mff.cuni.cz CHARLES UNIVERSITY IN PRAGUE faculty faculty of of mathematcs
Spojování výroků (podmínek) logickými spojkami
Spojování výroků (podmínek) logickými spojkami Spojování výroků logickými spojkami a) Konjunkce - spojení A B; Pravdivostní tabulka konjunkce A B A B 0 0 0 0 1 0 1 0 0 1 1 1 AND; A a současně B Konjunkce
Výroková a predikátová logika - II
Výroková a predikátová logika - II Petr Gregor KTIML MFF UK ZS 2015/2016 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2015/2016 1 / 18 Základní syntax Jazyk Výroková logika je logikou
A G O N O T. RNDr. Filip Zavoral, Ph.D. Počet řešitelů: 4 5. Termín dokončení: červen 2013 ORGANIZÁ TOR TU R NA JŮ
A G O N O T ORGANIZÁ TOR TU R NA JŮ Vedoucí projektu: RNDr. Filip Zavoral, Ph.D. (zavoral@ksi.mff.cuni.cz) Počet řešitelů: 4 5 Termín dokončení: červen 2013 MOTIVACE V současné době neznáme program pro
4a. Makra Visual Basic pro Microsoft Excel Cyklické odkazy a iterace Makra funkce a metody
4a. Makra Visual Basic pro Microsoft Excel Cyklické odkazy a iterace Makra funkce a metody Vytvořil Institut biostatistiky a analýz, Masarykova univerzita J. Kalina Cyklické odkazy a iterativní výpočty
Matematická logika. Rostislav Horčík. horcik
Matematická logika Rostislav Horčík horcik@math.feld.cvut.cz horcik@cs.cas.cz www.cs.cas.cz/ horcik Rostislav Horčík (ČVUT FEL) Y01MLO Letní semestr 2007/2008 1 / 15 Sémantická věta o dedukci Věta Pro
1. ÚVOD. Arnošt Žídek, Iveta Cholevová. 15. října 2013 FBI VŠB-TUO
FBI VŠB-TUO 15. října 2013 Kontaktní informace Mgr. Iveta Cholevová, Ph. D. iveta.cholevova@vsb.cz A829, 597 324 146 Mgr. Arnošt Žídek, Ph. D. arnost.zidek@vsb.cz A832, 597 324 177 Předpokládané znalosti
Kurz je rozdělen do čtyř bloků, které je možné absolvovat i samostatně. Podmínkou pro vstup do kurzu je znalost problematiky kurzů předešlých.
Soubor kurzů XHTML, CSS, PHP a MySQL Kurz je rozdělen do čtyř bloků, které je možné absolvovat i samostatně. Podmínkou pro vstup do kurzu je znalost problematiky kurzů předešlých. Jeden blok se skládá
Základy algoritmizace a programování
Základy algoritmizace a programování Přednáška 1 Olga Majlingová Katedra matematiky, ČVUT v Praze 21. září 2009 Obsah Úvodní informace 1 Úvodní informace 2 3 4 Organizace předmětu Přednášky 1. 5. Základní
Připravil: Ing. Vít Ondroušek, Ph.D. Technologie.Net Framework
Připravil: Ing. Vít Ondroušek, Ph.D. Technologie.Net Framework úvod, historie, základy.net framework, programovací jazyky, vývojové prostředky Úvod strana 2 Cíl předmětu Seznámit se s vývojem aplikací
Václav Matoušek KIV. Umělá inteligence a rozpoznávání. Václav Matoušek / KIV
Umělá inteligence a rozpoznávání Václav Matoušek KIV e-mail: matousek@kiv.zcu.cz 0-1 Sylabus předmětu: Datum Náplň přednášky 16. 2. (3h) 2. 3. (4h) 17. 3. (5h) 14. 4. (3h) Úvod, historie a vývoj UI, základní
Rovnice matematické fyziky cvičení pro akademický školní rok 2013-2014
Harmonogram výuky předmětu Rovnice matematické fyziky cvičení pro akademický školní rok 2013-2014 Vedoucí cvičení: ing. Václav Klika, Ph.D. & MSc. Karolína Korvasová & & ing. Matěj Tušek, Ph.D. Katedra
Nápověda ke cvičení 1
Nápověda ke cvičení 1 Uložení dokumentu: Soubor Uložit jako pohlídáme si správné umístění dokumentu (plocha) Název souboru: napíšeme název Uložit jako typ: Dokument Word Uložit Průběžné ukládání: Soubor
Algoritmy I. Cvičení č.1 ALGI 2015/16
Algoritmy I Cvičení č.1 1 ALG I, informace Cvičící RNDr. Eliška Ochodková, Ph.D., kancelář EA439 eliska.ochodkova@vsb.cz www.cs.vsb.cz/ochodkova Přednášející doc. Mgr. Jiří Dvorský, Ph.D., kancelář EA441
Výroková a predikátová logika - II
Výroková a predikátová logika - II Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2017/2018 1 / 17 Předběžnosti Základní pojmy n-ární relace a funkce
Úvod do informatiky. Miroslav Kolařík
Úvod do informatiky přednáška první Miroslav Kolařík Zpracováno dle učebního textu prof. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008. Obsah 1 Co a k čemu je logika? 2 Výroky a logické spojky
Tutorujeme pomocí Moodle
Tutorujeme pomocí Moodle Ing. Robert Kempný Ing. Petr Korviny, Ph.D. Ing. Roman Foltýn 1 ÚDiV Ústav distančního vzdělávání Prof. RNDr. Jaroslav RAMÍK, CSc. vedoucí 227 A401 Ingrid JURČÍKOVÁ sekretářka
PROGRAMOVÁNÍ V C++ CVIČENÍ
PROGRAMOVÁNÍ V C++ CVIČENÍ INFORMACE Michal Brabec http://www.ksi.mff.cuni.cz/ http://www.ksi.mff.cuni.cz/~brabec/ brabec@ksi.mff.cuni.cz gmichal.brabec@gmail.com PODMÍNKY ZÁPOČTU Základní podmínky společné
NPRG030 Programování I, 2016/17 1 / :58:13
NPRG030 Programování I, 2016/17 1 / 31 10. 10. 2016 10:58:13 Podmínka = něco, co JE, nebo NENÍ splněno typ Boolean hodnoty: TRUE pravda FALSE lež domluva (optimistická): FALSE < TRUE NPRG030 Programování
M - Výroková logika VARIACE
M - Výroková logika Autor: Mgr. Jaromír Juřek Kopírování a další šíření povoleno pouze s uvedením odkazu na www.jarjurek.cz. VARIACE 1 Tento dokument byl kompletně vytvořen, sestaven a vytištěn v programu
Ing. Jitka Řezníčková, CSc., Ing. Jan Šleichrt, Ing. Jan Vyčichl, Ph.D.
Statika (18SAT) letní semestr 2016/2017 přednášky: Ing. Daniel Kytýř, Ph.D. cvičení: Ing. Tomáš Doktor, Ing. Petr Koudelka, Ing. Nela Krčmářová, Ing. Jitka Řezníčková, CSc., Ing. Jan Šleichrt, Ing. Jan
Z0076 METEOROLOGIE A KLIMATOLOGIE
23.9.2013 Z0076 Meteorologie a klimatologie 1 Z0076 METEOROLOGIE A KLIMATOLOGIE Semestr podzim 2013 23.9.2013 Z0076 Meteorologie a klimatologie 2 Osnova 1) Organizace předmětu 2) Podmínky udělení zápočtu
Název předmětu: Školní rok: Forma studia: Studijní obory: Ročník: Semestr: Typ předmětu: Rozsah a zakončení předmětu:
Plán předmětu Název předmětu: Algoritmizace a programování (PAAPK) Školní rok: 2007/2008 Forma studia: Kombinovaná Studijní obory: DP, DI, PSDPI, OŽPD Ročník: I Semestr: II. (letní) Typ předmětu: povinný
Výroková logika II. Negace. Již víme, že negace je změna pravdivostní hodnoty výroku (0 1; 1 0).
Výroková logika II Negace Již víme, že negace je změna pravdivostní hodnoty výroku (0 1; 1 0). Na konkrétních příkladech si ukážeme, jak se dají výroky negovat. Obecně se výrok dá negovat tak, že před
Výroková logika - opakování
- opakování ormální zavedení Výroková formule: Máme neprázdnou nejvýše spočetnou množinu A výrokových proměnných. 1. Každá proměnná je výroková formule 2. Když α, β jsou formule, potom ( α), (α β), (α
Úvod do logiky (VL): 7. Ekvivalentní transformace
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (VL): 7. Ekvivalentní transformace doc. PhDr. Jiří
Vývoj informačních systémů. Přehled témat a úkolů
Vývoj informačních systémů Přehled témat a úkolů Organizace výuky doc. Mgr. Miloš Kudělka, Ph.D. EA 439, +420 597 325 877 homel.vsb.cz/~kud007 milos.kudelka@vsb.cz Přednáška Znalosti Schopnosti Cvičení
Logika a logické programování
Logika a logické programování témata ke zkoušce Poslední aktualizace: 16. prosince 2009 Zkouška je písemná, skládá se obvykle ze sedmi otázek (může být více nebo méně, podle náročnosti otázek), z toho
Cvičení 4. negace konjunkce disjunkce implikace ekvivalence. a) Najděte UDNF, UKNF a stanovte log. důsledky. 1) [p (p q)] [( p q) (q p)]
![Cvičení 4. negace konjunkce disjunkce implikace ekvivalence. a) Najděte UDNF, UKNF a stanovte log. důsledky. 1) [p (p q)] [( p q) (q p)]](/thumbs/92/108888591.jpg "Cvičení 4. negace konjunkce disjunkce implikace ekvivalence. a) Najděte UDNF, UKNF a stanovte log. důsledky. 1) [p (p q)] [( p q) (q p)]")
Cvičení 4 negace konjunkce disjunkce implikace ekvivalence a) Najděte UDNF, UKNF a stanovte log. důsledky 1) [p (p q)] [( p q) (q p)] p q p q p q q p p A B C D E UEK UED A B C D E F 0 0 1 1 0 0 0 1 p q
Java Cvičení 01. CHARLES UNIVERSITY IN PRAGUE faculty of mathematics and physics
Java Cvičení 01 http://d3s.mff.cuni.cz CHARLES UNIVERSITY IN PRAGUE faculty of mathematics and physics Příklady - Porovnání Co kód vypíše? package cz.cuni.mff.java.example01.tests; public class Test01
Results of innovation of the course Application software
Zkušenosti z inovace předmětu Aplikační programové vybavení Results of innovation of the course Application software Miroslav Cepl *, Ondřej Popelka Abstrakt Článek popisuje postup a průběžný výsledek
Architektura počítačů Agenda
Architektura počítačů Agenda http://d3s.mff.cuni.cz/teaching/computer_architecture/ Lubomír Bulej bulej@d3s.mff.cuni.cz CHARLES UNIVERSITY IN PRAGUE faculty of mathematics and physics Architektura počítačů,
Diskrétní matematika. DiM /01, zimní semestr 2016/2017
Diskrétní matematika Petr Kovář petr.kovar@vsb.cz Vysoká škola báňská Technická univerzita Ostrava DiM 470-2301/01, zimní semestr 2016/2017 O tomto souboru Tento soubor je zamýšlen především jako pomůcka
teorie logických spojek chápaných jako pravdivostní funkce
Výroková logika teorie logických spojek chápaných jako pravdivostní funkce zabývá se způsoby tvoření výroků pomocí spojek a vztahy mezi pravdivostí různých výroků používá specifický jazyk složený z výrokových
12PPOK PROJEKTOVÁNÍ POZEMNÍCH KOMUNIKACÍ
Stránka 1 (celkem 6) 12PPOK PROJEKTOVÁNÍ POZEMNÍCH KOMUNIKACÍ (PREZENČNÍ FORMA STUDIA) ZIMNÍ SEMESTR 2018 2019 Informace dle ustanovení čl. 2 odst. 3 Směrnice děkana č. 2/2018 Povinná účast na jednotlivých
Výroková a predikátová logika - II
Výroková a predikátová logika - II Petr Gregor KTIML MFF UK ZS 2013/2014 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2013/2014 1 / 20 Základní syntax Jazyk Výroková logika je logikou
Operační systémy. Cvičení 1: Seznámení s prostředím
Operační systémy Cvičení 1: Seznámení s prostředím 1 Obsah cvičení Organizace cvičení Učebna K311 Unixová učebna K327 (Solárium) Přihlášení do Unixu Spouštění vzorových příkladů vzdáleně (Unix) lokálně
Obecné informace o cvičeních
Obecné informace o cvičeních Michal Podzimek michal.podzimek@profinit.eu http://www.profinit.eu/cz/podpora-univerzit/univerzitni-vyuka O cvičícím Více než 3 roky v Profinitu Absolvoval tento předmět na
Multimediální prvky a interaktivita ve výuce
Multimediální prvky a interaktivita ve výuce RNDr. Pavel Lízal, Ph.D. Multimediální prvky a interaktivita ve výuce RNDr. Pavel Lízal, Ph.D. Elektronická skripta Bi3061 Praktikum z obecné genetiky Využití
Aplikační software 2
Kombinované studium Aplikační software 2 stránka: 1 z 6 Základní informace potřebné k získání zápočtu z předmětu Aplikační software 2 Tyto pokyny pro studenty jsou umístěny: 2013) Výuka Studijní materiály
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
A5M33IZS Informační a znalostní systémy. O čem předmět bude? Úvod do problematiky databázových systémů
A5M33IZS Informační a znalostní systémy O čem předmět bude? Úvod do problematiky databázových systémů Co se dozvíte? Návrh datových struktur (modelování relačních dat) Relační modelování úlohy z oblasti
PB029 Elektronická příprava dokumentů
PB029 Elektronická příprava dokumentů 1. demopřednáška, seznámení se software Vít Novotný witiko@mail.muni.cz 20. září 2018 Obsah prezentace Informace pro podzim 2018 Seznámení s použitým software TEX
Matematika I. Přednášky: Mgr. Radek Výrut, Zkouška:
Přednášky: Mgr. Radek Výrut, Matematika I katedra matematiky, UL-605, rvyrut@kma.zcu.cz tel.: 377 63 2658 Zkouška: Písemná část zkoušky - příklady v rozsahu zápočtových prací Ústní část zkoušky - základní
Úvod do teoretické informatiky
Úvod do teoretické informatiky Zdeněk Sawa Katedra informatiky, FEI, Vysoká škola báňská Technická universita Ostrava 17. listopadu 15, Ostrava-Poruba 708 33 Česká republika 11. února 2018 Z. Sawa (VŠB-TUO)
Úvod do B4B36PDV. Organizace předmětu a seznámení se s paralelizací. B4B36PDV Paralelní a distribuované výpočty
Úvod do B4B36PDV Organizace předmětu a seznámení se s paralelizací B4B36PDV Paralelní a distribuované výpočty Osnova Čím se budeme zabývat? Hodnocení předmětu Úvod do paralelního hardwaru a softwaru 1
Textový editor Microsoft Word 1
Textový editor Microsoft Word 1 Martin Hejtmánek hejtar@fjfi.cvut.cz Počítačový kurs Univerzity třetího věku na FJFI ČVUT Pokročilý 100 120 6. listopadu 2008 Microsoft Office Kancelářský baĺık Microsoft
MATEMATICKÁ ANALÝZA 1, NMMA101, ZIMNÍ SEMESTR POPIS PŘEDMĚTU A INFORMACE K ZÁPOČTU A KE ZKOUŠCE
MATEMATICKÁ ANALÝZA 1, NMMA101, ZIMNÍ SEMESTR 2018 2019 POPIS PŘEDMĚTU A INFORMACE K ZÁPOČTU A KE ZKOUŠCE LUBOŠ PICK Popis předmětu Jde o první část čtyřsemestrálního základního kursu matematické analýzy.
NP-ÚPLNÉ PROBLÉMY. Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze
NP-ÚPLNÉ PROBLÉMY Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze BI-GRA, LS 2010/2011, Lekce 13 Evropský sociální fond Praha & EU: Investujeme do
Základy datových vazeb Silverlightu. Funkce Silverlightu 2. Podpora jazyků a technologie.net Framework
Funkce Silverlightu 2 Podpora jazyků a technologie.net Framework Model pro popis webových služeb a jejich operací Volná vázanost datových služeb Nový model ovládacích prvků LINQ to Objects a UNQ to XML
1. Úvodní informace. BI-EP1 Efektivní programování Martin Kačer
1. Úvodní informace 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é
PROGRAMOVÁNÍ PRO MS WINDOWS 1
Cílem předmětu je seznámit posluchače s moderními prostředky pro tvorbu aplikací pro Windows jmenovitě s programovou platformou.net a programovacím jazykem C#. V průběhu budou vysvětlena následující témata:
Úvod do logiky (VL): 5. Odvození výrokových spojek z jiných
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (VL): 5. Odvození z jiných doc. PhDr. Jiří Raclavský,
KATEDRA MATERIÁLOVÉHO INŽENÝRSTVÍ A CHEMIE. YVSM Vlastnosti stavebních materiálů
KATEDRA MATERIÁLOVÉHO INŽENÝRSTVÍ A CHEMIE YVSM Vlastnosti stavebních materiálů Přednášející / Cvičící Ing. Lukáš Fiala, Ph.D. místnost: A325 fialal@fsv.cvut.cz Ing. Jaromír Žumár místnost: D1015 jaromir.zumar@fsv.cvut.cz
LOGIKA VÝROKOVÁ LOGIKA
LOGIKA Popisuje pravidla odvozování jedněch tvrzení z druhých. Je to myšlenková cesta ke správným závěrům. Vznikla jako součást filosofie. Zakladatelem byl Aristoteles. VÝROKOVÁ LOGIKA Obsahuje syntaktická,
Maturitní práce s obhajobou
Maturitní práce s obhajobou Kód a název oboru: 18-20-M/01 Informační technologie Téma maturitní práce: Webový projekt / Programování / Grafický projekt / Databázový projekt Vedoucí maturitní práce: Daniel
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
Vývoj informačních systémů. Přehled témat a úkolů
Vývoj informačních systémů Přehled témat a úkolů Organizace výuky doc. Mgr. Miloš Kudělka, Ph.D. EA 439, +420 597 325 877 homel.vsb.cz/~kud007 milos.kudelka@vsb.cz Přednáška Teorie Praxe Cvičení Diskuze
Základy programování Zdrojový kód, dokumentace, týmová práce
Základy programování Zdrojový kód, dokumentace, týmová práce doc. RNDr. Petr Šaloun, Ph.D. VŠB-TUO, FEI (přednáška připravena z podkladů Ing. Michala Radeckého) Algoritmus Algoritmus Postup popisující
IB013 Logické programování I Hana Rudová. jaro 2011
IB013 Logické programování I Hana Rudová jaro 2011 Hodnocení předmětu Zápočtový projekt: celkem až 40 bodů Průběžná písemná práce: až 30 bodů (základy programování v Prologu) pro každého jediný termín:
BIOMEDICÍNSKÝ SYSTÉM PRO AGENTURY DOMÁCÍ PÉČE. Ondřej Krejcar, Dalibor Janckulík, Leona Motalová
BIOMEDICÍNSKÝ SYSTÉM PRO AGENTURY DOMÁCÍ PÉČE Ondřej Krejcar, Dalibor Janckulík, Leona Motalová ZADÁNÍ PROJEKTU Návrh architektury Biomedicínského Systému Implementace Serverové části systému modifikace
12. Booleova algebra, logická funkce určitá a neurčitá, realizace logických funkcí, binární kódy pro algebraické operace.
12. Booleova algebra, logická funkce určitá a neurčitá, realizace logických funkcí, binární kódy pro algebraické operace. Logická proměnná - proměnná nesoucí logickou hodnotu Logická funkce - funkce přiřazující
PRŮVODCE STUDIEM PRO PREZENČNÍ FORMU STUDIA MODULU IT V PODNIKU DÍLČÍ ČÁST PROGRAMOVÁNÍ BUSINESS APLIKACÍ
PRŮVODCE STUDIEM PRO PREZENČNÍ FORMU STUDIA MODULU IT V PODNIKU DÍLČÍÍ ČÁSTT PROGRAMOVÁNÍ BUSINESS APLIKACÍ Bronislav Heryán Jiří Kubica Ostrava 2011 Název: Autoři: Vydání: Počet stran: Tisk: Vydala: IT
Výroková logika. Teoretická informatika Tomáš Foltýnek
Výroková logika Teoretická informatika Tomáš Foltýnek foltynek@pef.mendelu.cz Teoretická informatika strana 2 Opakování z minulé přednášky Co je to formalismus a co je jeho cílem? Formulujte Russelův paradox
Architektura počítačů Logické obvody
Architektura počítačů Logické obvody http://d3s.mff.cuni.cz/teaching/computer_architecture/ Lubomír Bulej bulej@d3s.mff.cuni.cz CHARLES UNIVERSITY IN PRAGUE faculty of mathematics and physics Digitální
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
Úvod Seznámení s předmětem Co je.net Vlastnosti.NET Konec. Programování v C# Úvodní slovo 1 / 25
Programování v C# Úvodní slovo 1 / 25 Obsah přednášky Seznámení s předmětem Co je.net Vlastnosti.NET 2 / 25 Kdo je kdo Petr Vaněček vanecek@pf.jcu.cz J 502 Václav Novák vacnovak@pf.jcu.cz?? Při komunikaci
Architektura počítačů Logické obvody
Architektura počítačů Logické obvody http://d3s.mff.cuni.cz/teaching/computer_architecture/ Lubomír Bulej bulej@d3s.mff.cuni.cz CHARLES UNIVERSITY IN PRAGUE faculty of mathematics and physics 2/36 Digitální
Novinky ve Visual Studio 2010. Tomáš Kroupa Tomas.Kroupa@hotmail.com
Novinky ve Visual Studio 2010 Tomáš Kroupa Tomas.Kroupa@hotmail.com O čem si dnes řekneme Visual studio 2010 (beta 2) Jazyk C# 4.0 ASP.NET 4.0.NET 4.0 Visual Studio 2010 Beta 2 Jak získat Testovací verze
Operátory. Základy programování 1 Martin Kauer (Tomáš Kühr)
Operátory Základy programování 1 Martin Kauer (Tomáš Kühr) Organizační poznámky Formátujte kód přehledně! Pomůžete sobě i mně. Spusťte si vaše programy a zkuste různé vstupy! Pokud program nedává správné
Univerzita Palackého v Olomouci Radek Janoštík (Univerzita Palackého v Olomouci) Základy programování 4 - C# 12.2.
Základy programování 4 - C# Radek Janoštík Univerzita Palackého v Olomouci 12.2.2018 Radek Janoštík (Univerzita Palackého v Olomouci) Základy programování 4 - C# 12.2.2018 1 / 18 Úvod Předmět navazuje
Kritéria hodnocení žáků obor vzdělávání
Obchodní akademie, Střední odborná škola knihovnická a Vyšší odborná škola Brno, příspěvková organizace Kritéria hodnocení žáků obor vzdělávání EKONOMICKÉ LYCEUM (78-42-M/02) 1.- 4. ročník v rámci průběžné
Metody tvorby politik (MTP) Zimní semestr 2018/2019 Katedra veřejné a sociální politiky FSV UK
Metody tvorby politik (MTP) Zimní semestr 2018/2019 Katedra veřejné a sociální politiky FSV UK Dnes Představení Povinnosti v MTP Úvod do policy analysis Představení Vyučující Garant: Prof. PhDr. Arnošt
Co je to matematika?
Co je to matematika? Hello FIT 2018 Daniel Dombek, Tomáš Kalvoda, Karel Klouda KAM FIT ČVUT 27. září 2018 Přednášející Daniel Dombek Tomáš Kalvoda Úvod Úvod Úvod Blíží se akademický Nový rok! Již příští
Úvod do Unixu. man: příkaz pro zobrazení nápovědy k danému příkazu, programu (pokud je k dispozici), např. man cp. pwd: vypíše cestu k aktuální pozici
Základní příkazy Úvod do Unixu man: příkaz pro zobrazení nápovědy k danému příkazu, programu (pokud je k dispozici), např. man cp vypíše nápovědu o příkazu cp, manuálová stránka se ukončí stisknutím klávesy
ALGORITMIZACE A DATOVÉ STRUKTURY (14ASD) 1. cvičení
ALGORITMIZACE A DATOVÉ STRUKTURY (14ASD) 1. cvičení Lucie Krčálová Ústav aplikované informatiky v dopravě (K614) email: lkrcalova@fd.cvut.cz místnosti : F211, K109 (semestr - ČT), Horská budova A 4. patro
VY_42_Inovace_12_MA_2.01_ Výroky. Prezentace určena pro první ročník maturitních oborů, ve které je vysvětlení učiva výroky.
Číslo projektu Číslo materiálu CZ.1.07/1.5.00/34.0394 VY_42_Inovace_12_MA_2.01_ Výroky Název školy Střední odborná škola a Střední odborné učiliště, Hustopeče, Masarykovo nám. 1 Autor Tematický celek Mgr.
MANAŽERSKÉ PROPOČTY, kód: 238 1712
CÍL, PRAVIDLA A PROGRAM KURZU: MANAŽERSKÉ PROPOČTY, kód: 238 1712 Ústav: Ú 12138 - Řízení a ekonomika podniku, Fakulta strojní, Karlovo náměstí 13 Obor: Bak. - VES Semestr: 8. Rozsah: 2+2; z+zk Kredity:
Pravidla pro získání zápočtu vytvořením individuální semestrální práce mimo cvičení
Pravidla pro získání zápočtu vytvořením individuální semestrální práce mimo cvičení Ing. Tomáš Martinec Ph.D. TECHNICKÁ UNIVERZITA V LIBERCI Fakulta mechatroniky, informatiky a mezioborových studií Tento
Klasická výroková logika - tabulková metoda
1 Klasická výroková logika - tabulková metoda Na úrovni výrokové logiky budeme interpretací rozumět každé přiřazení pravdivostních hodnot výrokovým parametrům. (V případě přiřazení pravdivostních hodnot
Matematická logika. Miroslav Kolařík
Matematická logika přednáška třetí Miroslav Kolařík Zpracováno dle textu R. Bělohlávka: Matematická logika poznámky k přednáškám, 2004. a dle učebního textu R. Bělohlávka a V. Vychodila: Diskrétní matematika
Inovace a zkvalitnění výuky prostřednictvím ICT Základy programování a algoritmizace úloh. Ing. Hodál Jaroslav, Ph.D. VY_32_INOVACE_25 09
Střední průmyslová škola a Vyšší odborná škola technická Brno, Sokolská 1 Šablona: Název: Téma: Inovace a zkvalitnění výuky prostřednictvím ICT Základy programování a algoritmizace úloh Operátory Autor: