Вынікі пошуку
Перайсці да навігацыі
Перайсці да пошуку
- ...{lang-la|praedicare}} — абвяшчаць, заяўляць, прысуджаць) у сучаснай [[Логіка|логіцы]] звычайна азначае булевазначную функцыю P: X→ {0, 1}, называецца пр [[Катэгорыя:Матэматычная логіка]] ...3 KB (54 словы) - 12:38, 12 жніўня 2023
- # ''Аксіёма [[Матэматычная індукцыя|індукцыі]]'': === Матэматычная === ...4 KB (148 слоў) - 03:46, 3 жніўня 2021
- [[Катэгорыя:Матэматычная логіка]] ...3 KB (88 слоў) - 14:06, 17 сакавіка 2021
- '''Матэматычная індукцыя''' — у [[матэматыка|матэматыцы]] — адзін з метадаў [[Матэматычны д [[Катэгорыя:Матэматычная логіка]] ...5 KB (199 слоў) - 18:50, 30 кастрычніка 2023
- ...мова|фармальных мовах|ru|Формальный язык}}, што ўжываюцца ў [[Матэматычная логіка|матэматычнай логіцы]] і {{нп3|Тэарэтычная інфарматыка|тэарэтычнай інфарматы ...6 KB (86 слоў) - 04:49, 2 жніўня 2021
- ...ўласцівасці ([[тэарэма|тэарэмы]]). Гэтая [[тэорыя]] ў сукупнасці ўтварае [[Матэматычная мадэль|матэматычную мадэль]] доследнага аб’екта. Такім чынам, першапачатков ...займаюць пагранічнае з матэматыкай становішча. У прыватнасці, [[фармальная логіка]] можа разглядацца і як частка [[філасофія|філасофскіх навук]], і як частка ...39 KB (1 слова) - 20:19, 16 мая 2024
- ...ў алгебраічных структурах, але і ў [[Тапалогія|тапалогіі]], [[Матэматычная логіка|логіцы]], [[Тэорыя мностваў|тэорыі мностваў]]. ...яй мадэлей узнік новы раздзел алгебры, сумежны з алгебрай і [[матэматычная логіка|матэматычнай логікай]], — [[тэорыя алгебраічных сістэм]], якая вывучае мнос ...30 KB (206 слоў) - 11:10, 12 снежня 2024
- ...даленых» элементаў, у [[тэорыя мностваў|тэорыі мностваў]] і [[матэматычная логіка|матэматычнай логіцы]] пры вывучэнні «[[бесканечнае мноства|бесканечных мнос ...21 KB (1 слова) - 08:53, 12 снежня 2024
- ...r=John Wiley & Sons |year=2018 |isbn=978-1-118-77104-4 |page=227 }}</ref>. Логіка метаду адначасова інтуіцыйная і гнуткая, таму ён стаў дамінуючым сродкам {{ ...максімальнай праўдападобнасці можа быць знойдзена толькі з дапамогай {{нп5|Матэматычная аптымізацыя|лікавай аптымізацыі|en|Mathematical optimization}}. Іншая прабл ...38 KB (1 899 слоў) - 12:34, 15 красавіка 2024
- |загаловак = Матэматычная энцыклапедыя ...ref>; {{ДН|1|7|1646|21|6}} — {{ДС|14|11|1716}}) — саксонскі [[філосаф]], [[логіка|логік]], [[матэматык]], [[механік]], [[фізік]], [[юрыст]], [[гісторык]], [[ ...95 KB (1 854 словы) - 12:02, 30 верасня 2024
- ...іжэйшай ці практычнай арыфметыкі<ref name="ebse"/>, тады як [[Матэматычная логіка|лагічны аналіз]] паняцця ліку адносяць да тэарэтычнай арыфметыкі<ref name=" ...відавочным чынам выконваюцца для малых лікаў, і выкарыстоўваючы правіла [[Матэматычная індукцыя|індукцыі]], можна прыйсці да вываду, што яны выконваюцца для ўсіх ...130 KB (2 433 словы) - 04:58, 3 студзеня 2025
- ...аснаваныя на імавернасных метадах. [[Карл Пірсан]] распрацаваў алгарытмы [[Матэматычная статыстыка|матэматычнай статыстыкі]], шырока і паўсюдна ўжываныя для аналіз ...рацягваў удасканальвацца. Асноўнаю галіною яе прымянення ў той перыяд была матэматычная апрацоўка вынікаў назіранняў, у якіх ўтрымліваліся выпадковыя хібнасці, а т ...116 KB (1 130 слоў) - 12:15, 11 снежня 2024