Vajad kellegagi rääkida?
Küsi julgelt abi LasteAbi
Logi sisse
Sulge

"mitmesordiliseks" - 3 õppematerjali

Teraviljad
6
doc

Teraviljad

Sorgo (Sorghum bicolor) Sorgot on kultiveeritud Aafrikas ja Aasias juba 4000 aastat. Tänapäeval toodetakse sorgot enam USA-s, Indias, Mehhikos ja Hiinas. Sorgojahu võib koos nisujahuga kasutada leivatööstuses. Toodetakse ka sorgotärklist, siirupit ja õli. Aafrikas on laialt levinud sorgost õlle valmistamine, Hiinas toodetakse sorgost viina. Tangainete liigitus: Nisust toodetavad tangained: 1) manna ­ saadakse kõrvaltootena nisuterade mitmesordiliseks jahuks jahvatamisel. Manna kujutab endast kelmetest puhastatud terakesi. Kõvast nisust jahvatatud manna on kollaka- kreemika värvusega, terad poolläbipaistvad ja sisaldad rohkem valku. Pehmest nisust jahvatatud manna on , valge värvusega ja terad läbipaistmatud. 2) nisukruubid ­ terve nisutera, kest on eemaldatud 3) nisuhelbed ­ valmistatakse lihvitud nisuteradest, mida keedetakse suhkrusiirupis, kuhu on

Toit → Kokandus
100 allalaadimist
LOOGIKA PÕHIREEGLID-SEMANTILINE KOLMNURK Loogika määratlemisest
348
pdf

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest

baashulkade ühendina (koosneb kõikidest baashulkade elementidest, kusjuures iga element tuleb arvesse täpselt üks kord). Signatuuri põhihulka nimetatakse ka universaalhulgaks. Klassikalises loogikas tehakse tavaliselt nii, et iga predikaadi baashulka laiendatakse signatuuri põhihulgani. Sel juhul võib definitsioonis D8.6.3. käsutada termini põhihulk asemel ka terminit baashulk. (Mitme baashulgaga loogikat nimetatakse mitmesordiliseks või mitmeliigiliseks loogikaks ning selle tundmaõppimine ei mahu loogika algkursuse raamidesse.) Seega võime klassikalises loogikas rääkida ka signatuuri baashulgast või universumist. Väga sageli nõutakse, et baashulk oleks mittetühi, kuid see nõue ei ole üldtunnustatud. Kui predikaadisümboli aarsus n = 0, siis 0-kohaline funktsioon fikseerib ühe tõeväärtuse ja tegemist on lausega (konstandiga). 7 Predikaatloogikas defineeritud interpretatsioon kehtib ka lausearvutuses, ent

Õigus → Õigus
44 allalaadimist
LOOGIKA PÕHIREEGLID-SEMANTILINE KOLMNURK
197
pdf

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK

baashulkade ühendina (koosneb kõikidest baashulkade elementidest, kusjuures iga element tuleb arvesse täpselt üks kord). Signatuuri põhihulka nimetatakse ka universaalhulgaks. Klassikalises loogikas tehakse tavaliselt nii, et iga predikaadi baashulka laiendatakse signatuuri põhihulgani. Sel juhul võib definitsioonis D8.6.3. käsutada termini põhihulk asemel ka terminit baashulk. (Mitme baashulgaga loogikat nimetatakse mitmesordiliseks või mitmeliigiliseks loogikaks ning selle tundmaõppimine ei mahu loogika algkursuse raamidesse.) Seega võime klassikalises loogikas rääkida ka signatuuri baashulgast või universumist. Väga sageli nõutakse, et baashulk oleks mittetühi, kuid see nõue ei ole üldtunnustatud. Kui predikaadisümboli aarsus n = 0, siis 0-kohaline funktsioon fikseerib ühe tõeväärtuse ja tegemist on lausega (konstandiga).

Matemaatika → Matemaatika ja loogika
33 allalaadimist


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