Результати пошуку
Перейти до навігації
Перейти до пошуку
Збіги в назвах сторінок
- {{unibox}}{{Числення|expanded=Диференціальне}} ...нений характер диференціювання та інтегрування. Створення диференціального числення (разом з інтегральним) відкрило нову епоху у розвитку математики. З цим пов ...19 КБ (769 слів) - 08:56, 15 січня 2025
- ...CCS ({{lang-en|Calculus of Communicating Systems}}). На меті створення π-числення є надання можливості описання [[Конкурентні процеси|конкурентних процесів]] ...ей конкурентних процесів. Насправді, π-числення, як і [[лямбда числення|λ-числення]] настільки мінімальне, що воно не містить таких примітивів, як числа, буле ...11 КБ (441 слово) - 20:27, 4 грудня 2021
- ...на основі [[Поліморфізм (програмування)|поліморфного]] [[Лямбда-числення|λ-числення]] вищого порядку із [[Залежний тип|залежними типами]], розроблена {{Нп|Тьєр ...них конструкцій (із застосуванням [[Коіндукція|коіндукції]]), предикативне числення індуктивних конструкцій (усуває деяку частину [[Непредикативність (математи ...10 КБ (569 слів) - 07:09, 20 листопада 2024
- ''Мовою'' числення висловлень є множина формул, що визначаються [[рекурсія|рекурсивно]] за доп # Алфавіт (елементи множини <math>\Alpha</math>) числення висловлень складається з елементарних висловлень (пропозиційних змінних): < ...25 КБ (914 слів) - 13:37, 25 грудня 2024
- {{Числення|expanded=Спеціалізоване}} '''Дробове числення''' — розділ [[математичний аналіз|математичного аналізу]], що вивчає р ...46 КБ (3485 слів) - 16:22, 12 вересня 2024
- {{Числення|expanded=Спеціалізоване}} Зокрема, саме варіаційне числення почалося із задачі про [[Брахістохрона|брахістрохрону]] ([[крива лінія|крив ...25 КБ (1195 слів) - 23:42, 29 листопада 2023
- ...е здатне уникнути теоретико-множинних парадоксів. Незважаючи на це, лямбда-числення виявилось зручним інструментом в дослідженні обчислюваності функцій, та ляг ...змінюватись із кожною наступною інструкцією. На відміну від цього, лямбда-числення уникає станів, воно має справу з функціями, котрі отримують значення параме ...16 КБ (711 слів) - 17:19, 19 січня 2025
- ...ою скінченною системою допустимих [[підстановка|підстановок]]. Асоціативне числення задається алфавітом і системою допустимих підстановок. == Асоціативне числення слів == ...5 КБ (133 слова) - 00:05, 24 лютого 2023
- '''Системою числення, або нумерацією,''' називається сукупність правил і знаків, за допомогою як ...ні мати мінімальну кількість цифр. Від вдалого чи невдалого вибору системи числення залежить ефективність розв'язання зазначених задач і її використання на пра ...13 КБ (218 слів) - 22:47, 12 січня 2025
- {{Числення|expanded=Векторів}} '''Векторне числення''' — область [[математичний аналіз|математичного аналізу]], в якій вив ...25 КБ (866 слів) - 16:09, 27 лютого 2025
- '''Кубічне числення''' - є [[Математичний апарат|математичним апаратом]], який використовується ...евих функцій і операції над кубами в цьому представленні утворюють кубічні числення == ...18 КБ (442 слова) - 03:48, 30 січня 2023
- ...нцен|Ґергардом Ґенценом]]. Після праці Ґенцена розроблено кілька варіантів числення секвенцій, що є еквівалентними між собою і альтернативою аксіоматичному під ...ю системою формального виводу до аксіоматичних систем описаних у статтях [[Числення висловлень]] і [[Логіка першого порядку]]. Формули логіки першого порядку д ...7 КБ (500 слів) - 13:38, 25 грудня 2024
- '''Гвинтове числення''' — розділ [[Векторне числення|векторного числення]], в якому вивчаються операції над ''гвинтами''. ...4 КБ (197 слів) - 23:44, 8 червня 2022
- ...ення|числень]], який запропонував американський математик [[Еміль Пост]]. Числення Поста можна розглядати як математичне уточнення інтуїтивного поняття [[алго ; <math>A</math> : алфавіт числення, ...5 КБ (208 слів) - 14:32, 26 квітня 2020
- ...слення|іонійської системи нумерації]]. Також існувала [[глаголична система числення]]. Інші назви — «кирилична система числення», «бу́квена ци́фір»<ref>{{Cite web|url = http://dspace.nbuv.gov.ua/bitstrea ...33 КБ (1221 слово) - 20:34, 25 січня 2025
- ...числення''' '''[[Фібоначчі]]''' — [[Система числення|змішана система числення]] для [[Цілі числа|цілих чисел]] на основі [[Числа Фібоначчі|чисел Фібоначч у {{Comment|СЧФ|Система числення Фібоначчі}} ...15 КБ (902 слова) - 11:38, 7 листопада 2024
- '''Чи́слення ви́словів мініма́льне''' (''мінімальна логіка'') — числення висловів, що відрізняється від [[Інтуїціонізм|інтуїціоністського]] тим, що ...якої ф-ли до аксіом мінімального числення висловів давало інтуїціоністське числення висловів. ...2 КБ (33 слова) - 04:47, 2 жовтня 2023
- ...а [[двадцяткова система числення|двадцятковій]] [[система числення|системі числення]] (за основою [[20]]), що використовувалася [[Мая (цивілізація)|цивілізаціє У «довгому рахунку» календаря мая був використаний різновид 20-кової системи числення, в якій другий розряд міг містити тільки цифри від 0 до 17, після чого до т ...9 КБ (395 слів) - 16:39, 27 грудня 2024
- У [[Логіка|логіці]], '''одномісне числення предикатів''' — це фрагмент [[Логіка першого порядку|логіки першого порядку Одномісне числення предиката може бути протиставлене з поліадичним численням предиката, яке до ...7 КБ (173 слова) - 17:40, 8 лютого 2025
- '''Числення Іто''' — математична теорія, що описує методи маніпулювання з [[Випадк ...я броунівського руху не можна описати стандартними техніками інтегрального числення. Зокрема, броунівський рух не є інтегрованою функцією в кожній точці шляху ...22 КБ (3250 слів) - 19:36, 19 березня 2025
Збіги в текстах сторінок
- '''Чи́слення ви́словів мініма́льне''' (''мінімальна логіка'') — числення висловів, що відрізняється від [[Інтуїціонізм|інтуїціоністського]] тим, що ...якої ф-ли до аксіом мінімального числення висловів давало інтуїціоністське числення висловів. ...2 КБ (33 слова) - 04:47, 2 жовтня 2023
- [[Дванадцяткова система числення|дванадцяткової системи числення]]. ...овариства Америки, виступають за ширше використання дванадцяткової системи числення замість десяткової. ...2 КБ (21 слово) - 22:01, 26 серпня 2019
- == Запис числа в інших системах числення == * 131 в [[система числення|системах числення]]: ...3 КБ (42 слова) - 07:45, 10 червня 2022
- ...ння [[число | чисел]] в [[позиційна система числення | позиційних системах числення]]. ...'' — множина, на яку треба помножити значення розряду в даній системі числення. ...3 КБ (69 слів) - 09:20, 18 січня 2023
- {{Числення|expanded=Векторів}} '''Градієнтна теорема''', або '''фундаментальна теорема числення для криволінійних інтегралів''', стверджує, що [[криволінійний інтеграл]] н ...2 КБ (57 слів) - 08:14, 1 вересня 2023
- * У [[Двійкова система числення|бінарній системі числення]] має вигляд 111011100110101100101000000000 . * У [[Шістнадцяткова система числення|шістнадцятковій системі числення]] має вигляд 3B9ACA00. ...3 КБ (79 слів) - 08:47, 17 березня 2024
- ...е число]] <math>p</math> в [[десяткова система числення|десятковій системі числення]] записується як <math>p=a_m10^m+a_{m-1}10^{m-1}+\dots+a_110+a_0</math> (де Теорему можна узагальнити для довільної [[система числення|системи числення]]: ...3 КБ (229 слів) - 23:03, 13 грудня 2024
- ...їхньому записі у вигляді нескінченного дробу в [[система числення|системі числення]] за основою n кожен знак (більше того, будь-яка група цифр фіксованого роз ...1 КБ (26 слів) - 23:26, 9 січня 2021
- {{Числення|expanded=Векторів}} '''Скаля́рне по́ле''' — у [[векторне числення|векторному численні]] [[Числова функція|скалярна функція]] [[простір|просто ...3 КБ (31 слово) - 10:34, 27 червня 2024
- ...ийсь код, найбільше схожий на [[Двійкова система числення|двійкову систему числення]].<ref name="http://www.lenta.ru/world/2003/06/23/inca/">[http://www.lenta. * [[Двійкова система числення]] ...4 КБ (98 слів) - 11:56, 3 жовтня 2024
- {{Числення|expanded=Векторів}} [[Категорія:Векторне числення]] ...2 КБ (58 слів) - 16:27, 3 лютого 2025
- ...ення|числень]], який запропонував американський математик [[Еміль Пост]]. Числення Поста можна розглядати як математичне уточнення інтуїтивного поняття [[алго ; <math>A</math> : алфавіт числення, ...5 КБ (208 слів) - 14:32, 26 квітня 2020
- ...я|позиційної системи числення]] називають степені її основи. У цій системі числення такі числа записуються як одиниця з наступними нулями<ref>Sadock, J. M. (19 У [[Десяткова система числення|десятковій системі числення]] круглі числа — це [[10 (число)|10]]<sub>10</sub>=10<sup>1</sup>, [[1 ...6 КБ (297 слів) - 23:20, 14 лютого 2025
- ...ng-en|googol}}) — це число <math>10^{100}</math>, [[Десяткова система числення|десятковий запис]] його містить одиницю та сто нулів. * [[Система числення]] ...3 КБ (32 слова) - 15:29, 5 січня 2024
- ...нга''' — [[натуральне число]], яке в даній [[Система числення|системі числення]] дорівнює сумі своїх цифр, піднесених до степеня, що дорівнює кількості йо ...ath> — число, що записується <math>d_kd_{k-1}... d_1</math> в системі числення з основою ''b''. ...4 КБ (120 слів) - 20:46, 15 березня 2020
- [[Категорія:Диференціальне числення]] ...827 байтів (9 слів) - 13:26, 9 червня 2024
- == Формулювання для числення висловлень == ..._{m}</math> — логічні формули (формальної теорії <math>L</math> для [[числення висловлень]]), <math>A \vdash B</math> означає, що формула <math>B</math> в ...4 КБ (133 слова) - 09:56, 11 березня 2022
- '''Системою числення, або нумерацією,''' називається сукупність правил і знаків, за допомогою як ...ні мати мінімальну кількість цифр. Від вдалого чи невдалого вибору системи числення залежить ефективність розв'язання зазначених задач і її використання на пра ...13 КБ (218 слів) - 22:47, 12 січня 2025
- {{Main|лямбда-числення}} * [[Асоціативне числення]] ...3 КБ (277 слів) - 00:03, 24 лютого 2023
- ...ою скінченною системою допустимих [[підстановка|підстановок]]. Асоціативне числення задається алфавітом і системою допустимих підстановок. == Асоціативне числення слів == ...5 КБ (133 слова) - 00:05, 24 лютого 2023