символ переменной
1символ переменной — kintamojo simbolis statusas T sritis automatika atitikmenys: angl. variable symbol vok. Variablensymbol, n rus. символ переменной, m pranc. symbole de variable, m …
2Символ Кронекера — Якоби — Не следует путать с Символ Кронекера. Символ Кронекера Якоби функция, используемая в теории чисел. Иногда называют символом Лежандра Якоби Кронекера или просто символом Кронекера. Является обобщением символов Лежандра и Якоби. Символ Лежандра… …
3Символ доллара — Запрос «$» перенаправляется сюда; см. также другие значения. $ Символ (знак) доллара ($)  символ, обозначающий доллар, песо, эскудо и некоторые другие валюты различных стран, из которых наиболее известной является доллар США. В испаноязычных …
4Хеш символ — # Октоторп символ (#), также называемый «решёткой», «хешем», «диезом» (или «шарпом» (англ. sharp) из за внешнего сходства этих двух символов), «знаком номера», «клопом» или «знаком фунта» (в США). Содержание 1 Этимология …
5Логика первого порядка — (исчисление предикатов)  формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего порядка. Содержание 1 …
6Исчисление предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… …
7Исчисления предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… …
8Логика предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… …
9Предикатная логика — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… …
10Логика второго порядка — в математической логике  формальная система, расширяющая логику первого порядка[1] возможностью квантификации общности и существования не только над атомами, но и над предикатами. Логика второго порядка несводима к логике первого порядка. В… …