Результати пошуку

'''Чи́слення ви́словів мініма́льне''' (''мінімальна логіка'') — числення висловів, що відрізняється від [[Інтуїціонізм|інтуїціоністського]] тим, що ...якої ф-ли до аксіом мінімального числення висловів давало інтуїціоністське числення висловів. ...

[[Дванадцяткова система числення|дванадцяткової системи числення]]. ...овариства Америки, виступають за ширше використання дванадцяткової системи числення замість десяткової. ...

...ння [[число | чисел]] в [[позиційна система числення | позиційних системах числення]]. ...'' — множина, на яку треба помножити значення розряду в даній системі числення. ...

* У [[Двійкова система числення|бінарній системі числення]] має вигляд 111011100110101100101000000000 . * У [[Шістнадцяткова система числення|шістнадцятковій системі числення]] має вигляд 3B9ACA00. ...

...е число]] <math>p</math> в [[десяткова система числення|десятковій системі числення]] записується як <math>p=a_m10^m+a_{m-1}10^{m-1}+\dots+a_110+a_0</math> (де Теорему можна узагальнити для довільної [[система числення|системи числення]]: ...

...ійним простором буде <math>\mathbb{R}^{3N}</math>. Конфігураційний простір системи <math>N</math> матеріальних точок, що рухаються на многовиді <math>M</math> ...истеми у фіксований момент часу, але для того, щоб повністю визначити стан системи, необхідно задати також вектори ''узагальнених швидкостей'', що лежать у пр ...

{{Числення|expanded=Векторів}} '''Скаля́рне по́ле'''&nbsp;— у [[векторне числення|векторному численні]] [[Числова функція|скалярна функція]] [[простір|просто ...

...144 \times 12 = 1728 </math>. Широко застосовувалася до введення метричної системи. * [[Дванадцяткова система числення]] ...

...я|позиційної системи числення]] називають степені її основи. У цій системі числення такі числа записуються як одиниця з наступними нулями<ref>Sadock, J. M. (19 У [[Десяткова система числення|десятковій системі числення]] круглі числа&nbsp;— це [[10 (число)|10]]₁₀=10¹, [[1 ...

'''Системою числення, або нумерацією,''' називається сукупність правил і знаків, за допомогою як ...ні мати мінімальну кількість цифр. Від вдалого чи невдалого вибору системи числення залежить ефективність розв'язання зазначених задач і її використання на пра ...

...и і задавати закон перетворення координат і базису при переході від однієї системи референції до іншої, при цьому, зрозуміло, перетворення базису повинно бути Найчастіше використовуються так звані природні системи референції, коли вибирається голономний координатний базис, тобто базисні в ...

* [[Алгебраїчна система|Алгебраїчні системи]] ...Ряд (математика)|Ряд]] · [[Границя (математика)|Границя]] · [[Диференційне числення]] ...

...ng-en|googol}})&nbsp;— це число <math>10^{100}</math>, [[Десяткова система числення|десятковий запис]] його містить одиницю та сто нулів. * [[Системи найменувань чисел]] ...

...стей між типами і термами цього числення і формує природну структуру для [[числення конструкцій]]. Ідею λ-куба запропонував [[1991]] року нідерландський логік .... Сорт <math>\ast</math> використовується для звичайних змінних і термів λ-числення, сорт <math>\Box</math>&nbsp;— для змінних і виразів типу. Тому в системах ...

'''Гвинтове числення'''&nbsp;— розділ [[Векторне числення|векторного числення]], в якому вивчаються операції над ''гвинтами''. ...люваний для будь-якої точки простору головним вектором й головним моментом системи відносно цієї точки, називається мотором (сполучення слів "момент" й "векто ...

...number system}})&nbsp;— [[Непозиційні системи числення|непозиційна система числення]]. Представлення числа в системі засноване на [[Китайська_теорема_про_залиш == Недоліки числової системи залишків == ...

{{Системи числення}} ...теми складається з [[Підрядок|префікса]] нега- і назви відповідної системи числення з додатною основою; ...

...я цього використовується апарат [[Диференціальне числення|диференціального числення]]. Параметричні коливання відбуваються коли один з параметрів системи (коефіцієнт диференціального рівняння коливань) змінюється періодично. Прик ...

...на основі [[Поліморфізм (програмування)|поліморфного]] [[Лямбда-числення|λ-числення]] вищого порядку із [[Залежний тип|залежними типами]], розроблена {{Нп|Тьєр Є основою для [[Система інтерактивного доведення|системи інтерактивного доведення]] [[Coq]] та низки подібних інструментів (зокрема, ...

...и коли [[Основа системи числення|основа]] відмінна від [[Десяткова система числення|десяткової]]. Наприклад, єдиним розв'яком для двозначних чисел з основою 4 ...