Sökresultat
Hoppa till navigering
Hoppa till sök
Träffar i sidtitlar
- '''Sylows satser''' är en samling [[matematisk sats|matematiska satser]] inom [[gruppteori]] uppkallade efter [[Ludwig Sylow]]<ref>{{Tidskriftsref ...nom [[klassificering av ändliga enkla grupper]]. På sätt och vis är Sylows satser en omvändning till [[Lagranges sats]]. ...4 kbyte (610 ord) - 1 mars 2020 kl. 13.33
- '''Konträra satser''' eller '''konträra påståenden''', är begrepp hämtade från [[predikatlogik *[http://plato.stanford.edu/entries/contradiction Artikel om kontära satser] på [[Stanford Encyclopedia of Philosophy]] ...3 kbyte (493 ord) - 14 mars 2025 kl. 12.03
- '''Schwedlers satser''', ger förhållandet mellan [[Moment|böjmomentet]], tvärkraften och lasten En enkel formulering av Schwedlers satser är i en balk i statisk jämvikt med lastfunktion <math>q(x)</math>, tvärkraf ...794 byte (118 ord) - 6 september 2022 kl. 07.50
Artikeltexter som matchar sökningen
- '''Schwedlers satser''', ger förhållandet mellan [[Moment|böjmomentet]], tvärkraften och lasten En enkel formulering av Schwedlers satser är i en balk i statisk jämvikt med lastfunktion <math>q(x)</math>, tvärkraf ...794 byte (118 ord) - 6 september 2022 kl. 07.50
- ...te är atomära kallas [[Molekylär sats|molekylära satser]]. Dessa består av satser (atomära eller molekylära) som är sammanbunda med satslogiska [[konnektiv]] ...är endast beroende av dess logiska form och sanningsvärdet hos de atomära satser som ytterst ingår i satsen. ...3 kbyte (476 ord) - 27 december 2017 kl. 18.39
- ...([[disjunktion|eller]])" kunna bilda nya [[premiss|premisser]] från givna satser. Man utnyttjar bland annat att konjunktioner av satser är identiskt med att hävda då båda satserna. ...828 byte (120 ord) - 10 december 2018 kl. 12.03
- [[Kategori:Satser inom reell analys]] [[Kategori:Satser inom funktionalanalys]] ...1 kbyte (147 ord) - 8 mars 2015 kl. 18.00
- '''Sylows satser''' är en samling [[matematisk sats|matematiska satser]] inom [[gruppteori]] uppkallade efter [[Ludwig Sylow]]<ref>{{Tidskriftsref ...nom [[klassificering av ändliga enkla grupper]]. På sätt och vis är Sylows satser en omvändning till [[Lagranges sats]]. ...4 kbyte (610 ord) - 1 mars 2020 kl. 13.33
- == Liknande satser == [[Kategori:Satser inom talteori]] ...2 kbyte (294 ord) - 20 maj 2021 kl. 01.30
- ...tt [[härledningsbegrepp]]. En formel B är ''härledbar'' från en mängd A av satser i det formella systemet S om och endast om det med ett ändligt antal härled ...356 byte (60 ord) - 10 december 2018 kl. 14.12
- ...rande, som antingen är [[Kontradiktion|kontradiktoriskt]] eller [[Konträra satser|konträrt]]. Två påståenden sägs vara [[Konträra satser|konträra]], om de av logiska grunder inte båda kan vara sanna, men båda var ...2 kbyte (299 ord) - 19 oktober 2024 kl. 17.30
- [[Kategori:Satser om primtal]] [[Kategori:Satser inom analytisk talteori]] ...1 kbyte (203 ord) - 12 augusti 2015 kl. 14.51
- [[Kategori:Satser inom topologi]] [[Kategori:Satser inom konvex geometri]] ...1 kbyte (217 ord) - 28 februari 2020 kl. 08.19
- [[Kategori:Satser inom komplex analys]] ...391 byte (65 ord) - 31 januari 2021 kl. 20.19
- [[Kategori:Satser]] ...547 byte (77 ord) - 6 september 2022 kl. 07.50
- ...jov]] (1821–1894) och används bland annat som hjälpsats vid bevis av andra satser inom grundläggande sannolikhetsteori. [[Kategori:Satser]] ...2 kbyte (224 ord) - 17 juli 2022 kl. 11.50
- [[Kategori:Satser inom geometri]] ...540 byte (87 ord) - 18 december 2023 kl. 21.03
- [[Kategori:Satser om primtal]] ...538 byte (83 ord) - 6 september 2024 kl. 09.21
- [[Kategori:Satser inom måtteori]] [[Kategori:Satser inom funktionalanalys]] ...2 kbyte (241 ord) - 5 september 2015 kl. 10.36
- [[Kategori:Satser om primtal]] ...530 byte (78 ord) - 6 juni 2024 kl. 10.27
- [[Kategori:Satser inom talteori]] [[Kategori:Satser inom algebraisk geometri]] ...2 kbyte (243 ord) - 26 april 2023 kl. 19.48
- [[Kategori:Satser inom analys]] ...545 byte (89 ord) - 6 september 2022 kl. 08.17
- [[Kategori:Satser inom algebraisk topologi]] ...739 byte (99 ord) - 26 maj 2024 kl. 06.15