* inimese moodi nii välimuselt, kui ka iseloomult. Mõned peamised jumalad · Zeus [taeva-, tormi-, ja piksejumal ning jumalate valitseja] · Hera [Zeusi abikaasa ja õde ning taeva kuninganna] · Poseidon [Zeusi vend, merejumal] · Hades [Zeusi vend, allmaailma ja surnute valitseja] Rituaalid · Tähtsaim rituaal: vereohver · Igal jumalal lemmikloom mida talle ohverdati nt. Zeusil härg, Poseidonil hobune jne. · Igaastased usupidustused sisaldasid ka meelelahutust [võistlused tantsus, spordis, pillimängus] Pühamud ja templiehitus · Linnriikide kõige silmapaistvamad ehitised · Kõige tähtsam koht: altar [seal toodi ohvreid] · Tempel tähistas linnriigi rikkust · Ehitusel osalemine oli kodanikele kohustuslik Merejumal Poseidoni pühamu tänapäeval Peamised pühamud Oraaklid · Kohad kus käidi jumalatelt nõu küsimas · Kuulsaim Delfi oraakel
kasvuhoonegaasid · Fossiilkütuste põletamine · Transport · Metsade hävitamine · Hooned, ehitised 30. detsember 2009 NIMI 3 Kasvuhoonegaaside kasv tööstusrevulutsiooni eelsest ajast Tähis Nimetus Kasv %-des CO2 Süsinikdioksiid 38% CH4 Metaan 230% NO lämmastikoksiid 14% 30. detsember 2009 NIMI 4 Igaastased kasvuhoonegaaside õhkupaiskamised sektorite kaupa 30. detsember 2009 NIMI 5 Tagajärjed · Temperatuuride suurenemine Haiguste levik Tormid Liustiku sulamine · Magevee vähenemine Immigratsioon Sademetemustri muutumine Muutused loomade elus 30. detsember 2009 NIMI 6 Liustike sulamine · Ohustab veevarusid, magevesi võib kaduda · Suur veetaseme tõus
kergemateks. Kuigi esimeks Suure auhinna võitluseks peetakse 1906. aastal Prantsusmaal toimunud Grand Prix de I´Automobile Club de France´i, korraldati esimesed Grand Prix nimelised võidusõidud juba 1900. - 1901. aastal Lõuna-Prantsusmaal Circuit du Sud Ouestil. 1.3.1. International Cup: Pariis Lyon (1900) Suure auhinna sõitude ehk Gran Prix´de eelkäijaks võib pidada ka ameerika ajalehe ,, New York Herald" omaniku James Gordon Bennetti katsed korraldada igaastased maailmameistrivõistlused ehk niinimetatud International Cup. 1899. aastal väljakuulutatud reeglite järgi võis iga riigi autoklubi sellele võistlusele saata kuni kolm sõidukit, mis olid ehitatud sellel maal valmistatud autoosadest. Samuti kehtestati tingimused, et autode raskus peab jääma vahemikku 400-1000 kilogrammi ja distantsi pikkus 550-650 piiridesse. Võistlus pidi olema üheetapiline ning võimus toimuda linnadevahelise võidukihutamisena või ringrajavõistlusena
Toit oli vilets söödi peamiselt nisu- või odrajahust küpsetatud leib ning joodi odrast ja leivast pruulitud lahja õlu, ehkki lisatoidust pakkus ka kalapüük Niilusel. Töö seevastu oli kurnav ja kohustused sageli ülejõikäivad, nende täitmatajätmisel aga ähvardas piitsutamine või orjastamine. Seetõttu tuli nii mõnigi kord ette talupoegade põgenemist vähemasustatud äärealadele. Teatavat vaheldust raskes ja rutiinses elus pakkusid igaastased religioossed pidustused. Käsitöölised müürsepad, puusepad, nahaparkalid, pottsepad, kullassepad jt. töötasid enamasti vaarao ja ülikute lossid ning templite juures ning allusid samuti riigivõimu rangele kontrollile. Neiltki nõuti karmilt kindlate kohustuste täitmist, kuid nende sotsiaalne positsioon ja elatustase oli talupoegade omast nähtavasti mõneti kõrgem. Edukal käsitöölisel oli ka võimalus tõusta töödejuhatajaks ja sulanduda ülikkonna hulka
loogikatõestuse abil .Ülesanne tuleb loogika keeles formuleerida. .Küsimus tuleb ka loogika keeles formuleerida. .Tõestaja asub tõestust otsima. .Kui anda lõpmatult palju aega ja mälu, siis tõestaja lõpuks ka tõestuse leiab (kui tõestus üldse teoreetiliselt eksisteerib). Keeruliste ülesannete puhul võtaks see lootusetult kaua aega (meenuta keerukusklasse!) .Kui tõestust ei ole, siis tõestaja enamasti jääbki seda otsima, teadmata, et sellist tõestust ei saa olla. .Tõestajate igaastased võistlused CASC: .http://www.cs.miami.edu/~tptp/CASC/ .Gandalf: .Tammeti tõestaja, mitmelaastalvõitnud mõne CASC kategooria .http://www.ttu.ee/it/gandalf/ ITK 2007, Kalev Pihl Sissejuhatus informaatikasse 19 Näide: masinaga lahendatud matemaatikaprobleem W. McCune 1996: .The Robbins problem---are all Robbins algebras Boolean?-has been solved using his automated theorem prover EQP. .Programm otsis lahendust ca üks nädal, kuni lõpuks leidis
annaabi.ee 
