2007-01-30

Još jedan dokaz(čić?;) u PD

Posted by Picasa
Objavio/la u

4 komentara:

  1. Anonimnočetvrtak, 1. veljače 2007. u 17:14:00 CET

    Administrator je uklonio komentar.

    OdgovoriIzbriši
  2. Anonimnosrijeda, 21. veljače 2007. u 15:23:00 CET

    Administrator je uklonio komentar.

    OdgovoriIzbriši
  3. Generic Profileponedjeljak, 21. svibnja 2007. u 09:50:00 CEST

    moze uvod mali, pliz
    malo sam zbunjen

    OdgovoriIzbriši
  4. Vekyponedjeljak, 21. svibnja 2007. u 11:00:00 CEST

    PD je sustav prirodne dedukcije, koji se služi uglavnom "prirodnim" formalnim pravilima za sintezu i analizu logičkih formulâ, u svrhu njihovog dokazivanja ili izvođenja iz pretpostavki. Više detalja u skripti M. Vuković, Matematička logika; ili na Wikipedii.

    OdgovoriIzbriši

Pretplati se na: Objavi komentare (Atom)