Vajad kellegagi rääkida?
Küsi julgelt abi LasteAbi
Logi sisse Registreeri konto
Ega pea pole prügikast! Tõsta enda õppeedukust ja õpi targalt. Telli VIP ja lae alla päris inimeste tehtu õppematerjale LOE EDASI Sulge

"sissejuhatus matemaatilisse loogikasse" - 3 õppematerjali

Õppeained

Sissejuhatus matemaatilisse loogikasse -Tartu Ülikool
thumbnail
13
pdf

SML kordamisküsimustele vastused.

SISSEJUHATUS MATEMAATILISSE LOOGIKASSE Kordamisküsimused (orienteeruv) Mõnede sümbolite tähendused sõna Materjal puudub & Konjuktsioon Ekvivalents üldisuskvantor Järeldumine Disjunktisoon ¬ Eitus olemasolukvantor Signatuur Implikatsioon Samaväärsus Loogiline järeldumine I. Lausearvutus Laused. Lausearvutuse tehted. Valem. Valemi tõeväärtus. Tõeväärtustabel. Laused Põhilised uuritavad objektid lausearvutuses on laused, mis võimaldavad pärineda ükskõik millisest valdkonnast. Oluline on, et igale lausearvutusele saaks vastavusse seada tõeväärtuse, mis kirjeldab lause tegelikkusele vastava määra. Eeldame, et käsitlevad laused rahuldavad järgmisi tingimusi: · Välistatud kolmanda seadus. Iga lause on kas tõene või väär · Mittevasturääkivuse seadus...

Sissejuhatus matemaatilisse...
84 allalaadimist
thumbnail
18
pdf

Algebra ja geomeetria: Tõestused

4. Maatriksite liitmine on kommutatiivne, s.t. mistahes X, Y Mat(m, n) korral kehtib X + Y = Y + X. Tõestus: Iga X = (xij) ja Y = (yij) korral hulgast Mat(m, n), tänu reaalar- vude liitmise kommutatiivsusele (1.11), saame X + Y = (xij + yij) = (yij + xij) = Y + X X + Y = Y + X Omadus 1.10. (X + Y ) = X + Y Tõestus (X + Y ) = ((xij) + (yij)) = ( (xij + yij)) = ( xij + yij) = = ( xij) + ( yij) = (xij) + (yij) = X + Y (X + Y ) = X + Y; Omadus 1.15. Mistahes maatriksi X Mat(m, n) ning vastavate ühikmaatriksite Em Mat(m,m) ja En Mat(n, n) korral XEn = X, EmX = X Tõestus Maatriksite X = (xij ), kus i Nm, j Nn, ja n-järku ühikmaatriksi E1 = (ij) korrutise XE1 = (yij) üldelement avaldub = = , , , =1 mistõttu XE1 = X. Juhul kui E2 on m-järku ühikmaatriks, siis...

Sissejuhatus matemaatilisse...
64 allalaadimist
thumbnail
20
doc

Loogika aine ja ajalugu

Tamme, T.Tammeti ja R.Prangi loogikaõpikule "Mõtlemisest tõestamiseni" Tanel Tammet Department of Computer Sciences, University of Göteborg and Chalmers University of Technology, 41296 Göteborg, Sweden email: [email protected] Puhta loogika eesmärk on olla õige kõigis võimalikes maailmades, mitte ainult selles veider-segases vaevarikkas maailmas, kuhu juhus meid on heitnud. Loogik peab eneses alal hoidma teatud annuse jumalikkust: ta ei tohi alanduda selleni, et teha järeldusi...

Loogika
81 allalaadimist


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