TUKE FÓRUM - Fórum pre študentov Technickej Univerzity v Košiciach
Vitajte,
Guest
. Prosím
prihláste sa
alebo
sa zaregistrujte
.
Nedostali ste váš
aktivačný email?
1 Hour
1 Day
1 Week
1 Month
Forever
Login with username, password and session length
News:
Home
Help
Search
Login
Register
TUKE FÓRUM - Fórum pre študentov Technickej Univerzity v Košiciach
»
FEI archív 2009/2010
»
4. ro?ník
(Moderator:
DeeL
) »
Logika pre Informatikov - LPI
« predchádzajúce
ďalšie »
Print
Pages:
1
[
2
]
Author
Topic: Logika pre Informatikov - LPI (Read 11885 times)
buhehe
Hero Member
Posts: 1583
Re: Logika pre Informatikov - LPI
«
Reply #25 on:
04.06.2010, 17:38:38 »
ja som schytal uplne z 1. prednasky a 1.cvika...neukamenujte ma
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
Logged
sri
Hero Member
Posts: 644
Re: Logika pre Informatikov - LPI
«
Reply #26 on:
06.06.2010, 20:56:35 »
Naozaj nikto nema nejake priklady alebo naskenovane cvika? Alebo staci tych par prikladov co su v prednaskach?
Logged
Killian
Full Member
Posts: 191
Re: Logika pre Informatikov - LPI
«
Reply #27 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...
Logged
http://bushcraft-portal.sk
buhehe
Hero Member
Posts: 1583
Re: Logika pre Informatikov - LPI
«
Reply #28 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?
Logged
Dominico
Newbie
Posts: 23
Re: Logika pre Informatikov - LPI
«
Reply #29 on:
09.06.2010, 22:22:44 »
T: Predikatova logika 1. radu
P: Dokazat naturalnou dedukciou β /\ α → α /\ β
Logged
sri
Hero Member
Posts: 644
Re: Logika pre Informatikov - LPI
«
Reply #30 on:
09.06.2010, 23:00:14 »
T: Kalkuly. Vlastnosti intuicionistickej logiky
D: Dokaz v naturalnej predikatovej (? ak take nieco je, boli tam kvanifikatory)
Logged
roman5555
Full Member
Posts: 178
Re: Logika pre Informatikov - LPI
«
Reply #31 on:
11.06.2010, 01:12:38 »
ma niekto aj nejaky tahacik
Logged
sri
Hero Member
Posts: 644
Re: Logika pre Informatikov - LPI
«
Reply #32 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
Logged
roman5555
Full Member
Posts: 178
Re: Logika pre Informatikov - LPI
«
Reply #33 on:
11.06.2010, 04:59:55 »
dakujem velmi pekne
Logged
roman5555
Full Member
Posts: 178
Re: Logika pre Informatikov - LPI
«
Reply #34 on:
16.06.2010, 01:25:54 »
cize skuska je o 9:00 ??
Logged
trek
Hero Member
Posts: 568
cestu sme mali spolo?nú ale nohy ma bolia vlastné
Re: Logika pre Informatikov - LPI
«
Reply #35 on:
16.06.2010, 02:01:27 »
hej
Logged
ApokalypS
Hero Member
Posts: 5801
apokalyps(a) sa mení..
Re: Logika pre Informatikov - LPI
«
Reply #36 on:
16.06.2010, 19:57:01 »
jj, spolocne zo SPJ
Logged
80% mozgu človeka tvorí kvapalina, v mojom prípade brzdová..
CHCEM S5
STARY IS
!!!!
http://www.tu-ke.com/forum/o-nicom/otvoreny-list-vedeniu-firmy-dupress-(dodavatel-mais)/
Print
Pages:
1
[
2
]
« predchádzajúce
ďalšie »
TUKE FÓRUM - Fórum pre študentov Technickej Univerzity v Košiciach
»
FEI archív 2009/2010
»
4. ro?ník
(Moderator:
DeeL
) »
Logika pre Informatikov - LPI