Plaanid puhkusele minna? Võta endale majutus AirBnb kaudu ja saad 37€ kontoraha Tee konto Sulge
Facebook Like

Otsingule "alamvalemite" leiti 1 fail

18
pdf

Loogilise programmeerimise 1.kontrolltöö konspekt

• Lausearvutuse tehteks nimetatakse niisugust lausetes kasutatavat seost, mille tõeväärtus on tema osalausete tõeväärtuste funktsioon (Boole’i funktsioon). Semantika – valemi tõeväärtuse määratlus téma alamvalemite töeväärtuste põhjal. 3 Predikaatarvutus 3.1 Formaliseerimine predikaatarvutuse keeles Predikaat väljendab objekti omadust või mingit seost (relatsiooni) objektide vahel. !!! Esimest järku predikaatarvutuses: - predikát konstandid—puuduvad predikát muutujad st.kui predikát on defineeritud, siis arutluse käigus tema tähendus ei muutu, - üks predikaat ei tohi olla teise predikaadi argumendiks. • Liitlausete formali...

Tarkvaratehnika -
118 allalaadimist


Faili allalaadimiseks, pead sisse logima

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