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

"formaliseerinud" - 2 õppematerjali

Informaatika kodutöö 1
10
docx

Informaatika kodutöö 1.

See turundusmeetmestik, mida nimetatakse täna uueks, on homme juba vananenud. Turu pidev muutumine on üks põhjuseid, miks on strateegiline turundus oluline. Kuuekümnendatel aastatel kujunes planeerimine ettevõtete jaoks oluliseks tegevuseks. Mitu selle aja jooksul läbi viidud uuringut näitasid, et firmad pöörasid planeerimisele märkimisväärset tähelepanu. Näiteks Conference Board'i uuringust selgus, et 420 ette- võttest 85 % olid ametlikult ettevõtte planeerimise formaliseerinud. Aastal 1983 Coopers & Lybrand and Yankelovich, Skelly and White poolt läbi viidud uuring kinnitas uuringu- funktsiooni ning uurija keskrolli enamuse suurte firmade juhtimisel. Kuigi planeerimise tähtsust oli tunnistatud juba mõnda aega, viitasid aastal 1983 intervjueeritud juhid, et planeerimine on muutumas veelgi tähtsamaks ja saamas suuremat tähelepanu. 1991 aastal McDonald'si2 (vaata Joonis 3 lk. 7) poolt läbi viidud uuring näitas, et turustamise

Informaatika → Informaatika
84 allalaadimist
Loogika aine ja ajalugu
20
doc

Loogika aine ja ajalugu

kui klassikaliste tõestuste leidmine, kuid sellegipoolest suutis Brouwer neid tõestusi leida ja sel viisil näidata, et suur hulk olulist matemaatikat kehtib ka intuitsionistlikust vaatepunktist. Aastal 1918. avaldas Brouwer intuitsionistliku hulgateooria, aastal 1919. intuitsionistliku mõõduteooria ja aastal 1923. funktsiooniteooria. Kuigi Brouwer rajas intuitsionistliku koolkonna ja ehitas üles suure hulga intuitsionistlikku matemaatikat, ei formaliseerinud ta intuitsionistlikku loogikat. Sellega sai 1930. aastal hakkama Arend Heyting. Intuitsionistlik loogika on klassikalisele väga sarnane, erinevus on (konkreetsest esitusest sõltuvalt) vaid paaris lisapiirangus ehk mõne klassikalise aksioomi keelamises. Loogikute hulgas on intuitsionism olnud suur ja oluline koolkond Brouwerist kuni tänase päevani. Intuitsionismile annab praktilise rakendusliku väärtuse asjaolu, et mingi objekti olemasolu intuitsionistlik tõestus annab alati algoritmi

Filosoofia → Loogika
83 allalaadimist


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