Úvod do teoretické informatiky

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ů

Shrnutí

 

  • Průměrné hodnocení: 6/10
  • Souborů ke stáhnutí: 46
  • Předmět sleduje studentů: 21
  • Předmět učí lektorů: 13
  • Diskuze obsahuje příspěvků: 0

Informace

Zkratka: UTI
Kredity: 6
Ukončení: Zkouška
Garant: Zdeňek Sawa
Projektů: 1
Bodů k zápočtu: 20

Nahrát soubor Hodnotit předmět
Popis Nahrál Materiál Staženo Nahráno
Zadania z cvičení + riešenia rabzeen Příklady ze cvičení 0x 05.11.2018
Přednášky SAWA ENG 2018 Filip Balík přednášek 0x 31.05.2018
Přednášky SAWA CZ 2018 Filip Balík přednášek 0x 31.05.2018
Celá sada řešených přikladů na cvičení 2018 Radim.Vích Vypočtené příklady 0x 27.05.2018
zadania z predošlých rokov nicneviem Zadání k písemce 4x 20.05.2018
skript resici domaci ukol ciselkovka - Mensik atavarecek Domácí úkol 0x 16.05.2018
započtový test 2017 dodo Zadání k písemce 3x 01.05.2018
Výpis důležitých věcí z přednášek. Není to celé učivo. Nicklacek . Tahák 8x 03.01.2018
Vyriešené príklady z cvičení + nejake screeny príkladov Tomas Jasica Příklady ze cvičení 8x 11.12.2017
Cvičení + řešení ( 2013 - 2016 - 2017 ) Slon Vypočtené příklady 29x 19.11.2017

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

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

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

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

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.

J1rka

J1rka - 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á.

Filip

Filip - 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é.

ppavla

ppavla - 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í.

Ondřej.Rusz

Ondřej.Rusz - 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

hajmajeboss - 24.05.2018

:)

Peter Kopáč

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

hanscz35 - 19.05.2017

Zaujímavý predmet, týkajúci sa hlavne počítačovej logiky, automatov, ...

DaniellesShadow

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

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

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

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

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

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

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

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

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

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

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

mart-in - 15.05.2012

celkem náročný předmět, vyžaduje důkladnou přípravu

Jurasz20

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

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

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

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

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

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

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

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

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

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

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

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

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

jonny.net - 28.05.2010

Mel jsem Drazdilovou. Fajn cvicici, fajn predmet.

jacques

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

bandit - 15.11.2009

Je treba se trosku ucit a pak je ten predmet lehky. Doporucuju cvicicho Stepan Kuchar....

jonnyb

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

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

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

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

fishboun - 22.03.2009

logicka stranka matematiky... doporucuju cvicici Drazdilovou, byla DOST v poho!

x.soldier

x.soldier - 22.11.2008

Jaromír Chocholatý

Jaromír Chocholatý

0 hodnocení


UTI
Lukáš Vích

Lukáš Vích

1 hodnocení


UTI
Marek Menšík

Marek Menšík

23 hodnocení


ML UTI PP ISY
Martin Kot

Martin Kot

14 hodnocení


UTI ARUO MAV
Martina Čihalová

Martina Čihalová

8 hodnocení


UTI
Nikola Ciprich

Nikola Ciprich

4 hodnocení


UTI
Ondřej Takács

Ondřej Takács

0 hodnocení


UTI
Pavla Dráždilová

Pavla Dráždilová

20 hodnocení


ML UTI
Radim Bača

Radim Bača

21 hodnocení


TIS UPR UTI ZPP
Zdeněk Sawa

Zdeněk Sawa

15 hodnocení


SPR UTI
Ondřej Garncarz

Ondřej Garncarz

2 hodnocení


UTI ZP
Daniel Robenek

Daniel Robenek

1 hodnocení


PJ1 UTI
Martin Šurkovský

Martin Šurkovský

1 hodnocení


UTI ZP
Cookies nám pomáhají poskytovat Vám naše služby. Využíváním těchto služeb souhlasíte s jejich použitím.