Author Topic: LpI - Logika pre informatikov  (Read 12175 times)

Matejus

  • Guest
LpI - Logika pre informatikov
« on: 05.02.2011, 22:40:34 »
prednášky: http://hornad.fei.tuke.sk/predmety/
meno: lpi
heslo: logikA
archív 2009/2010
=============================================================================
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 Vela stastia ...
=============================================================================
príklady minuloročných otázok na skúške:
1. Sémantika modálnej logiky
2. Teória princípu deontickej logiky
3. Štruktúra logického systému
4. Predikátova logika 1.radu
5. Kalkuly. Vlastnosti intuicionistickej logiky
...
=============================================================================
ťaháčik
http://www.upnito.sk/subor/abd821068fa949dfc5cf1b7d297e83b1.html

jardo

  • Sr. Member
  • ****
  • Posts: 288
    • View Profile
Re: LpI - Logika pre informatikov
« Reply #1 on: 25.02.2011, 18:32:33 »
v pondelok cviko so slodicakom nebude

drtic

  • Full Member
  • ***
  • Posts: 200
    • View Profile
Re: LpI - Logika pre informatikov
« Reply #2 on: 25.02.2011, 19:21:14 »
Daj viac info, odkial to vies?

DuffMann

  • Newbie
  • *
  • Posts: 9
    • View Profile
Re: LpI - Logika pre informatikov
« Reply #3 on: 25.02.2011, 19:37:43 »
Osobne od Slodicaka.

Nielpferd

  • Newbie
  • *
  • Posts: 40
    • View Profile
Re: LpI - Logika pre informatikov
« Reply #4 on: 25.02.2011, 21:31:58 »
to rano o 7 30...kto chce moze ist na cviko s lalovou...alebo potom na dalsi tyzden sa na cviku preberu naraz dva temy...treba byt na ne pripraveny
syphilis connecting people and keeps users happy...

jardo

  • Sr. Member
  • ****
  • Posts: 288
    • View Profile
Re: LpI - Logika pre informatikov
« Reply #5 on: 05.04.2011, 01:28:17 »
ludia co ste dnes rano o pol osmej brali na cviku? vie tu niekto hodit scany?

jardo

  • Sr. Member
  • ****
  • Posts: 288
    • View Profile
Re: LpI - Logika pre informatikov
« Reply #6 on: 02.05.2011, 20:00:15 »
co sa dnes rano bralo na cviku? a treba v 13. tyzdni chodit na cviko a prednasku?

drtic

  • Full Member
  • ***
  • Posts: 200
    • View Profile
Re: LpI - Logika pre informatikov
« Reply #7 on: 02.05.2011, 21:05:17 »
Nieco podobne ako na poslednom cviceni, t.j. modalna logika a jej vyjadrenie pomocou modelov, len inak zapisane.

V 13. tyzdni cvicenie bude, tema asi temporalna logika. Prednaska uz nie. Este v 13. tyzdni v case prednasky so Semantiky budu predterminy zo Semantiky a Logiky.

nezabudka88

  • Newbie
  • *
  • Posts: 19
    • View Profile
Re: LpI - Logika pre informatikov
« Reply #8 on: 12.05.2011, 15:52:17 »
skuska: 1 priklad + 1 teoreticka otazka (typu: Intucionisticka logika)

pinderko

  • Full Member
  • ***
  • Posts: 148
    • View Profile
Re: LpI - Logika pre informatikov
« Reply #9 on: 12.05.2011, 16:00:54 »
skuska: 1 priklad + 1 teoreticka otazka (typu: Intucionisticka logika)
a potom ustna alebo len opravili priklad a otazku a dovidenia?

nezabudka88

  • Newbie
  • *
  • Posts: 19
    • View Profile
Re: LpI - Logika pre informatikov
« Reply #10 on: 15.05.2011, 16:24:02 »
skuska: 1 priklad + 1 teoreticka otazka (typu: Intucionisticka logika)
a potom ustna alebo len opravili priklad a otazku a dovidenia?
to co si napises na papier je len pre teba, tvoja priprava, im ide len o ustnu cast....t.j. priklad musis vysvetlit ako a preco si to takto pocital a ohladom teorie: davaju vela otazok mimo tej hlavnej...taky postupny prechod pomaly ku vsetkemu...a ked nieco nevies, tak skusia inak polozit otazku...

Michall

  • Newbie
  • *
  • Posts: 40
  • Everyday is funday ...almost
    • View Profile
Re: LpI - Logika pre informatikov
« Reply #11 on: 17.05.2011, 05:15:01 »
a ako je to na logike, musis mat nieco z obidvoch aj z teorie aj priklad ci staci jedno, ze ked mam teoriu dobre napr. a priklad nic tak mam sancu urobit skusku ci nie?

lebo na semantike musis mat z kazdej casti nieco, preto sa pytam :)
Vsetko zle je na nieco dobre:)

pinderko

  • Full Member
  • ***
  • Posts: 148
    • View Profile
Re: LpI - Logika pre informatikov
« Reply #12 on: 17.05.2011, 07:03:31 »
je na skuske aj oficialny tahak kde su vsetky pravidla, ze? nechce sa mi to vsetko ucit a uz ani nestiham a nechystam sa bu

piton

  • Hero Member
  • *****
  • Posts: 715
    • View Profile
Re: LpI - Logika pre informatikov
« Reply #13 on: 17.05.2011, 16:20:47 »
ano, tahak je...
"Iba život, ktorý žijeme pre ostatných, stojí za to." - Albert Einstein

jardo

  • Sr. Member
  • ****
  • Posts: 288
    • View Profile
Re: LpI - Logika pre informatikov
« Reply #14 on: 23.05.2011, 14:30:16 »
ludia na tu teoreticku cast, sa treba ucit vsetky prednasky, alebo spominali nieco ze nebude?
a z prikladov taktiez budu vsetky tyyp co sme brali na cvikach?

drtic

  • Full Member
  • ***
  • Posts: 200
    • View Profile
Re: LpI - Logika pre informatikov
« Reply #15 on: 23.05.2011, 16:03:34 »
Mam taky pocit, ze tam nieje nic co sa netreba ucit ani z prebratej teorie ani z prebratych prikladov.

jardo

  • Sr. Member
  • ****
  • Posts: 288
    • View Profile
Re: LpI - Logika pre informatikov
« Reply #16 on: 23.05.2011, 16:09:29 »
zda sa mi, ze niekto na prednaskach hovoril, ze ich bude postupne spracovavat. Ak tak niekto urobil, mohol by to tu hodit?

DIKY

jardo

  • Sr. Member
  • ****
  • Posts: 288
    • View Profile
Re: LpI - Logika pre informatikov
« Reply #17 on: 29.05.2011, 18:26:26 »
treba vedeit aj tu horovu logiku?

MackoZlesa

  • Jr. Member
  • **
  • Posts: 89
    • View Profile
Re: LpI - Logika pre informatikov
« Reply #18 on: 02.06.2011, 20:44:42 »
nemate niekto nahodou dobre spracovane cvicenia?

face killer

  • Newbie
  • *
  • Posts: 11
    • View Profile
Re: LpI - Logika pre informatikov
« Reply #19 on: 03.06.2011, 04:21:22 »
...treba vediet na skusku aj temporalnu logiku? lebo sa mi zda, ze Slodicak vravel ze nebude

deCode666

  • Full Member
  • ***
  • Posts: 212
    • View Profile
Re: LpI - Logika pre informatikov
« Reply #20 on: 03.06.2011, 07:37:13 »
Hoareovu treba na 100% :) ... ja som si to vytiahol a vedel som holý tralala

slax

  • Jr. Member
  • **
  • Posts: 70
    • View Profile
Re: LpI - Logika pre informatikov
« Reply #21 on: 07.06.2011, 07:30:01 »
Ake typy prikladov zvyknu davat na skuske? .... Aj take zlozitejsie ci len take jednoduchsie?

Marek_Baranica

  • Sr. Member
  • ****
  • Posts: 255
    • View Profile
Re: LpI - Logika pre informatikov
« Reply #22 on: 07.06.2011, 15:21:35 »
Mam taky pocit, ze tam nieje nic co sa netreba ucit ani z prebratej teorie ani z prebratych prikladov.
:thumbs-up:

jardo

  • Sr. Member
  • ****
  • Posts: 288
    • View Profile
Re: LpI - Logika pre informatikov
« Reply #23 on: 07.06.2011, 15:45:27 »
Ake typy prikladov zvyknu davat na skuske? .... Aj take zlozitejsie ci len take jednoduchsie?

no ja som mal uplne jednoduchy

majster

  • Jr. Member
  • **
  • Posts: 96
    • View Profile
Re: LpI - Logika pre informatikov
« Reply #24 on: 07.06.2011, 16:16:47 »
Ake typy prikladov zvyknu davat na skuske? .... Aj take zlozitejsie ci len take jednoduchsie?

no ja som mal uplne jednoduchy
ja som potiaho ten s alfa konjunkcia beta implikuje beta konjukcia alfa, cize lahoda   :emot-drunk: