Author Topic: Matematicka logika - zapocet  (Read 11280 times)

stanulik

  • Sr. Member
  • ****
  • Posts: 312
    • View Profile
Re: Matematicka logika - zapocet
« Reply #25 on: 25.11.2009, 13:52:33 »
este predsa len jedna vec, ak mam g(a,a) a g je unarny  a A su konstanty (cize moze byt len 1 parameter)  - to sa vztahuje len na premenne ci aj na konstanty ? ci konstant mozem mat viac v unarnom  ?

dEVIANT

  • Hero Member
  • *****
  • Posts: 1311
  • Robím, čo môžem. Keď nerobím, nemôžem!
    • View Profile
Re: Matematicka logika - zapocet
« Reply #26 on: 25.11.2009, 16:45:14 »
Ani konštant nemože byť viac v unárnom...lebo keď je napr. g unárna funkcia, ktorá priradí x=x+1 tak ten druhý symbol tam byť nemože...

Iné by bolo keby bola g binárna funkcia, ktorá priradí napr. x=x*x...tak kludne tam možu byť aj dva symboly...
Nie je nič nákazlivejšie ako rozhodný a presvedčením sa vyznačujúci život.

stanulik

  • Sr. Member
  • ****
  • Posts: 312
    • View Profile
Re: Matematicka logika - zapocet
« Reply #27 on: 02.01.2010, 16:35:26 »
ma niekto vyriesene 10.cvicenie zo zbierky od Myskovej ? tie rezolucne metody..
upnite to niekde prosim :) chcem vidiet ako to ma vyzerat... bo ako si nechapem tej rezolucnej, neviem ktorou premennou zacat apod. :) thx