From 97f218955a254cae61fd039c4c1f2abcfaa10f12 Mon Sep 17 00:00:00 2001 From: Fredrik Bakke Date: Thu, 7 Dec 2023 13:54:46 +0100 Subject: [PATCH] Verifiserte termer sommeren 2023 (#168) * legg til verifiserte termer fra sommeren 2023 * korreksjon * Apply suggestions from code review * Update verifiserte_termer.csv * Update verifiserte_termer.csv --- verifiserte_termer.csv | 276 ++++++++++++++++++++++++++++++++++++++++- 1 file changed, 275 insertions(+), 1 deletion(-) diff --git a/verifiserte_termer.csv b/verifiserte_termer.csv index a2c0b2b..8b851cb 100644 --- a/verifiserte_termer.csv +++ b/verifiserte_termer.csv @@ -2427,7 +2427,6 @@ optimal løsning,optimal løysning,optimal solution, sirkulasjon,sirkulasjon,circulation, strøm,straum,flow, heuristisk algoritme,heuristisk algoritme,heuristic algorithm, -kutt,kutt,cut, kuttplan,kuttplan,cutting plane, tillatt løsning,tillaten løysning,feasible solution, hyperkube,hyperkube,hyper cube, @@ -3351,3 +3350,278 @@ ensartet
enssortet,einsarta
einssorta,single-sorted, flerartet signatur
flersortet signatur,fleirarta signatur
fleirsorta signatur,multi-sorted signature, ensartet signatur
enssortet signatur,einsarta signatur
einssorta signatur,single-sorted signature, proposisjonell signatur,proposisjonell signatur,propositional signature, +førsteordens predikatlogikk,førsteordens predikatlogikk,first-order predicate logic, +klassisk førsteordens logikk,klassisk førsteordens logikk,classic first-order logic, +naiv mengdelære,naiv mengdelære,naive set theory, +klassifiserende topos,klassifiserande topos,classifying topos, +denotasjonssemantikk,denotasjonssemantikk,denotational semantics, +kategorisk semantikk,kategorisk semantikk,categorical semantics, +deduksjonssystem,deduksjonssystem,deduction system, +strukturell,strukturell,structural, +strukturell regel,strukturell regel,structural rule, +erstatningsregel
substitusjonsregel
utbyttingsregel,erstattingsregel
substitusjonsregel
utbytingsregel,substitution rule, +svekkelse,svekking,weakening, +svekkelsesegenskap,svekkingseigenskap,weakening property, +svekkelsesregel,svekkingsregel,weakening rule, +klippe
kutte,klippe
kutte,cut,"Ordklasse: verb" +klipp
kutt,klipp
kutt,cut,"Ordklasse: substantiv" +klipperegel
kutteregel,klipperegel
kutteregel,cut rule, +frobeniusaksiom,frobeniusaksiom,Frobenius axiom, +homotopiinvarians,homotopiinvarians,homotopy invariance, +delteori
underteori,delteori
underteori,subtheory, +setning,setning,sentence, +lukket formel,lukka formel,closed formula, +lukket term,lukka term,closed term, +åpen term,åpen term,open term, +bytte ut
erstatte
substituere,byte ut
erstatte
substituere,substitute,"Ordklasse: verb" +sekvensiell,sekvensiell,sequential, +sekvensiell substitusjon,sekvensiell substitusjon,sequential substitution, +simultan substitusjon
simultansubstitusjon,simultan substitusjon
simultansubstitusjon,simultaneous substitution, +Diaconescus teorem,Diaconescus teorem,Diaconescu's theorem, +Diaconescus ekvivalens,Diaconescus ekvivalens,Diaconescu's equivalence, +syntaks,syntaks,syntax, +syntaktisk,syntaktisk,syntactic, +syntaktisk kategori,syntaktisk kategori,syntactic category, +Mitchells imbeddingteorem,Mitchells imbeddingteorem,Mitchell's embedding theorem,"Dette teoremet kalles i noen kontekster også for Freyd-Mitchell-teoremet." +Freyd-Mitchell-teoremet,Freyd-Mitchell-teoremet,Freyd–Mitchell theorem,"Dette teoremet kalles i noen kontekster også for Mitchells imbeddingteorem." +rotasjonsgrind,rotasjonsgrind,turnstile, +fragment,fragment,fragment,"Ordklasse: substantiv" +fragmentere,fragmentere,fragment,"Ordklasse: verb" +tomhet,tomheit
tomleik,emptiness, +hevde
påstå,hevde
påstå,assert, +hevdelse
påstand,hevding
påstand,assertion, +sammensatt,samansett,composite,"Ordklasse: adjektiv" +sammensatt,samansett,compound,"Ordklasse: adjektiv" +sammensette,setje saman,compound,"Ordklasse: verb" +sammensatt term,samansett term,compound term, +sammensatt formel,samansett formel,compound formula, +sammensatt uttrykk,samansett uttrykk,compound expression, +tilstandsmaskin,tilstandsmaskin,state machine, +deterministisk,deterministisk,deterministic, +deterministisk algoritme,deterministisk algoritme,deterministic algorithm, +deterministisk tilstandsmaskin,deterministisk tilstandsmaskin,deterministic state machine, +udeterministisk,udeterministisk,nondeterministic, +udeterministisk algoritme,udeterministisk algoritme,nondeterministic algorithm, +udeterministisk tilstandsmaskin,udeterministisk tilstandsmaskin,nondeterministic state machine, +førsteordens språk,førsteordens språk,first-order language, +høyereorden,høgareorden,higher-order, +høyereordens logikk,høgareordens logikk,higher-order logic, +tellbart uendelig,teljeleg uendeleg,countably infinite, +disjunktiv normalform,disjunktiv normalform,disjunctive normal form,"Disjunktiv normalform forkortes ofte til DNF." +unik,unik,unique, +essensiell,essensiell,essential, +essensielt unik,essensielt unik,essentially unique, +essensielt injektiv,essensielt injektiv,essentially injective, +lokalt liten kategori,lokalt liten kategori,locally small category, +liste,liste,list, +tom liste,tom liste,empty list, +endelig liste,endeleg liste,finite list, +uendelig liste,uendeleg liste,infinite list, +avhengig liste,avhengig liste,dependent list, +listemonade,listemonade,list monad, +lesermonade,lesermonade,reader monad, +skriverkomonade,skriverkomonade,writer comonad, +unntaksmonade,unntaksmonade,exception monad, +unntak,unntak,exception, +kumulere,kumulere,cumulate, +kumulativt univers,kumulativt univers,cumulative universe, +intern,intern,internal, +internalisere,internalisere,internalize, +internt univers,internt univers,internal universe, +internt hom-objekt,internt hom-objekt,internal hom-object,"Termen kommer av forkortelsen hom for homomorphism." +matriseganging
matrisemultiplikasjon,matriseganging
matrisemultiplikasjon,matrix multiplication, +strassenalgoritmen,strassenalgoritmen,Strassen algorithm, +Ladermans algoritme for matrisemultiplikasjon,Ladermans algoritme for matrisemultiplikasjon,Laderman matrix multiplication algorithm, +karatsubaalgoritmen,karatsubaalgoritmen,Karatsuba algorithm, +Shors algoritme,Shors algoritme,Shor's algorithm, +sierpińskirom,sierpińskirom,Sierpiński space, +rettet intervall,retta intervall,directed interval, +frittstående,frittståande,free-standing, +frittstående pil,frittståande pil,free-standing arrow, +frittstående isomorfi,frittståande isomorfi,free-standing isomorphism, +adjungert ekvivalens,adjungert ekvivalens,adjoint equivalence, +halvadjungert ekvivalens,halvadjungert ekvivalens,half-adjoint equivalence, +tallstreng,talstreng,number string,"Ordklasse: substantiv" +delstreng,delstreng,substring,"Ordklasse: substantiv" +endelig streng,endeleg streng,finite string,"Ordklasse: substantiv" +uendelig streng,uendeleg streng,infinite string,"Ordklasse: substantiv" +underobjekt,underobjekt,subobject, +kvotientobjekt,kvotientobjekt,quotient object, +underobjektpomengde,underobjektpomengd,subobject poset, +grothendiecktopologi,grothendiecktopologi,Grothendieck topology, +indeksere,indeksere,index,"Ordklasse: verb" +indeksering,indeksering,indexing,"Ordklasse: substantiv" +vilkår,vilkår,condition,"Ordklasse: substantiv" +tilstand,tilstand,condition,"Ordklasse: substantiv" +betinge,krevje,condition,"Ordklasse: verb" +kondisjonere,kondisjonere,condition,"Ordklasse: verb" +skeivsymmetri
skjevsymmetri,skeivsymmetri,skew-symmetry, +skeivsymmetrisk lineæroperator
skjevsymmetrisk lineæroperator,skeivsymmetrisk lineæroperator,skew-symmetric linear operator, +skeivsymmetrisk lineærtransformasjon
skjevsymmetrisk lineærtransformasjon,skeivsymmetrisk lineærtransformasjon,skew-symmetric linear transformation, +symmetrisk relasjon,symmetrisk relasjon,symmetric relation, +refleksiv relasjon,refleksiv relasjon,reflexive relation, +transitiv relasjon,transitiv relasjon,transitive relation, +substitutiv relasjon,substitutiv relasjon,substitutive relation, +restledd,restledd,remainder term, +komponentvis,komponentvis,componentwise, +nivåvis,nivåvis,levelwise, +nivå,nivå,level,"Ordklasse: substantiv" +gradvis,gradvis,degreewise, +gradvis,gradvis,gradual, +lineær tid,lineær tid,linear time, +sublineær tid,sublineær tid,sublinear time, +superlineær tid,superlineær tid,superlinear time, +supereksponentiell tid,supereksponentiell tid,superexponential time, +superpolynomiell tid,superpolynomiell tid,superpolynomial time, +sublogaritmisk tid,sublogaritmisk tid,sublogarithmic time, +eksponentiell tid,eksponentiell tid,exponential time, +polynomiell tid,polynomiell tid,polynomial time, +logaritmisk tid,logaritmisk tid,logarithmic time, +tidskompleksitet,tidskompleksitet,time complexity, +plasskompleksitet,plasskompleksitet,space complexity,"Termen memory complexity brukes også om dette konseptet i noen sammenhenger." +minnekompleksitet,minnekompleksitet,memory complexity,"Termen space complexity brukes også om dette konseptet i noen sammenhenger." +regularisere,regularisere,regularize, +regulariserbar,regulariserbar,regularizable, +asymptotisk oppførsel,asymptotisk oppførsel,asymptotic behaviour, +global seksjon,global seksjon,global section, +lokal seksjon,lokal seksjon,local section, +faktorisere,faktorisere,factor,"Ordklasse: verb" +kartesianisering,kartesianisering,Cartesianization, +effektivisering,effektivisering,effectivization, +positivisering,positivisering,positivization, +reflektor,reflektor,reflector, +univalens,univalens,univalence, +rettet univalens,retta univalens,directed univalence, +modellstruktur,modellstruktur,model structure, +fasongmodalitet,fasongmodalitet,shape modality, +anima,anima,anima,"Norsk flertallsform: anima
Engelsk flertallsform: anima
Synonym: animert mengde" +animert mengde,animert mengd,animated set,"Synonym: anima" +dendroidal mengde,dendroidal mengd,dendroidal set, +separasjonsaksiom,separasjonsaksiom,separation axiom, +pensum,pensum,curriculum
syllabus, +læreplan,læreplan,curriculum, +være lik,være lik,equal,"Ordklasse: verb" +lik,lik,equal,"Ordklasse: adjektiv" +separert preknippe,separert preknippe,separated presheaf, +underfunktor,underfunktor,subfunctor, +avgrense
begrense,avgrense,restrict, +konstruksjon,konstruksjon,construction, +prinsipalsåld,prinsipalsåld,principal sieve, +overdekningssåld,overdekkingssåld,covering sieve, +grunn,grunn,reason,"Ordklasse: substantiv" +resonnere,resonnere,reason,"Ordklasse: verb" +blandet varians,blanda varians,mixed variance, +modelltopos,modelltopos,model topos, +type-teoretisk modelltopos,type-teoretisk modelltopos,type-theoretic model topos, +simplisiell modellkategori,simplisiell modellkategori,simplicial model category, +asyklisitet,asyklisitet,acyclicity, +triviell fibrasjon,triviell fibrasjon,trivial fibration, +triviell kofibrasjon,triviell kofibrasjon,trivial cofibration, +asyklisk fibrasjon,asyklisk fibrasjon,acyclic fibration, +asyklisk kofibrasjon,asyklisk kofibrasjon,acyclic cofibration, +fibret,fibret,fibred, +identiske entiteters uskillbarhet,uskilbarheit av identiske entitetar,indiscernibility of identicals, +gradering,gradering,grading, +gradert abelsk gruppe,gradert abelsk gruppe,graded abelian group, +veltypa
veltypet,veltypa,well-typed, +filtrere,filtrere,filter,"Ordklasse: verb" +filtrert,filtrert,filtered, +filtrert grense,filtrert grense,filtered limit, +kofiltrert grense,kofiltrert grense,cofiltered limit, +tautologi,tautologi,tautology, +gyldig,gyldig,valid, +presedens,presedens,precedence, +operatorpresedens,operatorpresedens,operator precedence, +preneksnormalform,preneksnormalform,prenex normal form, +konklusjon,konklusjon,conclusion, +absorbere,absorbere,absorb, +absorpsjon,absorpsjon,absorption, +absorpsjonslov,absorpsjonslov,absorption law, +distributere,distributere,distribute, +distributivitet,distributivitet,distributivity, +distributivitetslov,distributivitetslov,distributivity law, +kommutere,kommutere,commute,"Ordklasse: verb" +kommutativitet,kommutativitet,commutativity, +kommutativitetslov,kommutativitetslov,commutativity law, +idempotens,idempotens,idempotence, +idempotenslov,idempotenslov,idempotence law, +assosiere,assosiere,associate,"Ordklasse: verb" +assosiativitet,assosiativitet,associativity, +assosiativietslov,assosiativitetslov,associativity law, +identitetslov,identitetslov,identity law, +domineringslov,domineringslov,domination law, +komplementlov,komplementlov,complement law, +De Morgans lover,De Morgans lover,De Morgan's laws, +demorganlov,demorganlov,De Morgan law, +demorganalgebra,demorganalgebra,De Morgan algebra, +kvantifisere,kvantifisere,quantify, +kvantifisering,kvantifisering,quantification, +kvantifiseringslogikk,kvantifiseringslogikk,quantificational logic, +predikatkalkulus,predikatkalkulus,predicate calculus, +pedantisk,pedantisk,pedantic, +påstand
utsagn,påstand
utsagn,statement, +delpåstand
delutsagn,delpåstand
delutsagn,substatement, +sammensatt påstand
sammensatt utsagn,samansett påstand
samansett utsagn,compound statement, +delformel,delformel,subformula, +usannhet,usanning,falsity, +variabelbytte,variabelbyte,change of variables, +ekvifibret,ekvifibra,equifibred, +atomisk,atomisk,atomic, +atomisk proposisjon,atomisk proposisjon,atomic propositon, +atomisk formel,atomisk formel,atomic formula, +hornformel,hornformel,Horn formula, +hornteori,hornteori,Horn theory, +hornlogikk,hornlogikk,Horn logic, +hornkategori,hornkategori,Horn category, +hornmorfi,hornmorfi,Horn morphism, +regulær formel,regulær formel,regular formula, +regulær teori,regulær teori,regular theory, +regulær logikk,regulær logikk,regular logic, +regulær kategori,regulær kategori,regular category, +regulær funktor,regulær funktor,regular functor, +regulær morfi,regulær morfi,regular morphism, +koherent formel,koherent formel,coherent formula, +koherent teori,koherent teori,coherent theory, +koherent logikk,koherent logikk,coherent logic, +koherent kategori,koherent kategori,coherent category, +koherent morfi,koherent morfi,coherent morphism, +førsteordens formel,førsteordens formel,first-order formula, +førsteordens teori,førsteordens teori,first-order theory, +intuisjonistisk førsteordens logikk,intuisjonistisk førsteordens logikk,intuitionistic first-order logic, +heytingkategori,heytingkategori,Heyting category, +heytingfunktor,heytingfunktor,Heyting functor, +heytingmorfi,heytingmorfi,Heyting morphism, +geometrisk formel,geometrisk formel,geometric formula, +geometrisk teori,geometrisk teori,geometric theory, +geometrisk logikk,geometrisk logikk,geometric logic, +geometrisk kategori,geometrisk kategori,geometric category, +geometrisk funktor,geometrisk funktor,geometric functor, +geometrisk morfi,geometrisk morfi,geometric morphism, +geometrisk transformasjon,geometrisk transformasjon,geometric transformation, +algebraisk teori,algebraisk teori,algebraic theory, +algebraisk logikk,algebraisk logikk,algebraic logic, +mangeartet algebraisk teori
mangesortet algebraisk teori,mangearta algebraisk teori
mangesorta algebraisk teori,many-sorted algebraic theory, +kartesisk formel,kartesisk formel,Cartesian formula, +kartesisk teori,kartesisk teori,Cartesian theory, +kartesisk logikk,kartesisk logikk,Cartesian logic, +kartesisk kategori,kartesisk kategori,Cartesian category, +endelig-komplett kategori,endeleg-komplett kategori,finitely complete category, +kartesisk funktor,kartesisk funktor,Cartesian functor, +koherens,koherens,coherence, +boolsk koherent kategori,boolsk koherent kategori,Boolean coherent category, +sak
tilfelle,sak
tilfelle,case, +sak-per-sak
tilfelle-per-tilfelle,sak-per-sak
tilfelle-per-tilfelle,case-by-case, +per-saks basis
per-tilfelles basis,per-sak-basis
per-tilfelle-basis,case-by-case basis, +verste fall
verste tilfelle,verste fall
verste tilfelle,worst-case, +utilfredsstillbar,utilfredsstillbar,unsatisfiable, +pedagog,pedagog,pedagogue,"Merk at i noen sammenhenger kan den engelske oversettelsen pedagogue ha en mer negativ konnotasjon." +utlede,utleie,infer,"Synonym: dedusere" +étalemorfi,étalemorfi,étale morphism, +étaleavbildning,étaleavbilding,étale map, +étalerom,étalerom,étale space, +étaletopologi,étaletopologi,étale topology, +étalekohomologi,étalekohomologi,étale cohomology, +étalealgebra,étalealgebra,étale algebra, +dedusere,dedusere,deduce,"Synonym: utlede" +entitet,entitet,entity, +identisk,identisk,identical,