Type
Tyyppi voi tarkoittaa:
Filosofiassa:
- Tyyppi on olemisen kategoria
- Tyyppi-tunnuksen erottelu
- Tyyppiteoria, perusta tyyppijärjestelmien tutkimukselle.
Matematiikassa:
- Tyyppi (malliteoria)
- Tyyppi tai Ariteetti, funktio ottaa operandien lukumäärän.
- Tyyppi, mikä tahansa lause tai joukko intuitionistisessa tyyppiteoriassa.
Tietojenkäsittelyssä:
- Tietotyyppi, laskutoimituksissa käytettävien arvojen kokoelma.
- Type (komento), komentotulkin komento.
- Tyyppijärjestelmä, määrittelee ohjelmointikielen vastauksen tietotyyppeihin.
Sosiologiassa:
- Ihanteellinen tyyppi
- Normaali tyyppi
- Tyypittely
Muut:
Aiheeseen liittyvät sivut
- Kind
|
| Tämä disambiguointisivu luetteloi artikkeleita, jotka liittyvät otsikkoon Type. |
