CAT Computer Aided Testing arvuti toel testimine ja katsetamine; vastav tarkvarapakett CIM Computer Integrated Manufacturing raalintegreeritud projekteerimine ja tootmine; minimaalne arvuti toel lahendatavate ülesannete kogum sisaldab järgmisi tarkvarapakette: CAD, CAM, CAP, CAQ CNC Computerized Numerical Control arvuti toel programmeeritav arvjuhtimine (salvestatav), kasutakse paljude tööstusseadmete automatiseeritud juhtimisel CSG Constructive Solid Geometry hulgateoorial põhinev tahkekeha 3D-mudeldamine DNC Distributed Numerical Control keskarvuti kaudu detsentraliseeritud (jaotatud) arvjuhtseadmete juhtimine FMS Flexible Manufacturing System paindtootmissüsteem; mitme arvjuhtimisseadme automatiseeritud ühendamine ühtseks tootmissüsteemiks FMC Flexible Manufacturing Cell paindtootmismoodul; arvjuhtimisseade automatiseeritud ühenduses tööriistasüsteemi ja toorikute teisaldamissüsteemiga, juurde võib kuuluda ka
positivistide varajast tugevat reduktsionismi, mis üritab taandada teoreetilised väited vaatluslausetele. Kokkuvõte Quine'i puhul oli tegemist uuendusliku filosoofiga, kes tõi lagedale uusi vaatlusprintsiipe ja kirjutas palju teoseid. Sellele pühendas ta isegi oma pensionipõlve. Kogu elu oli ta seotud Harvardi ülikooliga, andes seal loenguid ka kõrges eas. Tema kõige varasemad teesid ja publikatsioonid põhinesid formaalloogikal ja hulgateoorial. Tema eesmärk oli leida vastused kõikidele sisulistele küsimustele teadmisest ja tähendusest, kasutades selleks loodusteaduste meetodeid ja vahendeid. Ehk on kõige tuntumaid teooriaid tema puhul vaatluslausete esitamise teooria, milles arutatakse faktide eksisteerimise üle ja luuakse seoseid ärrituse ja fakti tekkimise vahel. Väljatoodud näide ,,lumi on valge" on ka ehk üks kõige tuntumaid märksõnu tema loomingust, mida kohata võib
Kui asjaolust, et väide A kehtib täisarvu x kohta, saab tuletada, et A kehtib ka arvu x+1 kohta, siis kehtib A kõigi täisarvude kohta. Induktsiooniprintsiibi sõnastamisel kasutas Peano mõistet ``väide'' ehk ``omadus'', täpsustamata, mis keeles ja kuidas selliseid väiteid kirja võib panna. Seetõttu ongi tegemist postulaatidega, mitte aga range aksiomaatikaga. Frege väitis, et tal õnnestus Peano postulaadid range, hulgateoorial põhineva aksiomaatikana kirja panna. Russell demonstreeris vastuseks, et Frege aksiomaatika on vastuoluline, st sellest saab tuletada ka valesid väiteid. Järgnev Russelli paradoks sarnaneb Cantori paradoksiga, kuid on viimasest lihtsam. Moodustame kõigi selliste hulkade hulga, mis ei sisalda iseennast. Tähistame selle hulga tähega T. Küsime nüüd, kas T sisaldab iseennast. Oletame, et sisaldab (T Î T)
annaabi.ee 
