C# &.NET. Cvičení Mgr. Filip Krijt.

Podobné dokumenty
C# &.NET. Cvičení Mgr. Filip Krijt.

Nástroje pro vývoj software

PROGRAMOVÁNÍ PRO MS WINDOWS 2


Technologie dopravy a logistika LS 14/15

Základy matematiky pro FEK

Předměty. Algoritmizace a programování Seminář z programování. Verze pro akademický rok 2012/2013. Verze pro akademický rok 2012/2013

Normální formy. (provizorní text)

Diskrétní matematika. DiM /01, zimní semestr 2017/2018

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.

Formální systém výrokové logiky

Organizace předmětu, podmínky pro získání klasifikovaného zápočtu

Úvod do softwarového inženýrství a týmového vývoje

Požadavky na zápočet a zkoušku

Jak jsem potkal logiku. Převod formule do (úplného) disjunktivního tvaru. Jan Hora

KIV/ZI Základy informatiky. Přednášející: Ing. Jana Krutišová Cvičící: Ing. Michal Nykl

Disjunktivní a konjunktivní lní tvar formule. 2.přednáška

5a. Makra Visual Basic pro Microsoft Escel. Vytvořil Institut biostatistiky a analýz, Masarykova univerzita J. Kalina

Architektura počítačů Agenda

Spojování výroků (podmínek) logickými spojkami

Výroková a predikátová logika - II

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Ů

4a. Makra Visual Basic pro Microsoft Excel Cyklické odkazy a iterace Makra funkce a metody

Matematická logika. Rostislav Horčík. horcik

1. ÚVOD. Arnošt Žídek, Iveta Cholevová. 15. října 2013 FBI VŠB-TUO

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.

Základy algoritmizace a programování

Připravil: Ing. Vít Ondroušek, Ph.D. Technologie.Net Framework

Václav Matoušek KIV. Umělá inteligence a rozpoznávání. Václav Matoušek / KIV

Rovnice matematické fyziky cvičení pro akademický školní rok

Nápověda ke cvičení 1

Algoritmy I. Cvičení č.1 ALGI 2015/16

Výroková a predikátová logika - II

Úvod do informatiky. Miroslav Kolařík

Tutorujeme pomocí Moodle

PROGRAMOVÁNÍ V C++ CVIČENÍ

NPRG030 Programování I, 2016/17 1 / :58:13

M - Výroková logika VARIACE

Ing. Jitka Řezníčková, CSc., Ing. Jan Šleichrt, Ing. Jan Vyčichl, Ph.D.

Z0076 METEOROLOGIE A KLIMATOLOGIE

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:

Výroková logika II. Negace. Již víme, že negace je změna pravdivostní hodnoty výroku (0 1; 1 0).

Výroková logika - opakování

Úvod do logiky (VL): 7. Ekvivalentní transformace

Vývoj informačních systémů. Přehled témat a úkolů

Logika a logické programování

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)]

Java Cvičení 01. CHARLES UNIVERSITY IN PRAGUE faculty of mathematics and physics

Results of innovation of the course Application software

Architektura počítačů Agenda

Diskrétní matematika. DiM /01, zimní semestr 2016/2017

teorie logických spojek chápaných jako pravdivostní funkce

12PPOK PROJEKTOVÁNÍ POZEMNÍCH KOMUNIKACÍ

Výroková a predikátová logika - II

Operační systémy. Cvičení 1: Seznámení s prostředím

Obecné informace o cvičeních

Multimediální prvky a interaktivita ve výuce

Aplikační software 2

VÝUKOVÝ MATERIÁL. Bratislavská 2166, Varnsdorf, IČO: tel Číslo projektu

A5M33IZS Informační a znalostní systémy. O čem předmět bude? Úvod do problematiky databázových systémů

PB029 Elektronická příprava dokumentů

Matematika I. Přednášky: Mgr. Radek Výrut, Zkouška:

Úvod do teoretické informatiky

Úvod do B4B36PDV. Organizace předmětu a seznámení se s paralelizací. B4B36PDV Paralelní a distribuované výpočty

Textový editor Microsoft Word 1

MATEMATICKÁ ANALÝZA 1, NMMA101, ZIMNÍ SEMESTR POPIS PŘEDMĚTU A INFORMACE K ZÁPOČTU A KE ZKOUŠCE

NP-ÚPLNÉ PROBLÉMY. Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze

Základy datových vazeb Silverlightu. Funkce Silverlightu 2. Podpora jazyků a technologie.net Framework

1. Úvodní informace. BI-EP1 Efektivní programování Martin Kačer

PROGRAMOVÁNÍ PRO MS WINDOWS 1

Úvod do logiky (VL): 5. Odvození výrokových spojek z jiných

KATEDRA MATERIÁLOVÉHO INŽENÝRSTVÍ A CHEMIE. YVSM Vlastnosti stavebních materiálů

LOGIKA VÝROKOVÁ LOGIKA

Maturitní práce s obhajobou

VÝUKOVÝ MATERIÁL. Bratislavská 2166, Varnsdorf, IČO: tel Číslo projektu

Vývoj informačních systémů. Přehled témat a úkolů

Základy programování Zdrojový kód, dokumentace, týmová práce

IB013 Logické programování I Hana Rudová. jaro 2011

BIOMEDICÍNSKÝ SYSTÉM PRO AGENTURY DOMÁCÍ PÉČE. Ondřej Krejcar, Dalibor Janckulík, Leona Motalová

12. Booleova algebra, logická funkce určitá a neurčitá, realizace logických funkcí, binární kódy pro algebraické operace.

PRŮVODCE STUDIEM PRO PREZENČNÍ FORMU STUDIA MODULU IT V PODNIKU DÍLČÍ ČÁST PROGRAMOVÁNÍ BUSINESS APLIKACÍ

Výroková logika. Teoretická informatika Tomáš Foltýnek

Architektura počítačů Logické obvody

Objektově orientované programování

Úvod Seznámení s předmětem Co je.net Vlastnosti.NET Konec. Programování v C# Úvodní slovo 1 / 25

Architektura počítačů Logické obvody

Novinky ve Visual Studio Tomáš Kroupa

Operátory. Základy programování 1 Martin Kauer (Tomáš Kühr)

Univerzita Palackého v Olomouci Radek Janoštík (Univerzita Palackého v Olomouci) Základy programování 4 - C# 12.2.

Kritéria hodnocení žáků obor vzdělávání

Metody tvorby politik (MTP) Zimní semestr 2018/2019 Katedra veřejné a sociální politiky FSV UK

Co je to matematika?

Ú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

ALGORITMIZACE A DATOVÉ STRUKTURY (14ASD) 1. cvičení

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.

MANAŽERSKÉ PROPOČTY, kód:

Pravidla pro získání zápočtu vytvořením individuální semestrální práce mimo cvičení

Klasická výroková logika - tabulková metoda

Matematická logika. Miroslav Kolařík

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

Transkript:

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

Kontaktní informace Filip Krijt PhD Student na D3S krijt@d3s.mff.cuni.cz http://d3s.mff.cuni.cz/~krijt/ Místnost Zdroje ke cvičením Kontakt Atp.

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

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

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

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 :)

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

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

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: http://d3s.mff.cuni.cz/teaching/csharp_dotnet/

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 )

Zápočtový program Termíny NPRG035 (zima) i NPRG038: Specifikace: 14.7.2017 Předvedení finální plně funkční verze (včetně uživatelské a programátorské dokumentace): 1. deadline: 4. 8. 2017 2. deadline: 8. 9. 2017 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.

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

Prostor pro dotazy

Visual Studio

Prostor pro dotazy

CodEx Automatické vyhodnocování úloh na základě testů Jiný CodEx než z PG I a II Přímá adresa: https://codex.ms.mff.cuni.cz/codex-cs/ Dá se proklikat z rozcestníku CodExů Google: Codex MFF http://codex.ms.mff.cuni.cz Registrace + přiřazení do správné skupiny

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