Mis veebilehti külastad? Anna Teada Sulge
Facebook Like
Küsitlus


DME Eksamiks kordamise konspekt (2)

5 VÄGA HEA
Punktid
 
Säutsu twitteris
Tingimused
  • Välistatud kolmanda seadus. Iga lause on kas tõene või väär.
  • Mittevasturääkivuse seadus. Ükski lause pole korraga tõene ja väär.
    Lausearvutuse valemid on parajasti need, mida saab koostada alltoodud reeglite järgi:
  • Iga lausemuutuja on lausearvutuse valem.
  • Kui F on lausearvutuse valem, siis ka ⌐F on lausearvutuse valem.
  • Kui F ja G on lausearvutuse valemid, siis ka (F&G), (FVG),(F->G) ja (FG) on lausearvutuse valemid.
    Osavalem : Kõiki antud valemi konstrueerimise käigus tekkinud valemeid nimetatakse selle valemi osavalemiteks ehk alamvalemiteks, konstrueerimise viimasel sammul kasutatud suhet aga peatehteks.
    Kokkulepped sulgude kohta:
  • Tehete prioriteet kõrgemast madalamani on ⌐, &, V, ->, .
  • Vasakassotsiatiivsus: kui mitme liikme konjuktsioonis või disjunktsioonis sooritatakse . tehteid vasakult paremale, siis võib tehete järjekorda täpsustavatest sulgudest loobuda .
  • Valemi välimised sulud võib ära jätta
    Väärtustus: Kui lausemuutuja A on tõene, siis kirjutame A=1; kui lausemuutuja A on väär, siis kirjutame A=0. Kui omistame korraga tõeväärtused mitmele lausemuutujale, siis seda tõeväärtuste komplekti nimetame väärtustuseks.
  • 80% sisust ei kuvatud. Kogu dokumendi sisu näed kui laed faili alla

    Logi sisse ja saadame uutele kasutajatele faili TASUTA e-mailile

    DME Eksamiks kordamise konspekt #1 DME Eksamiks kordamise konspekt #2 DME Eksamiks kordamise konspekt #3 DME Eksamiks kordamise konspekt #4 DME Eksamiks kordamise konspekt #5 DME Eksamiks kordamise konspekt #6
    Punktid 50 punkti Autor soovib selle materjali allalaadimise eest saada 50 punkti.
    Leheküljed ~ 6 lehte Lehekülgede arv dokumendis
    Aeg2010-10-17 Kuupäev, millal dokument üles laeti
    Allalaadimisi 169 laadimist Kokku alla laetud
    Kommentaarid 2 arvamust Teiste kasutajate poolt lisatud kommentaarid
    Autor setroth Õppematerjali autor

    Lisainfo

    Lausearvutus, hulgateooria ja mõned teoreemid

    Märksõnad

    Mõisted


    Kommentaarid (2)

    fred9009 profiilipilt
    fred9009: täitsa asjalik :)
    23:34 18-10-2011
    irwenzo profiilipilt
    ABC DEF: Aitäh
    13:02 17-01-2013


    Sarnased materjalid

    6
    docx
    Juhtimisarvestuse eksamiks kordamise konspekt
    24
    doc
    Eksamiks õppimise konspekt
    14
    docx
    Poliitika ja valitsemise alused eksamiks kordamise konspekt
    32
    pdf
    Avaliku halduse eksamiks kordamine
    27
    doc
    Eesti keele eksamiks kordamine
    50
    docx
    Füüsika eksamiks kordamine
    35
    docx
    Mikrobio II eksamiks kordamine
    22
    doc
    Eesti Avalik Haldus konspekt





    Logi sisse ja saadame uutele kasutajatele
    faili e-mailile TASUTA

    Faili allalaadimiseks, pead sisse logima
    või
    Kasutajanimi / Email
    Parool

    Unustasid parooli?

    UUTELE LIITUJATELE KONTO MOBIILIGA AKTIVEERIMISEL +50 PUNKTI !
    Pole kasutajat?

    Tee tasuta konto

    Sellel veebilehel kasutatakse küpsiseid. Kasutamist jätkates nõustute küpsiste ja veebilehe üldtingimustega Nõustun