Портал:Вміст/Математика і логіка

Вміст Вікіпедії: Математика і логіка

A Chinese abacus.
Математика це наука про числення. Вона також досліджує моделі і відносини, включаючи такі поняття як кількість, структура, простір, невизначеність, і зміни.

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


Сторінки вмісту Вікіпедії