sisältää sanat: symbolinen + logiikka
Merkitys
- matemaattisen logiikan haara, joka keskittyy tutkimaan loogisen päättelyn rakenteita sellaisilla tavoilla, joilla se on mahdollista tehdä päätelmien sisällöstä riippumatta
Synonyymit
Käännökset
- engl.mathematical logic, symbolic logic
Hierarkia
Yläkäsitteet
Englanninkieliset vastineet
- symbolic logic
- mathematical logic
aiheet:
luokat:
Lähteet
- Wikisanakirja (suomi)· CC BY-SA 4.0
- FinnWordNet 2.0, Lindén et al. (2012)· CC BY 3.0