matematisk logikk

Norsk

Substantiv

matematisk logikk m (bokmål/nynorsk), c (riksmål)

(logikk) Område innen logikk og matematikk, der logikken uttrykkes eller formaliseres ved hjelp av matematiske symboler. Omfatter både matematiske studier av logikk, og anvendelser av logikk innen matematikk generelt.

Synonymer

symbolsk logikk

Uttale

Dette ordet har ikke fått spesifisert noen uttale. Hvis du er fortrolig med IPA, kan du legge den til.

Dette ordet mangler en lydfil med uttalen av ordet. Hvis du har en mikrofon, kan du spille inn uttalen og laste den opp.

Grammatikk

Dette ordet mangler bøyning. Hjelp gjerne til ved å legge til en bøyningstabell ^{(Hjelp:Maler)}.

Oversettelser

logikk uttrykt ved matematiske symboler

dansk: matematisk logik da(da) c
engelsk: mathematical logic en(en)
fransk: Legg til denne oversettelsen hvis du kan (hjelp) fr
italiensk: Legg til denne oversettelsen hvis du kan (hjelp) it

nederlandsk: wiskundige logica nl(nl) f
russisk: Legg til denne oversettelsen hvis du kan (hjelp) ru
spansk: lógica matemática es(es) f
svensk: matematisk logik sv(sv) c
tysk: Mathematische Logik de(de) f

Hentet fra «https://no.wiktionary.org/w/index.php?title=matematisk_logikk&oldid=1179966»