«Універсальна арифметика» (або «Загальна арифметика», лат. Arithmetica Universalis) — монографія Ісаака Ньютона, вперше опублікована 1707 року латинською...

Арифме́тика, або аритме́тика (дав.-гр. ἀριϑμητική — мистецтво лічби, вчення про числа, від дав.-гр. αριθμός — число) — наука про числа, їхні властивості...

boiteux») — роман французького письменника Алена Рене Лесажа. «Універсальна арифметика» (лат. «Arithmetica Universalis») — монографія Ісаака Ньютона....

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

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

із універсального сімейства, що відображає: цілі числа [ p ] ↦ [ m ] {\displaystyle [p]\mapsto [m]} . Використовуючи властивості модульної арифметики, наведене...

Mitridate Eupatore Ісаак Ньютон видає збірник математичних робіт «Універсальна арифметика». Наведені в ньому чисельні методи ознаменували народження нової...

Обласна універсальна наукова бібліотека імені Д. І. Чижевського (ОУНБ) — книгозбірня в Кропивницькому, одна з найстаріших в Україні, найбільша в регіоні...

Арифметико-логічний пристрій (АЛП) (англ. arithmetic logic unit, ALU) — блок процесора, що служить для виконання арифметичних та логічних перетворень над...

у сфері просторових відношень (землеміряння — геометрії) і обчислень (арифметики), для практичних потреб людини рахувати, обчислювати, вимірювати, досліджувати...

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

80-річний Робінсон опублікував працю «Мала універсальна машина Тюрінга по Мінському», в якій описав універсальну машину Тюрінга, в програмі якої було всього...

Порожня множина μ ∅ ( x ) = 0 {\displaystyle \mu _{\varnothing }(x)=0} , універсальна множина μ ℧ ( x ) = 1 {\displaystyle \mu _{\mho }(x)=1} . Якщо μ A {\displaystyle...

суто теоретичних, так і в практичних галузях науки. Докладніше: Історія арифметики Розв'яжемо задачу: «Вік трьох братів 30, 20 і 6 років. Через скільки років...

змінним приймати значення будь-якого знака . У монографії Ньютона «Універсальна арифметика» (1707) використовуються позначення Декарта і знак рівності Рекорда...

(уперше — Річардом Монтегю), що ці схеми не можуть бути усунені. Тому арифметика Пеано і ZFC не можуть бути скінченно аксіоматизованими. Це також актуально...

формальна арифметика є несуперечливою, то в ній існує невивідна і неспростовна формула. Друга теорема стверджує, що якщо формальна арифметика є несуперечливою...

Цей висновок мав величезне значення для математики, оскільки формальна арифметика (а на ній базується теорія дійсних чисел, без якої не можна уявити сучасну...

операцій примітивної рекурсії над множинами. Тарський і Шмелев показали, що арифметика Робінсона[en] може інтерпретуватись в слабкій теорії множин з аксіомами:...

визначний науковець X століття. Впровадив у Європі знання арабів про арифметику, астрономію та астрологію. Перший папа — француз за походженням. Ґерберт...

твір про арифметику був дуже популярний в Європі, ім'я автора стало прозивним — середньовічні європейські математики так називали арифметику, засновану...

галерея Єльського університету, Нью-Гейвен «Мінерва між геометрією та арифметикою», 1551, Палац Бальбі, Венеція «Містичний шлюб Святої Катерини», 1555...

Близько 1637 року французький математик П'єр Ферма на полях книги Діофанта "Арифметика»[en] сформулював теорему так: Зустрічаються вужчі варіанти формулювання...

Аналітична теорія чисел — Англійські математики — Арабські математики — Арифметика — Арифметика із рухомою комою — Арифметичні операції — Арифметичні функції —...

описує основу основ математики — формальної арифметики. Перша теорема стверджує: якщо формальна арифметика несуперечлива, то вона неповна. Друга теорема...

«архітектура load-store», позаяк система команд такої архітектури не включає арифметико-логічних операцій з операндами у пам'яті. Для будь-якого оброблення даних...

Modulo Theories), що включає, наприклад, теорію списків, масивів, лінійної арифметики, неінтерпретованих функцій і т. д. лінійні і нелінійні рівняння і їхні...

Курт Гедель довів, що несуперечність аксіом арифметики не можна довести, виходячи із самих аксіом арифметики Згідно з Ровом (Rowe) і Греєм (Gray) (див....

Веселка, 1969. [Архівовано 10 лютого 2015 у Wayback Machine.] Казка «Арифметика» [Архівовано 14 квітня 2016 у Wayback Machine.] Казка «Вовк та собака»...

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

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