matematisk logikk

Norsk

Substantiv

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

1. (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

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