- Абстракція - результат уявного відволікання (абстрагування) тих чи інших певних властивостей від безлічі властивостей даного об'єкту.
- Аксіома - твердження, прийняте без доведення, що є вихідним для доведення інших тверджень і для непрямого визначення первинних понять.
- Алгоритм - набір інструкцій, які описують порядок дій виконавця для досягнення результату розв'язання задачі за скінченну кількість дій; система правил виконання скінченного процесу, яка досягає поставленої мети за скінченний час.
- Арифметика - наука про числа і операції над ними. У початковому курсі математики (I-ІV класи) вивчаються основи арифметики.
А
Б
- Вид - кожен клас об'єктів, який входить в обсяг більш широкого класу об'єктів.
- Видове поняття - поняття, що входить до складу більш загального поняття, яке називається родовим.
- Видова ознака - властивість, що відрізняє об'єкти одного виду від об'єктів інших видів, що входять в один і той же рід.
- Властивість - те, що притаманне об'єкту, що відрізняє його від інших об'єктів або робить його схожими на інші об'єкти.
В
- Генетичне визначення - визначення, в якому вказується спосіб створення (побудови) об'єктів певного поняття.
Г
- Доведення (Встановлення, Обгрунтування) істинності висловлювання (судження, твердження) - це логічна дія, в процесі якої істинність даного висловлювання обгрунтовується за допомогою інших висловлювань. Доведення - це ланцюжок правильних висновків, що йдуть від аксіом або раніше доведених теорем до тієї теореми, що доводиться.
Д
- Евристика -
1. Наука, що вивчає закономірності пошуку вирішення завдань.
2. Прийом (правило) пошуку вирішення завдань.
Е
- Змінна (Змінна величина) - величина, яка приймає різні значення.
Зміст поняття - сукупність властивостей, притаманних усім об'єктам даного поняття.
З
- Ідеальний (абстрактний) об'єкт - неіснуючий реально, але відображає певні властивості (наприклад, форму) деяких реальних об'єктів і служить для наукового вивчення цих реальних об'єктів.
- Індуктивне визначення - таке визначення поняття, яке дозволяє з деяких вихідних об'єктів шляхом застосування до них певних операцій будувати інші об'єкти цього поняття.
І
- Класифікація - розподіл об'єктів деякого роду на види; розподіл обсягу поняття на види.
- Кількість - сукупність властивостей, що вказують на величину предмета, його розмір.
К
- Логічне мислення - правильне мислення, що здійснюється за законами логіки.
Л
- Математичний апарат - сукупність тверджень (теорем, аксіом, формул і т. д.) у математиці, що дають можливість будувати математичні моделі в різних науках і розв'язувати різні завдання.
- Математичний метод - метод (загальний спосіб, шлях) математичного вивчення закономірностей природи і суспільства. Зокрема, сукупність правил і прийомів побудови математичних моделей реальних явищ і процесів.
- Математична мова - система математичних знаків і символів, операції з якими здійснюються за особливими правилами, які встановлені в математиці.
- Метод - шлях, спосіб дослідження або вивчення об'єктів (явищ), загальний спосіб вирішення будь-яких завдань.
- Модель - об'єкт, подібний іншому об'єкту (оригіналу), що служить для вивчення (дослідження) оригіналу. Наприклад, креслення деталі машини є модель цієї деталі.
М
- Наслідок - судження, що виходить в результаті умовиводів з одного або декількох суджень.
Н
- Об'єкт - те, що є предметом розгляду, вивчення, впливу.
- Обсяг поняття - сукупність (безліч) об'єктів, що входять в дане поняття.
- Ознака - властивість об'єктів поняття, по якому їх відрізняють від об'єктів інших понять.
- Означення (Визначення) поняття - логічна операція, в процесі якої розкривається зміст поняття.
О
- Поняття - цілісна сукупність суджень про відмінні властивості об'єктів деякого класу.
П
Р
- Софізм - навмисне помилкове міркування, яке видається за дійсне.
- Судження - форма думки, в якій стверджується або заперечується що небудь щодо об'єктів (предметів, явищ). Судження можуть бути істинними або помилковими.
С
- Твердження - судження, що виражає загальну властивість деякого поняття.
- Теорема - твердження, яке потрібно довести.
Т
- Умовивід - логічна дія, в результаті якої з одного або декількох відомих суджень отримують нове судження, що містить нове знання.
У