« predchádzajúce ďalšie »
Pages: 1 [2]

Author Topic: Logika pre Informatikov - LPI  (Read 11774 times)

buhehe

  • Hero Member
  • *****
  • Posts: 1583
    • View Profile
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 :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
Logged

sri

  • Hero Member
  • *****
  • Posts: 644
    • View Profile
    • ACEQES, s.r.o.
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
    • View Profile
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

buhehe

  • Hero Member
  • *****
  • Posts: 1583
    • View Profile
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? :D
Logged

Dominico

  • Newbie
  • *
  • Posts: 23
    • View Profile
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
    • View Profile
    • ACEQES, s.r.o.
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
    • View Profile
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
    • View Profile
    • ACEQES, s.r.o.
Re: Logika pre Informatikov - LPI
« Reply #32 on: 11.06.2010, 02:21:08 »
Logged

roman5555

  • Full Member
  • ***
  • Posts: 178
    • View Profile
Re: Logika pre Informatikov - LPI
« Reply #33 on: 11.06.2010, 04:59:55 »
dakujem velmi pekne  ;)
Logged

roman5555

  • Full Member
  • ***
  • Posts: 178
    • View Profile
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é
    • View Profile
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í..
    • View Profile
    • projekt k mojej diplomovke..
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 :zuzka: STARY IS :zuzka: !!!!
http://www.tu-ke.com/forum/o-nicom/otvoreny-list-vedeniu-firmy-dupress-(dodavatel-mais)/
Pages: 1 [2]
« predchádzajúce ďalšie »