Atomistinen kaava

Atomistinen sääntö eli atomistinen kaava on matemaattisessa logiikassa käytetty erikoistapaus kaavasta, jolla ei ole syvempiä sisärakenteita. Sitä kutsutaan lyhyesti myös atomiksi. Atomistisessa kaavassa ei siis ole alakaavoja sisällään. Atomit ovat siten yksinkertaisimpia hyvin-määriteltyjä logiikan kaavoja. Yhdistettyjä kaavoja voidaan muodostaa yhdistämällä atomistisia sääntöjä keskenään tyypillisillä logiikan konnektiiveilla.

Ohjelmistoatomi

Ohjelmistoatomi on käsite, artefakti, joka kuvaa formaalien rakenteiden käsittelyä ja tulkintaa tietokoneessa. Ohjelmistoatomin sisäisenä määrittelynä toimii pelkästään yksi atomistinen kaava. Sen takia ohjelmistoatomeista syntyvä malli on

Symbolin maadoittamisen ongelma

Symbolin maadoittamisen ongelma tarkoittaa alkujaan sitä, kuinka sanat (symbolit) saavat merkityksensä ja mikä tarkoitus kullakin symbolilla todellisuudessa on

Turing-vahva

Laskettavuuden teoriassa esitetään useita toisiaan lähellä olevia termejä, jotka kuvaavat minkä tahansa tietokonejärjestelmän eli laskennallisen järjestelmän suorittamisen rajoja. Erilaisia tarkasteltavia järjestelmiä ovat muun muassa

Symbolinen yleistys

Symbolinen yleistys on tapa abstraktoida käsiteltävä aihe symbolista muotoa käyttäen siten, että se on helppo ymmärtää valittujen symbolien ansiosta

Systeemitiede

Systeemitiede on tieteidenvälinen aihe, opinala, joka tutkii systeemien ymmärtämistä – yksinkertaisista kompleksisiin asti – kohteenaan luonto, yhteiskunta, kognitio, tekniikka, teknologia ja tiede. Ala on monipuolinen, ja eri sen näkökulmat

Komputaatio

Komputaatio on yleinen informaation käsittelyä kuvaava termi. Se sisältää siten laajan alueen inhimillisestä ajattelusta kapea-alaiseen laskentaan. Sanalla komputaatio korostetaan hyvin määritellyn mallin suorituksen seuraamista ja sitä, kuinka

Vianetsintä

Vianetsintä on ongelman ratkaisun eräs muoto. Se on systemaattista hakua tarkoituksena saada ratkaistua itse ongelma. Vianetsintä on usein eliminointiprosessi, jossa eliminoidaan potentiaalisia aiheuttajia. Vianetsintää käytetään lukuisilla

Systeemien teoria

Systeemien teoria on poikkitieteellistä järjestelmien tutkimusta tavoitteena löytää sellaisia periaatteita, joita voidaan soveltaa kaikentyyppisten systeemien käsittelyyn eri tutkimusaloilla. Termillä ei ole vielä täysin vakiintunutta merkitystä

Dynaaminen analyysi

Dynaaminen analyysi on tietokoneohjelmien analysointia suorittamalla ohjelmia todellisessa tai virtuaalisessa prosessorissa. Jotta dynaaminen analyysi voisi onnistua riittävän hyvin, tarvitaan riittävät testitiedot ja tulotiedot, jotta voidaan tuottaa

Torone (Khalkidike)

Torone oli antiikin aikainen kaupunki ja kaupunkivaltio (polis) Khalkidiken alueella Kreikassa. Sen kaupunkikeskus sijaitsi nykyisen Sithonían kunnan Torónin kylän lähellä