Studenti se seznámí se základy výrokové a predikátové logiky. Probereme pojem přímého a nepřímého důkazu a základní metody pro důkaz logické pravdivosti a platnosti úsudku. Dále se studenti seznámí se základními oblastmi formálních jazyků a automatů (regu
Hodně kreditů
Zkratka:
UTI
Kredity:
6
Ukončení:
Zkouška
Garant:
Zdeňek Sawa
Projektů:
1
Bodů k zápočtu:
20
Popis | Nahrál | Materiál | Staženo | Nahráno |
---|---|---|---|---|
Zápočtová písemka | Pajda | Zadání k písemce | 1x | 18.12.2024 |
Zadání ke zkoušce | KkK | Zadání ke zkoušce | 25x | 05.05.2024 |
Zápočtová písemka B - vyřešená | vejt zejt | Zadání k písemce | 0x | 22.04.2024 |
Zápočtová písemka A - vyřešená | vejt zejt | Zadání k písemce | 0x | 22.04.2024 |
Reseni ze cviceni 6 | trdr | Vypočtené příklady | 13x | 14.05.2023 |
Reseni ze cviceni 5 | trdr | Vypočtené příklady | 12x | 14.05.2023 |
Reseni ze cviceni 4 | trdr | Vypočtené příklady | 7x | 14.05.2023 |
Reseni ze cviceni 3 | trdr | Vypočtené příklady | 7x | 14.05.2023 |
Reseni ze cviceni 2 | trdr | Vypočtené příklady | 4x | 14.05.2023 |
Reseni ze cviceni 1 | trdr | Vypočtené příklady | 3x | 14.05.2023 |
Jeden z povedených předmětů, když se pravidelně podíváte co se bude další hodiinu dít, není problém udělat. Zkouška je poněkud náročnější protože se musíte naučit na vše.
54641124441 - 14.01.2020
Tenhle předmět mě moc nepotěšil. Byl povinný, takže jsme ho museli absolvovat všichni. Cvika byly v pohodě. Měl jsem Marka Menšíka. Hodně dobrý učitel. Všechno dopodrobna vysvětloval, kdo něčemu nerozuměl tak se mohl zeptat a na konec roku všechny zval na pivo do baru Boombay. Na cviku jste potřebovali minimálně 3 body za aktivitu. Marek dával jeden bod za to že jste přišli na první cviko a potom když se na něco zeptatl a vy jste věděli tak další body. Max mylo 6 a skoro všichni měli plný počet. Zkouška už taková sranda nebyla. Bylo to dost těžké.Byla rozdělená na 3 části a z každé jste museli mít minimum aby jste dali celou zkoušku. Člověk u toho musel mega uvažovat. Nejtěžší byly asi algoritmy. To neměl skoro nikdo. Nakonec jsem zkoušku dal na 1. pokus ale tak tak. PS: Bylo to spíš logické uvažování něž nějaké počítání příkladů..
TomSte - 10.10.2018
Po vlažném začátku se předmět docela dobře rozjede. Body za aktivitu ze startu vystraší, ale bát se jich nemusíte. Učivo se docela dá pochopit, je to takové pokračování matematiky, i když ve 4. semestru už žádá být neměla. Na cviko jsem měl Marka Menšíka, látku vysvětlil dobře, pak ji i dobře procvičil, když jsme chodili počítat k tabuli. Body za aktivitu se dají získat snadno, pokud jich nemáte moc, ke konci semestru je můžete získat skoro za cokoliv. Zkouška by mohla být v pohodě, ale je rozdělená na 3 části. Každá je jiným způsobem náročná, a tím, že má každá své minimum, je potřeba rozumět všem třem. První pokus byl u nás hodnocen průměrně, až mírně, proto jsem ho úspěšně zvládl.
daskcz - 10.10.2018
Dle mého názoru velmi zajímavý a užitečný předmět, který je hlavně o logice. Zápočet není při trošce snahy těžké získat. Zkouška taky není až tak náročná, kde jediný problém jsou minima a to hlavně z poslední části, která se nestihne moc probrat. Jinak se na zápočtový test a zkoušku dá připravit z předchozích verzí, jelikož se otázky typově opakují. Na cvičení mohu doporučit Kota, umí velmi dobře vysvětlit látku, když budete trochu aktivní na cvičení tak dostanete bod za aktivitu a na konci semestru nikoho kvůli nim nepotopil.
Foxaves - 18.06.2018
Se správným cvičícím pohodový předmět, rozhodně doporučuju Menšíka, u něho je nemožné neudělat zápočet a navíc dokáže učivo výborně vysvětlit. Zkouška je na 3 části kde z každé je minimum, často stačí udělat správně 1-2 úlohy a minimum je splněno (platí i naopak, někdy stačí jednu pokazit a konec). Chce to přípravu alespoň 1-2 dny a zkouška je bez problému.
marcipan - 06.06.2018
V pohodě předmět, mnoho lidi v tom ale nevidí nic užitečného, opak je pravdou. Na cvika doporučuji Menšíka, byl super celý semestr, připravil na všechno. Zápočet i zkouška jsou dávačka, pokud rozumíte učivu a tomu, co se po vás chce.
Alixer - 01.06.2018
Předmět obsahově a svou podstatou není špatný, avšak 2hodinová dotace je pramálo, proto bude příští rok dotace zvednuta na 3 hod, zápočet se dá udělat na FULL avšak zkouška to je jiná, minima z každé části..., doporučuji jít hned na 1. termín jelikož na druhém už se objevují pěkné zákeřnosti typu: navrhněte algoritmus pro operace nad vrcholy grafu apod. Hodně zdaru všem, co je to čeká.
Korock - 31.05.2018
Přednášky jsou nudné, cvika trochu víc v pohodě. Na většině cvik jsem se vůbec nechytala, ale stejně jsem nakonec dostala za zápočet 21/22 b. Doporučuju Kota - stačí mu vidět že se trochu snažíte a body za aktivitu jsou jisté. Ale sedněte si trochu víc dopředu, lépe si vás zapamatuje. A ideální je přečíst si před cvikem aspoň něco z přednášky, budete jedni z mála co budou znát odpovědi na jeho otázky :D. Zkouška obsahuje pokaždé téměř stejné typy příkladů (stejně jako jediná zápočtová písemka), takže se na ni dá dobře připravit. Jen ty minima jsou trochu zákeřné.
Kori - 28.05.2018
Dobře pojatý předmět, který mě dobře naučil už během semestru. Jak zápočtový test, tak zkouška byla téměř identická k minulým rokům a stačí se naučit typové otázky. Přednášky trošku uspávající (Sawa), cvika docela zábavná a dobře připraví.
Onden - 25.05.2018
Teoretičtější sestra logických obvodů, která ale nespadá pod katedru 440, takže asi tak sto tisíc krát menší peklo. Zápočtovka i zkouška jednoduché, když se na to podíváte, náplň předmětu celkem zajímavá, dalo se.
hajmajeboss - 24.05.2018
:)
Peter Kopáč - 22.05.2017
Dobrý předmět. Cvičení jsou pohodová, napíše se jen 1 písemka, která není těžká. Zkouška taky nebyla těžká.
hanscz35 - 19.05.2017
Zaujímavý predmet, týkajúci sa hlavne počítačovej logiky, automatov, ...
DaniellesShadow - 12.05.2017
Těžší předmět, ale dá se na něj připravit. Na cvika doporučuji Menšíka, Dráždilová jede své tempo a nevysvětluje.
deerwe - 10.05.2017
Píše se na konci jedna písemka, pak je na ni ještě jeden pokus ale už jen za 14 bodů. Celkově se předmět tvářil , že se tam budou řešit složitosti algoritmů ale něco takového se děla až na samotném konci. Předmět celkem k ničemu.
dodo - 07.05.2017
Další ze skvělých výkvětů této školy. Nedoporučuji si brát Běhálka, který nic nenaučí a jen se ptá jestli to dává smysl. Předmět o ničem, kdyby nebyl povinný, tak tam nechodím.
Lazy - 20.04.2017
Předmět jako takový není těžký, ale je potřeba probíranou látku pochopit, jinak vás zkouška s hodnocením na tři části s minimem v každé z nich sestřelí. Na cvičení doporučuji p. Běhálka, díky jeho výkladu není moc potřeba chodit na přednášky.
jan.mitoraj - 13.06.2016
Tři semestry nám tímto předmětem vyhrožovali, po chodbách se nesou o něm historky, že je to největší síto. Mně to tak nepřišlo - složitosti je dobré znát, jazyky a automaty jsou po pochopení primitivní. Minimum z každé části zkoušky bylo zákeřné, to je asi jediné negativum.
vac - 24.01.2014
Co sa tyka tohto predmetu,najvacsi problem je ten ze sa pise len jedna pisomka a to takmer na konci semestru a tu musite dat co najlepsie :) vacsina ludi sa na to vykasle,ale ked si vyberiete dobreho vyucujuceho tak sa da aj odpisat :) Najlepsie je si dat cviko tak vo stvrtok,aby ste vedeli ake su priklady a potom by nemal byt problem so zapoctom :) no a skuska des a hroza :D
jan0225 - 09.09.2013
Pro mě nejhorší předmět ze druháku, ikdyž se mi povedlo udělat zkoušku na první pokus. S matikou má pramálo společného a je to všechno o logice a logickém uvažování. Je to jako nějaký hodně dlouhý IQ test. Reálné využití znalostí z tohodle předmětu asi tak 10%. Na cvikách jsem se nechytal a vůbec nevěděl která bije, možná to bylo tím, že jsem nemohl chodit na přednášky... těžko říct. Zápočťák docela v pohodě, byl tvořený hlavně jazyky a automaty, což je asi ta nejlehčí část předmětu. Zkouška je hodně o štěstí na otázky a systém minima z každé časti je dost zákeřný. Tenhle předmět nepodceňovat...
resi - 28.05.2013
Učivo není vyloženě těžké , je ale potřeba se opravdu naučit . Hodnocení zkoušky je navrhnuto tak aby to co nejvíc lidí neudělalo , osobně nesnáším tyto finty s minimálními body na různé kategorie atd.
Nepho - 10.01.2013
Logicka stranka matematiky a vypoctu v PC. Predmet je, ale uplne blbe sestaven. Poslednich par prednasek se vubec na cvicenich nestihlo probrat, ale byly na zkousce. Kdyz to clovek pochopi, tak neni problem zkousku udelat, pripadne dohadat nejaky bod. Zaklad predmetu je udelat zapocet na co nejvic bodu.
hynman - 08.06.2012
Na jednu stránku je tato matika lehká na pochopení, ale u zkoušky a zápočtu je třeba být důsledný a neudělat v automatech, nebo v abecedě chybky.. Můžete přijít o hodně bodů. Lofika v pohodě , automaty, reg výrazy, gramatiky hnus a třešničkou na dortu je vyčíslitelnost a složitost :)... Zatil jsem se ale je to v kapse. Cvičící Meca , pohodář celkem naučil, bohužel nám 4 cvika odpadli tak jsem chodil i po jiných cvičeních ... Choďte na cvika ...
hscak - 04.06.2012
co říct no... asi nutné zlo :D zápočet je v klidu ale zkouška bude asi konec...
mart-in - 15.05.2012
celkem náročný předmět, vyžaduje důkladnou přípravu
Jurasz20 - 11.05.2012
Pokud přežijete zápočtový test, tak je to pohoda. S Menšíkem to zvládnete (i když je to pedant:-))
uhervo - 09.02.2012
Ja som mal za cviciaceho Nikola Cyprich a tiez riadny tipek,odporucam :-) ...zapocet 1 pisomka minimum 7 bodov...na skusku treba aj dost stastia... a odporucam ist hned na prvy termin najlepsie priklady ....
vyhryzko - 17.06.2011
matimatika trošičku lehčí než MAIT, ale těžší než DIM. Číhalová na cvika a do zkoušky jste připraveni.
drax - 15.06.2011
Podobně jako u diskrétní matematiky je nutné látce rozumět, nedá se to bezmyšlenkovitě naplácat do hlavy. Ale ve chvíli, kdy to člověk stráví, tak zjistí, že je to vlastně celkem jednoduché. Docela může zamotat hlavu PL1, protože někdy zjistit "co tím chtěl básník vlastně říci" je umění.
Frogger - 15.06.2011
taky doporucuju mensika nebo cihalouvou, je to takovej povedenej parecek :-) celej predmet je fajn a docela i zajimavy. Podle informaci kamaradu, se obtiznost zkousek docela razantne snizuje. Prvni termin byl typove totozny se vzory zkousek minulych let
matus - 14.06.2011
Dá se v pohodě zvládnout, pokud máte správného cvičícího. Já doporučuji slečnu Číhalovou.
click - 25.05.2011
Vcelku lehký předmět, který se dá dobře naučit. Na cvika doporučuju Marka Menšíka, je s ním sranda a je vidět že tomu i rozumí (letos taky přednášel část o logice).
Forseti - 20.05.2011
Tento předmět mě bavil snad úplně nejvíce ze ZS v druháku! Na cvika doporučuji (jedině) pana Wittasska, který si sice semtam neodpustí nějaký ten vtípek, či vhodně mířenou poznámku, ale za to je spravedlivý a dost naučí.(Hlavně rychle opravuje testy atd...) Projekt je jen spojením toho, co se dělalo na cvikách. Zkouška průměrně těžká. Pokud se nebojíte proniknout do LabView, jděte do toho!
M!ank4 - 03.01.2011
Docela v pohohodě předmět, bohužel jsou docela přísná kritéria pro zápočet -- jak neuděláte jeden test, máte v podstatě smůlu. Zkouška průměrně těžká.
Fil - 21.09.2010
Před absolvováním zkoušky jsem měl ze zkoušky samotné strach. Nicméně vše bylo bez problémů a všechny otázky byly z probírané látky a ještě navíc v ne příliš těžké formě. Předmět se mi zdál docela v pohodě, jen se hodí mít pěkný zápočet.
bright - 04.06.2010
Předmět se mi tak zalíbil, že jsem si ho zopáknul ;-) Bez povinného projektu to bylo zvládnutelnejší a změna cvičího (Moravec -> Dráždilová) taky prospěla. Jinak je to hlavně matika.
chio - 02.06.2010
Osobně mám k matematice bez čísel odpor, takže budu při hodnocení asi dost subjektivní. Na cvičení Mgr.Dráždilová, hodně lidí si ji vychvaluje, mě osobně teda nesedla a ani mi nebyla moc sympatická. Pokud bych volil znovu,zřejmě bych si dal některého z doktorandů. Ale pokud člověk věděl, nebyl s ní problém. Řekl bych, že tento předmět patří k těm těžším. Ale není zase veliký problém ho udělat. Škoda jen hloupé podmínky pro získání zápočtu. Získat 20bodů z 30 na jeden jediný pokus z testu je myslím dost nepříjemné.
x.soldier - 01.06.2010
Nejprve jsem k němu měl dost odpor..spíš strach ale nakonec byl pro mě zvládnutelnější než DIM, které pro mě zůstává nejtěžší matematikou ba Bc. PS: Paní Dráždilová umí vysvětlit a nudit se v jejích hodinách taky nebudete
jonny.net - 28.05.2010
Mel jsem Drazdilovou. Fajn cvicici, fajn predmet.
jacques - 26.01.2010
První matematika, která mě fakt bavila protože nebyla o počítaní ale o myšlení. Na cvičení doporučuji slečnu Číhalovou, vychazí vstříc a nikoho nepotopí + je velice příjemná.
bandit - 15.11.2009
Je treba se trosku ucit a pak je ten predmet lehky. Doporucuju cvicicho Stepan Kuchar....
jonnyb - 06.06.2009
Mela jsem na cviceni slecnu Cihalovou, ktera perfektne pripravila ke zkousce a snazila se nam pomoc, kde se jen dalo...Jinak predmet celkem zajimavy a po pochopeni i celkem zazivnym :-)
anja - 20.05.2009
Jazyky a automaty vpohodě, jednoduché a exaktní, nebylo co podělat prakticky. Turingy a RAMy taky vklidu pro lidi, co umí naprogramovat 5 + 5. Vyčíslitelnost a složitost poněkud ojeby, ale nějak to nebylo markantní učivo. Logika, zpočátku WTF, potom pohoda, Vennovy diagramy pohoda, rezolučka taky jde a na predikáty člověk musí umět haldit. Celkově to šlo, jedna z lehčích "matik"... A bacha na jezevce !!!!!!!!
Demilich - 18.05.2009
První písemka hodně v pohodě, snad to půjde i dál, jinak podle mého vcelku zbytečný předmět
huhoku - 27.03.2009
já mám Číhalovou a taky je dost v poho, jen to jsou same blbosti a prvni pisemku jsem zrovna dobre nezmakl, ikdyz sem si myslel pujde.
fishboun - 22.03.2009
logicka stranka matematiky... doporucuju cvicici Drazdilovou, byla DOST v poho!
x.soldier - 22.11.2008