TUKE FÓRUM - Fórum pre študentov Technickej Univerzity v Košiciach

FEI archív 2009/2010 => 4. ro?ník => Topic started by: BossZ on 16.02.2010, 02:06:18

Title: Logika pre Informatikov - LPI
Post by: BossZ on 16.02.2010, 02:06:18
Tak mame za sebou prednasku aj cviko, zatial to vyzera byt celkom v pohode... :)
Title: Re: Logika pre Informatikov - LPI
Post by: Freemenik on 22.02.2010, 18:00:16
Su niekde prednasky z tohto predmetu?...ak ano, mozte napisat link. vopred dik  :)
Title: Re: Logika pre Informatikov - LPI
Post by: trek on 22.02.2010, 18:12:03
http://hornad.fei.tuke.sk/predmety/lpi/ (http://hornad.fei.tuke.sk/predmety/lpi/)

login: lpi
pas: logikA
Title: Re: Logika pre Informatikov - LPI
Post by: Freemenik on 22.02.2010, 18:42:03
vrela vdaka  :metal:
Title: Re: Logika pre Informatikov - LPI
Post by: martin182 on 04.05.2010, 03:38:13
zdravim nema niekto naskenovane vsetky cvika? diky moc
Title: Re: Logika pre Informatikov - LPI
Post by: Freemenik on 12.05.2010, 00:51:13
Quote from: martin182 on  04.05.2010, 03:38:13
zdravim nema niekto naskenovane vsetky cvika? diky moc

tie by vazne pomohli.
A ako to bude vyzerat na skuske nespominala nahodou?..nejaky priklad, teoria ?? hmm??... bk
Title: Re: Logika pre Informatikov - LPI
Post by: buhehe on 14.05.2010, 22:04:06
co sa dialo na cvikach v 13tyzdni? aky mate zapocet v maise?
Title: Re: Logika pre Informatikov - LPI
Post by: trek on 14.05.2010, 22:34:00
cvika neboli...zapocet 25b...aj ked tam pise ze maximalny moze byt 40...ale lalova vravela ze maximalny je 25...ze tak sa rozhodli a aj minimalny tam je 13 co by sedelo...tak asi len chybicka v maise
Title: Re: Logika pre Informatikov - LPI
Post by: buhehe on 14.05.2010, 22:47:18
vdaka...lebo uz som sa normalne zlakol kde je mojich 40b :D
Title: Re: Logika pre Informatikov - LPI
Post by: trek on 14.05.2010, 23:17:08
aj tak pri skuske u novitzkej mas jedno aky mas zapocet :D
Title: Re: Logika pre Informatikov - LPI
Post by: zuzanka on 23.05.2010, 22:05:56
neviete ci tie axiomy pri kalkuloch budu na ofic. tahaku?
Title: Re: Logika pre Informatikov - LPI
Post by: antikleia on 26.05.2010, 03:24:00
Pisali sme mail p. Novitzkej ohladom casu skusky, v maise je napisane ze o 11:00, tak aby ste vedeli:


Vazena kolegyna,
vsetky skusky u mna zacinaju o 9.00.

Prajem prijemny vecer,
Novitzka
Title: Re: Logika pre Informatikov - LPI
Post by: dungeo on 27.05.2010, 14:49:50
neviete nikto nejake info ku skuske? ako ma prebiehat, kolko otazok a tak...
Title: Re: Logika pre Informatikov - LPI
Post by: Rainman9 on 27.05.2010, 18:31:12
Quote from: dungeo on  27.05.2010, 14:49:50
neviete nikto nejake info ku skuske? ako ma prebiehat, kolko otazok a tak...

Skuska prebiehala tak, ze si sa posadil na urcene miesto podla abecedy, potom si dostal dve otazky, ktore boli napisane perom na papiery. Jedna bola teoria , ja som mal Semantiku modalnej logiky a druhy bol priklad, ja som mal urcit ci su dane vyroky pravdive vo svetoch w0 a w2. Inak otazky sa daju vymenit (tak nenapadne) ked k tomu nic neviete :D Vela stastia ...
Title: Re: Logika pre Informatikov - LPI
Post by: roman5555 on 31.05.2010, 04:27:40
z coho ste sa ucili ?
Title: Re: Logika pre Informatikov - LPI
Post by: Rainman9 on 31.05.2010, 05:53:07
Quote from: roman5555 on  31.05.2010, 04:27:40
z coho ste sa ucili ?
Len z tych prednasok, co su na hornade ... viac netreba.
Title: Re: Logika pre Informatikov - LPI
Post by: zuzanka on 31.05.2010, 22:03:07
nejake dobre cvika niekto nema? kvoli prikladom....
Title: Re: Logika pre Informatikov - LPI
Post by: buhehe on 31.05.2010, 22:18:23
inac akym stylom sa skusa kedze skuska je v rovnakom case a na rovnakom mieste ako spj? novitzka skusa obidva predmety, ci...
Title: Re: Logika pre Informatikov - LPI
Post by: sikik on 01.06.2010, 14:56:14
Quote from: buhehe on  31.05.2010, 22:18:23
inac akym stylom sa skusa kedze skuska je v rovnakom case a na rovnakom mieste ako spj? novitzka skusa obidva predmety, ci...
Ja som zatial bol len na semantike, ale odpoviem.
Skusa sa tak, ze kto ide odpovedat skor ako sa skonci oficialne cast na pripravu, tak moze ist odpovedat. Po ukonceni casu vsetkych vyprevadia von a volaju postupne, s tym, ze slodicak skusa semantiku a novicka logiku. Takze asi tak.
Title: Re: Logika pre Informatikov - LPI
Post by: staninko on 01.06.2010, 16:11:40
ten cas po ktorom nas vyprevadia von je ako pise v maise 120 min?
Title: Re: Logika pre Informatikov - LPI
Post by: sikik on 01.06.2010, 16:54:45
Quote from: staninko on  01.06.2010, 16:11:40
ten cas po ktorom nas vyprevadia von je ako pise v maise 120 min?
Neviem, lebo na hodinky ma nenapadlo pozriet
Title: Re: Logika pre Informatikov - LPI
Post by: dalcasian on 01.06.2010, 17:04:52
ak sa nemylim, tak cas skusky na logiku je 11:00 a semantika na 9:00  8)
Title: Re: Logika pre Informatikov - LPI
Post by: dungeo on 01.06.2010, 17:13:49
Quote from: dalcasian on  01.06.2010, 17:04:52
ak sa nemylim, tak cas skusky na logiku je 11:00 a semantika na 9:00  8)
Quote from: antikleia on  26.05.2010, 03:24:00
Pisali sme mail p. Novitzkej ohladom casu skusky, v maise je napisane ze o 11:00, tak aby ste vedeli:


Vazena kolegyna,
vsetky skusky u mna zacinaju o 9.00.

Prajem prijemny vecer,
Novitzka


este sa chcem opytat dalsich, ktori uz boli, ake otazky mali, resp. ake sa mozu vyskytnut, dakto tu uz pisal, ze mal semantiku modalnej logiky, ale mohli by ste sa podelit aj viaceri ;)
Title: Re: Logika pre Informatikov - LPI
Post by: trek on 02.06.2010, 02:55:30
neviete ci aj na logike treba mat nadpolovicnu vacsinu zo vsetkeho ako na semantike?
Title: Re: Logika pre Informatikov - LPI
Post by: milaninho on 04.06.2010, 15:41:28
ja som mal ako teoriu principy deontickej logiky, priklad bol dokaz v sekventovom kalkule(vyrokova logika)
Title: Re: Logika pre Informatikov - LPI
Post by: buhehe on 04.06.2010, 17:38:38
ja som schytal uplne z 1. prednasky a 1.cvika...neukamenujte ma :D
T: Struktura logickeho systemu (je to na jednom slide)
P: Dokazte ze dana formula je/nie je tautologia (stacilo tabulkovou metodou kedze tam boly len 3 atomy) :D:D
Title: Re: Logika pre Informatikov - LPI
Post by: sri on 06.06.2010, 20:56:35
Naozaj nikto nema nejake priklady alebo naskenovane cvika? Alebo staci tych par prikladov co su v prednaskach?
Title: Re: Logika pre Informatikov - LPI
Post by: Killian on 07.06.2010, 00:17:01
Tiez by sa mi zisli... Sice som chodil na cvika (s Lalovou), ale v zosite mam nejaky chaos...
Title: Re: Logika pre Informatikov - LPI
Post by: buhehe on 07.06.2010, 04:30:03
Quote from: Killian on  07.06.2010, 00:17:01
Sice som chodil na cvika (s Lalovou), ale v zosite mam nejaky chaos...

to je stabilna pravda? :D
Title: Re: Logika pre Informatikov - LPI
Post by: Dominico on 09.06.2010, 22:22:44
T: Predikatova logika 1. radu
P: Dokazat naturalnou dedukciou β /\ α → α /\ β
Title: Re: Logika pre Informatikov - LPI
Post by: sri on 09.06.2010, 23:00:14
T: Kalkuly. Vlastnosti intuicionistickej logiky
D: Dokaz v naturalnej predikatovej (? ak take nieco je, boli tam kvanifikatory)
Title: Re: Logika pre Informatikov - LPI
Post by: roman5555 on 11.06.2010, 01:12:38
ma niekto aj nejaky tahacik ???
Title: Re: Logika pre Informatikov - LPI
Post by: sri on 11.06.2010, 02:21:08
Quote from: roman5555 on  11.06.2010, 01:12:38
ma niekto aj nejaky tahacik ???
http://www.upnito.sk/subor/abd821068fa949dfc5cf1b7d297e83b1.html (http://www.upnito.sk/subor/abd821068fa949dfc5cf1b7d297e83b1.html)
Title: Re: Logika pre Informatikov - LPI
Post by: roman5555 on 11.06.2010, 04:59:55
dakujem velmi pekne  ;)
Title: Re: Logika pre Informatikov - LPI
Post by: roman5555 on 16.06.2010, 01:25:54
cize skuska je o 9:00 ??
Title: Re: Logika pre Informatikov - LPI
Post by: trek on 16.06.2010, 02:01:27
hej
Title: Re: Logika pre Informatikov - LPI
Post by: ApokalypS on 16.06.2010, 19:57:01
jj, spolocne zo SPJ