From b40c36fb132843cee1f7601b24b7e59287ed3ebc Mon Sep 17 00:00:00 2001 From: Fredrik Bakke Date: Sun, 21 Apr 2024 20:31:55 +0200 Subject: [PATCH 1/9] verifiserte termer --- verifiserte_termer.csv | 82 +++++++++++++++++++++++++++++++++++++++--- 1 file changed, 78 insertions(+), 4 deletions(-) diff --git a/verifiserte_termer.csv b/verifiserte_termer.csv index 8b851cb..36a4814 100644 --- a/verifiserte_termer.csv +++ b/verifiserte_termer.csv @@ -3330,10 +3330,8 @@ funktorkategori,funktorkategori,functor category, homotopikogrense,homotopikogrense,homotopy colimit, homotopiforliker,homotopiforliker,homotopy equalizer, homotopikoforliker,homotopikoforliker,homotopy coequalizer, -homotopikartesisk,homotopikartesisk,homotopy Cartesian,"Synonym: homotopipullback" -homotopipullback,homotopipullback,homotopy pullback,"Synonym: homotopikartesisk" -homotopikokartesisk,homotopikokartesisk,homotopy co-Cartesian,"Synonym: homotopipushout" -homotopipushout,homotopipushout,homotopy pushout,"Synonym: homotopikokartesisk" +homotopikartesisk,homotopikartesisk,homotopy Cartesian, +homotopikokartesisk,homotopikokartesisk,homotopy co-Cartesian, svak homotopiekvivalens,svak homotopiekvivalens,weak homotopy equivalence,"Weak homotopy equivalence og homotopy equivalence brukes noen steder synonymt. Hva som er vanlig ordbruk, avhenger av kontekst." whiteheadprinsippet,whiteheadprinsippet,Whitehead principle, Whiteheads teorem,Whiteheads teorem,Whitehead's theorem, @@ -3625,3 +3623,79 @@ utlede,utleie,infer,"Synonym: dedusere" dedusere,dedusere,deduce,"Synonym: utlede" entitet,entitet,entity, identisk,identisk,identical, +kompleksvaluert,kompleksvaluert,complex valued, +reellvaluert,reellvaluert,real valued, +entydig,eintydig,single valued, +mengdedifferanse,mengddifferanse,set difference, +grammatrise,grammatrise,gramian
gram matrix, +kondisjonstall,kondisjonstal,conditional number, +styrbarhetsmatrise,styrbarheitsmatrise,controllability matrix, +observerbarhetsmatrise,observerbarheitsmatrise,observability matrix, +punktprøving
tasting,punktprøving
tasting,sampling, +tilslørt algebra,tilsløra algebra,concealed algebra, +vippealgebra
vippet algebra,vippealgebra
vippa algebra,tilted algebra, +kvasivippealgebra
kvasivippet algebra,kvasivippealgebra
kvasivippa algebra,quasi-tilted algebra, +kvadratisk gjensidighet
kvadratisk resiprositet,kvadratisk gjensidigheit
kvadratisk resiprositet,quadratic reciprocity, +differanse
forskjell,differanse
forskjell,difference, +stjerner og stolper,stjerner og stolper,stars and bars, +inklusjon-eksklusjon,inklusjon-eksklusjon,inclusion-exclusion, +inklusjon-eksklusjonsprinsippet,inklusjon-eksklusjonsprinsippet,inclusion-exclusion principle, +duehull,duehull,pigeonhole, +duehullprinsippet
hanske-skuffe-prinsippet,duehullprinsippet
hanske-skuffe-prinsippet,pigeonhole principle, +determinisme,determinisme,determinism, +udeterminisme,udeterminisme,nondeterminism, +deterministisk,deterministisk,deterministic, +udeterministisk,udeterministisk,nondeterministic, +språk,språk,language, +tilstand,tilstand,state, +tilstandsmonade,tilstandsmonade,state monad, +fortsettelse,fortsetjing,continuation, +fortsettelsesmonade,fortsetjingsmonade,continuation monad, +strøm,straum,stream, +strømmonade,straummonade,stream monad, +identitetsmonade,identitetsmonade,identity monad, +fantastisk høyreadjungert,fantastisk høgreadjungert,amazing right adjoint, +strukturavbildning,strukturavbilding,structure map, +strukturell avbildning,strukturell avbilding,structural map, +strukturell induksjon,strukturell induksjon,structural induction, +syntetisk,syntetisk,synthetic, +syntese,syntese,synthesis, +glatt mangfoldighet,glatt mangfald,smooth manifold, +glatt rom,glatt rom,smooth space, +H-rom,H-rom,H-space, +G-rom,G-rom,G-space, +sentral,sentral,central, +geometrisk realisering,geometrisk realisering,geometric realization, +realisering,realisering,realization, +koherent nerve,koherent nerve,coherent nerve, +diskret nerve,diskret nerve,discrete nerve, +glidende gjennomsnitt,glidande gjennomsnitt,rolling average, +mikrolineær,mikrolineær,microlinear, +planær,planær,planar, +planaritet,planaritet,planarity, +planær graf,planær graf,planar graph, +matematisk,matematisk,mathematical, +metateori,metateori,metatheory, +splittidempotent,splittidempotent,split idempotent,"Ordklasse: adjektiv" +stor kategori,stor kategori,large category, +lokalt liten,lokalt liten,locally small, +lokalt liten kategori,lokalt liten kategori,locally small category, +stor mengde,stor mengd,large set, +liten mengde,lita mengd,small set, +stor type,stor type,large type, +liten type,liten type,small type, +lokalt liten type,lokalt liten type,locally small type, +stor konstruksjon,stor konstruksjon,large construction, +liten konstruksjon,liten konstruksjon,small construction, +predikativ,predikativ,predicative, +impredikativ,impredikativ,impredicative, +eksistere
finnes,eksistere
finnast,exist,"Ordklasse: verb" +eksistens,eksistens,existence, +konstruktiv,konstruktiv,constructive, +konstruktivt bevis,konstruktivt bevis
konstruktivt prov,constructive proof, +konstruktivt eksistensbevis,konstruktivt eksistensbevis
konstruktivt eksistensprov,constructive proof of existence, +parametrisert,parametrisert,parametrized, +underliggende,underliggjande,underlying, +underliggende mengde,underliggjande mengd,underlying set, +ekvivariant ekvivalens,ekvivariant ekvivalens,equivariant equivalence, +banekategori,banekategori,orbit category, From 1fe995192b9198d3e58d5d2b2fc687ca2037cf81 Mon Sep 17 00:00:00 2001 From: Fredrik Bakke Date: Sun, 21 Apr 2024 20:43:23 +0200 Subject: [PATCH 2/9] ny bidragsyter --- BIDRAGSYTERE.md | 1 + 1 file changed, 1 insertion(+) diff --git a/BIDRAGSYTERE.md b/BIDRAGSYTERE.md index 1e956f6..5f43ec8 100644 --- a/BIDRAGSYTERE.md +++ b/BIDRAGSYTERE.md @@ -33,6 +33,7 @@ bidratt til ordlista, men ikke står oppført som bidragsyter. - [Ann-Helen Langaker (Språkrådet)](https://github.com/Langaker) - [Karl Kristian Ladegård Lockert (NTNU)](https://github.com/kklocker) - [Håkon Marthinsen (SINTEF)](https://github.com/hmarthinsen) +- [Rasmus Anker Fossen Nordal (NTNU)](https://github.com/AFNordal) - Mona-Lena Norheim (NTNU) - [Brynjulf Owren (NTNU)](https://github.com/bowre) - Cecilie Bjørnsdotter Raustein (NTNU) From 7c3b5d12f0057bf7ac2e2c50438195994e424901 Mon Sep 17 00:00:00 2001 From: Fredrik Bakke Date: Sun, 21 Apr 2024 20:43:28 +0200 Subject: [PATCH 3/9] korreksjoner --- verifiserte_termer.csv | 12 ++++-------- 1 file changed, 4 insertions(+), 8 deletions(-) diff --git a/verifiserte_termer.csv b/verifiserte_termer.csv index 36a4814..e5f385b 100644 --- a/verifiserte_termer.csv +++ b/verifiserte_termer.csv @@ -1814,7 +1814,7 @@ ubetinget,vilkårslaus,unconditional, bijeksjon,bijeksjon,bijection,"Synonym: én-entydig korrespondanse/én-til-én-korrespondanse" injektiv,injektiv,injective,"Synonym: én-entydig/én-til-én" multippel,multippel,multiple,"Ordklasse: adjektiv" -kvadratisk resiprositet,kvadratisk resiprositet,quadratic reciprocity, +kvadratisk gjensidighet
kvadratisk resiprositet,kvadratisk gjensidigheit
kvadratisk resiprositet,quadratic reciprocity, venstreartinsk,venstreartinsk,left artinian, artinsk modul,artinsk modul,artinian module, noethersk ring,noethersk ring,noetherian ring, @@ -3627,15 +3627,14 @@ kompleksvaluert,kompleksvaluert,complex valued, reellvaluert,reellvaluert,real valued, entydig,eintydig,single valued, mengdedifferanse,mengddifferanse,set difference, -grammatrise,grammatrise,gramian
gram matrix, +grammatrise,grammatrise,gram matrix
gramian, kondisjonstall,kondisjonstal,conditional number, styrbarhetsmatrise,styrbarheitsmatrise,controllability matrix, observerbarhetsmatrise,observerbarheitsmatrise,observability matrix, punktprøving
tasting,punktprøving
tasting,sampling, tilslørt algebra,tilsløra algebra,concealed algebra, -vippealgebra
vippet algebra,vippealgebra
vippa algebra,tilted algebra, -kvasivippealgebra
kvasivippet algebra,kvasivippealgebra
kvasivippa algebra,quasi-tilted algebra, -kvadratisk gjensidighet
kvadratisk resiprositet,kvadratisk gjensidigheit
kvadratisk resiprositet,quadratic reciprocity, +vippealgebra
,vippa algebra
vippealgebra,tilted algebra, +kvasivippealgebra
kvasivippet algebra,kvasivippa algebra
kvasivippealgebra,quasi-tilted algebra, differanse
forskjell,differanse
forskjell,difference, stjerner og stolper,stjerner og stolper,stars and bars, inklusjon-eksklusjon,inklusjon-eksklusjon,inclusion-exclusion, @@ -3644,8 +3643,6 @@ duehull,duehull,pigeonhole, duehullprinsippet
hanske-skuffe-prinsippet,duehullprinsippet
hanske-skuffe-prinsippet,pigeonhole principle, determinisme,determinisme,determinism, udeterminisme,udeterminisme,nondeterminism, -deterministisk,deterministisk,deterministic, -udeterministisk,udeterministisk,nondeterministic, språk,språk,language, tilstand,tilstand,state, tilstandsmonade,tilstandsmonade,state monad, @@ -3679,7 +3676,6 @@ metateori,metateori,metatheory, splittidempotent,splittidempotent,split idempotent,"Ordklasse: adjektiv" stor kategori,stor kategori,large category, lokalt liten,lokalt liten,locally small, -lokalt liten kategori,lokalt liten kategori,locally small category, stor mengde,stor mengd,large set, liten mengde,lita mengd,small set, stor type,stor type,large type, From 251456d6757ab279d4e653f9ad81468f6b31654b Mon Sep 17 00:00:00 2001 From: Fredrik Bakke Date: Sun, 21 Apr 2024 20:44:10 +0200 Subject: [PATCH 4/9] korreksjon --- verifiserte_termer.csv | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/verifiserte_termer.csv b/verifiserte_termer.csv index e5f385b..ac03ec4 100644 --- a/verifiserte_termer.csv +++ b/verifiserte_termer.csv @@ -3633,7 +3633,7 @@ styrbarhetsmatrise,styrbarheitsmatrise,controllability matrix, observerbarhetsmatrise,observerbarheitsmatrise,observability matrix, punktprøving
tasting,punktprøving
tasting,sampling, tilslørt algebra,tilsløra algebra,concealed algebra, -vippealgebra
,vippa algebra
vippealgebra,tilted algebra, +vippealgebra
vippet algebra,vippa algebra
vippealgebra,tilted algebra, kvasivippealgebra
kvasivippet algebra,kvasivippa algebra
kvasivippealgebra,quasi-tilted algebra, differanse
forskjell,differanse
forskjell,difference, stjerner og stolper,stjerner og stolper,stars and bars, From 518882d74e7121bff75d1e840955c2fe178ac3e4 Mon Sep 17 00:00:00 2001 From: Fredrik Bakke Date: Mon, 22 Apr 2024 10:49:34 +0200 Subject: [PATCH 5/9] ny bidragsyter --- BIDRAGSYTERE.md | 1 + 1 file changed, 1 insertion(+) diff --git a/BIDRAGSYTERE.md b/BIDRAGSYTERE.md index 5f43ec8..0fae614 100644 --- a/BIDRAGSYTERE.md +++ b/BIDRAGSYTERE.md @@ -23,6 +23,7 @@ bidratt til ordlista, men ikke står oppført som bidragsyter. - [Joakim Fremstad (NTNU)](https://github.com/jfremstad) - [Søren Gammelgaard (Oxford/UiO)](https://github.com/sorengam) - Sigrid Grepstad (NTNU) +- [Jacob Fjeld Grevstad (NTNU)](https://github.com/jagr2808) - [Morten Grønbech (NTNU)](https://github.com/MortGron) - [Harald Hanche-Olsen (NTNU)](https://github.com/hanche) - [Johanne Haugland (NTNU)](https://github.com/johahaug) From d8dd6d5090d4418d311e9e27af8134525ddb3d84 Mon Sep 17 00:00:00 2001 From: Fredrik Bakke Date: Tue, 27 Aug 2024 13:53:06 +0200 Subject: [PATCH 6/9] Update verifiserte_termer.csv --- verifiserte_termer.csv | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/verifiserte_termer.csv b/verifiserte_termer.csv index ac03ec4..c2a01fd 100644 --- a/verifiserte_termer.csv +++ b/verifiserte_termer.csv @@ -3633,7 +3633,7 @@ styrbarhetsmatrise,styrbarheitsmatrise,controllability matrix, observerbarhetsmatrise,observerbarheitsmatrise,observability matrix, punktprøving
tasting,punktprøving
tasting,sampling, tilslørt algebra,tilsløra algebra,concealed algebra, -vippealgebra
vippet algebra,vippa algebra
vippealgebra,tilted algebra, +vippet algebra,vippa algebra,tilted algebra, kvasivippealgebra
kvasivippet algebra,kvasivippa algebra
kvasivippealgebra,quasi-tilted algebra, differanse
forskjell,differanse
forskjell,difference, stjerner og stolper,stjerner og stolper,stars and bars, From f170aaf3c5b09a36d6e4f4b6feb3301f8fb1bfb1 Mon Sep 17 00:00:00 2001 From: Fredrik Bakke Date: Tue, 27 Aug 2024 13:53:12 +0200 Subject: [PATCH 7/9] Update verifiserte_termer.csv --- verifiserte_termer.csv | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/verifiserte_termer.csv b/verifiserte_termer.csv index c2a01fd..bb3bea5 100644 --- a/verifiserte_termer.csv +++ b/verifiserte_termer.csv @@ -3634,7 +3634,7 @@ observerbarhetsmatrise,observerbarheitsmatrise,observability matrix, punktprøving
tasting,punktprøving
tasting,sampling, tilslørt algebra,tilsløra algebra,concealed algebra, vippet algebra,vippa algebra,tilted algebra, -kvasivippealgebra
kvasivippet algebra,kvasivippa algebra
kvasivippealgebra,quasi-tilted algebra, +kvasivippet algebra,kvasivippa algebra,quasi-tilted algebra, differanse
forskjell,differanse
forskjell,difference, stjerner og stolper,stjerner og stolper,stars and bars, inklusjon-eksklusjon,inklusjon-eksklusjon,inclusion-exclusion, From c3c336aeeb7c5deafb93b1bd42e363916b7c3141 Mon Sep 17 00:00:00 2001 From: Fredrik Bakke Date: Wed, 28 Aug 2024 17:13:24 +0200 Subject: [PATCH 8/9] Update verifiserte_termer.csv --- verifiserte_termer.csv | 1 - 1 file changed, 1 deletion(-) diff --git a/verifiserte_termer.csv b/verifiserte_termer.csv index bb3bea5..0382540 100644 --- a/verifiserte_termer.csv +++ b/verifiserte_termer.csv @@ -3673,7 +3673,6 @@ planaritet,planaritet,planarity, planær graf,planær graf,planar graph, matematisk,matematisk,mathematical, metateori,metateori,metatheory, -splittidempotent,splittidempotent,split idempotent,"Ordklasse: adjektiv" stor kategori,stor kategori,large category, lokalt liten,lokalt liten,locally small, stor mengde,stor mengd,large set, From 6f00660c607366afa00470346891c19c0d8234b5 Mon Sep 17 00:00:00 2001 From: Fredrik Bakke Date: Mon, 2 Sep 2024 17:19:57 +0200 Subject: [PATCH 9/9] Update verifiserte_termer.csv --- verifiserte_termer.csv | 2 -- 1 file changed, 2 deletions(-) diff --git a/verifiserte_termer.csv b/verifiserte_termer.csv index 0382540..e62df7b 100644 --- a/verifiserte_termer.csv +++ b/verifiserte_termer.csv @@ -3639,8 +3639,6 @@ differanse
forskjell,differanse
forskjell,difference, stjerner og stolper,stjerner og stolper,stars and bars, inklusjon-eksklusjon,inklusjon-eksklusjon,inclusion-exclusion, inklusjon-eksklusjonsprinsippet,inklusjon-eksklusjonsprinsippet,inclusion-exclusion principle, -duehull,duehull,pigeonhole, -duehullprinsippet
hanske-skuffe-prinsippet,duehullprinsippet
hanske-skuffe-prinsippet,pigeonhole principle, determinisme,determinisme,determinism, udeterminisme,udeterminisme,nondeterminism, språk,språk,language,