intuitionistic logic

    Tieteen termipankista
    Luo tämän nimityksen perusteella käsite uudelle aihealueelle:
    Aalto-yliopiston tutkimusalat
    Akustiikka ja puheteknologia
    Alkuperäiskansatutkimus
    Antiikintutkimus
    Antropologia
    Arkeologia
    Arkkitehtuuri
    Automaatio ja säätötekniikka
    Avaruustiede ja -tekniikka
    Avoin tiede
    Biologia
    Biomittaaminen ja bioelektroniikka
    Biotekniikka
    Biotuotetekniikka
    Clean Energy Research
    Digital Humanities
    Elektroniikka
    Elektroniset ja digitaaliset järjestelmät
    Elintarviketieteet
    Elokuva- ja televisiotutkimus
    Eläinlääketiede
    Eläintiede
    Energiatekniikka
    Epidemiologia
    Esittävät taiteet
    Estetiikka
    Etelä-Aasian tutkimus
    Filosofia
    Folkloristiikka
    Fotoniikka ja nanotekniikka
    Fysiikka
    Game Studies
    Geofysiikka
    Geoinformatiikka
    Geologia
    Historia
    Ihmistieteet
    Ilmatiede
    Kamppailuntutkimus
    Kasvatustieteet
    Kasvitiede
    Kaupunkitutkimus
    Kemia
    Kestävyystiede
    Kieliteknologia
    Kielitiede
    Kiinteistötalous
    Kirjallisuudentutkimus
    Kliininen neurofysiologia
    Konetekniikka
    Korp-linkki-testi
    Kosmologia
    Käyttäytymistieteet
    Käännöstiede
    Language Technology
    Maankäytön suunnittelu ja liikennetekniikka
    Maantiede
    Maisemantutkimus
    Matematiikka
    Materiaalitiede
    Mesoamerikan tutkimus
    Mikrobiologia
    Neurotiede ja lääketieteellinen tekniikka
    Oikeustiede
    Perinnöntutkimus
    Pohjois-Amerikan tutkimus
    Politologi
    Radiotiede ja -tekniikka
    Rakennustekniikka
    Ravitsemustiede
    Robotiikka ja autonomiset järjestelmät
    Saamentutkimus
    Seismologia
    Selkokielen tutkimus
    Semiotiikka
    Sienitiede
    Signaalinkäsittely ja data-analyysi
    Sosiaalipsykologia
    Språkvetenskap
    Sukupuolentutkimus
    Systeemi- ja operaatiotutkimus
    Sähkötekniikka
    Taidehistoria
    Taidekasvatus
    Taloustiede
    Teknillinen fysiikka
    Tekstuaalitieteet
    Teologia
    Terminologiako bankos
    Terminologiaoppi
    Terveystieteet
    Tiedeneuvonta
    Tietojenkäsittelytiede
    Tietoliikenne- ja tietoverkkotekniikka
    Tietotekniikka
    Tilastotiede
    Tuotantotalous
    Tähtitiede
    Uskontotiede
    Viestintä
    Vuorovaikutteiset järjestelmät
    Yleinen valtio-oppi
    Ympäristötekniikka
    Ympäristötieteet
    intuitionistinen logiikka (Filosofia)

    klassiselle logiikalle vaihtoehtoinen logiikka, jossa ei hyväksytä mm. kolmannen poissuljetun lakia intuitiivisesti päteväksi

    Lue koko artikkeli

    Kieliopillinen koodaus (englanti)

    Sanaluokka substantiivi
    Suku
    Alkuperä

    Alaviite

    Lähdeviittaus tähän sivuun:
    Tieteen termipankki 21.11.2024: Nimitys:intuitionistic logic. (Tarkka osoite: https://www.tieteentermipankki.fi/wiki/Nimitys:intuitionistic logic.)

    Noudettu kohteesta ”https://tieteentermipankki.fi/w/index.php?title=Nimitys:intuitionistic_logic&oldid=436357”