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

@@ -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<br>enssortet,einsarta<br>einssorta,single-sorted,
 flerartet signatur<br>flersortet signatur,fleirarta signatur<br>fleirsorta signatur,multi-sorted signature,
 ensartet signatur<br>enssortet signatur,einsarta signatur<br>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<br>substitusjonsregel<br>utbyttingsregel,erstattingsregel<br>substitusjonsregel<br>utbytingsregel,substitution rule,
+svekkelse,svekking,weakening,
+svekkelsesegenskap,svekkingseigenskap,weakening property,
+svekkelsesregel,svekkingsregel,weakening rule,
+klippe<br>kutte,klippe<br>kutte,cut,"Ordklasse: verb"
+klipp<br>kutt,klipp<br>kutt,cut,"Ordklasse: substantiv"
+klipperegel<br>kutteregel,klipperegel<br>kutteregel,cut rule,
+frobeniusaksiom,frobeniusaksiom,Frobenius axiom,
+homotopiinvarians,homotopiinvarians,homotopy invariance,
+delteori<br>underteori,delteori<br>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<br>erstatte<br>substituere,byte ut<br>erstatte<br>substituere,substitute,"Ordklasse: verb"
+sekvensiell,sekvensiell,sequential,
+sekvensiell substitusjon,sekvensiell substitusjon,sequential substitution,
+simultan substitusjon<br>simultansubstitusjon,simultan substitusjon<br>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 <i>Freyd-Mitchell-teoremet</i>."
+Freyd-Mitchell-teoremet,Freyd-Mitchell-teoremet,Freyd–Mitchell theorem,"Dette teoremet kalles i noen kontekster også for <i>Mitchells imbeddingteorem</i>."
+rotasjonsgrind,rotasjonsgrind,turnstile,
+fragment,fragment,fragment,"Ordklasse: substantiv"
+fragmentere,fragmentere,fragment,"Ordklasse: verb"
+tomhet,tomheit<br>tomleik,emptiness,
+hevde<br>påstå,hevde<br>påstå,assert,
+hevdelse<br>påstand,hevding<br>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 <i>hom</i> for <i>homomorphism<i/>."
+matriseganging<br>matrisemultiplikasjon,matriseganging<br>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<br>skjevsymmetri,skeivsymmetri,skew-symmetry,
+skeivsymmetrisk lineæroperator<br>skjevsymmetrisk lineæroperator,skeivsymmetrisk lineæroperator,skew-symmetric linear operator,
+skeivsymmetrisk lineærtransformasjon<br>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 <i>memory complexity</i> brukes også om dette konseptet i noen sammenhenger."
+minnekompleksitet,minnekompleksitet,memory complexity,"Termen <i>space complexity</i> 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<br>Engelsk flertallsform: anima<br>Synonym: animert mengde"
+animert mengde,animert mengd,animated set,"Synonym: anima"
+dendroidal mengde,dendroidal mengd,dendroidal set,
+separasjonsaksiom,separasjonsaksiom,separation axiom,
+pensum,pensum,curriculum<br>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<br>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<br>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<br>utsagn,påstand<br>utsagn,statement,
+delpåstand<br>delutsagn,delpåstand<br>delutsagn,substatement,
+sammensatt påstand<br>sammensatt utsagn,samansett påstand<br>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<br>mangesortet algebraisk teori,mangearta algebraisk teori<br>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<br>tilfelle,sak<br>tilfelle,case,
+sak-per-sak<br>tilfelle-per-tilfelle,sak-per-sak<br>tilfelle-per-tilfelle,case-by-case,
+per-saks basis<br>per-tilfelles basis,per-sak-basis<br>per-tilfelle-basis,case-by-case basis,
+verste fall<br>verste tilfelle,verste fall<br>verste tilfelle,worst-case,
+utilfredsstillbar,utilfredsstillbar,unsatisfiable,
+pedagog,pedagog,pedagogue,"Merk at i noen sammenhenger kan den engelske oversettelsen <i>pedagogue</i> 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,