Результати пошуку
Перейти до навігації
Перейти до пошуку
Збіги в назвах сторінок
- {{unibox}}{{Числення|expanded=Диференціальне}} ...нений характер диференціювання та інтегрування. Створення диференціального числення (разом з інтегральним) відкрило нову епоху у розвитку математики. З цим пов ...19 КБ (769 слів) - 08:56, 15 січня 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
- ...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
- {{Системи числення}} ...а числення''' — це [[позиційна система числення|позиційна]] [[система числення]] із основою 10, кожне [[число]] в якій записується за допомогою 10-ти симв ...13 КБ (251 слово) - 23:21, 29 листопада 2023
- {{Системи числення}} ''' Шістдесяткова систе́ма чи́слення''' — це [[позиційна система числення]] з основою [[60 (число)|шістдесят]]. ...8 КБ (260 слів) - 08:43, 22 листопада 2024
- {{Числення|expanded=Багатьох змінних}} ...адку обчислення [[функція|функцій]] із багатьма змінними: [[Диференціальне числення|диференціювання]] і [[Інтеграл|інтегрування]] функцій, що мають багато змін ...13 КБ (468 слів) - 11:28, 5 квітня 2024
- {{Системи числення}} '''Двійкова [[система числення]]''' — це [[позиційна система числення]], база якої дорівнює двом та використовує для запису чисел тільки два симв ...29 КБ (520 слів) - 16:10, 18 листопада 2024
- {{Системи числення}} ...ва [[Непозиційні_системи_числення|непозиційна]] [[Система_числення|система числення]], яку використовували у [[Стародавній_Єгипет|Стародавньому Єгипті]], почин ...12 КБ (832 слова) - 01:18, 28 грудня 2024
- ...слення|іонійської системи нумерації]]. Також існувала [[глаголична система числення]]. Інші назви — «кирилична система числення», «бу́квена ци́фір»<ref>{{Cite web|url = http://dspace.nbuv.gov.ua/bitstrea ...33 КБ (1221 слово) - 20:34, 25 січня 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