predikatlogik Švedų
2 vertimai
| Vertimas | Kontekstas | Garsas |
|---|---|---|
|
formalus
🇫🇮 Opiskelen predikatlogiikkaa yliopistossa.
🇸🇪 Jag studerar predikatlogik på universitetet.
🇫🇮 Predikatlogiikka on laajennus propositiologiikasta.
🇸🇪 Predikatlogik är en utvidgning av propositionell logik.
|
tekninen, matemaattinen logiikka | |
|
formalus
🇫🇮 Predikatlogiikka tunnetaan myös nimellä förstanivålogik.
🇸🇪 Predikatlogik är även känd som förstanivålogik.
🇫🇮 Förstanivålogik on keskeinen osa matemaattista logiikkaa.
🇸🇪 Förstanivålogik är en central del av matematisk logik.
|
tekninen, formali, matematiikka ja tietojenkäsittelytiede |