• Rezultati Niso Bili Najdeni

Izreki, posledice, leme in ˇse kaj...

N/A
N/A
Protected

Academic year: 2022

Share "Izreki, posledice, leme in ˇse kaj..."

Copied!
1
0
0

Celotno besedilo

(1)

Izreki, posledice, leme in ˇse kaj...

andrej.taranenko@uni-mb.si 28. oktober 2003

Poglejmo kako uporabimo novo definirana okolja (glej .tex datoteko).

Izrek 1. Izrek paˇc pravi, da je to tak, ˇce je A.

Dokaz. To zdaj sicer ni pravi dokaz, je pa laˇzje. Naj bo A, torej je tak.

Posledica 2. Za posledice ne odgovarjam.

Lema 3. Leme pomagajo pri dokazovanju izrekov.

Trditev 4. Trdim nekaj...

Hipoteza 5. Za sploˇsno ne znamo dokazati, ampak predidevamo, da je res.

Reference

POVEZANI DOKUMENTI

Problem, ki je predstavljen kot Weierstrassov faktorizacijski izrek, je namreˇ c kon- struiranje analitiˇ cne funkcije kot (neskonˇ cen) produkt bolj elementar- nih funkcij, od

Prav tako sem spoznala, kako pomembno je, da se otroci navadijo na prostor, v katerem bodo imeli predstavo za gledalce. Novo okolje otroke zmede, zato potrebujejo čas, da se

 Dobijo idejo, kako lahko odpadni material spet uporabimo (kako iz smeti naredimo nekaj uporabnega)..

Preden konˇcamo zgodbo o aksiomih realnih ˇstevil ˇse z zadnjim, Dedekindovim aksio- mom, si poglejmo, kako lahko aksiome uporabimo za izpeljavo nekaterih trditev, ki veljajo v

V prenosu znanja, tudi znanja o tem, kako se znanje upo- rabi, pa je veliko neizrekljivega (Lerbet-Séréni, 1999) in tako se mentor uči od mentoriranca sredi mentorskega razmerja,

It was observed that the seam strength at the 40 tex/30 tex: needle thread/bobbin thread (cotton) combination was higher than at the30 tex/40 tex: needle thread/bobbin

Začeti moramo razpravo ne le o tem, kako področje urediti in kako odgovoriti, temveč tudi o etičnem vprašanju, kako lahko umetno inteligenco uporabimo za splošno dobro; kaj je to,

Najveˇ ckrat nam to okolje pride prav tam, kjer moramo med samim besedilom dokumenta izpisati besedilo toˇ cno tako, kot smo ga zapisali v vhodni datoteki s konˇ cnico tex.. Ukaz, ki