Что такое терм в математике
Перейти к содержимому

Что такое терм в математике

  • автор:

Терм (логика)

Необходимо проверить точность фактов и достоверность сведений, изложенных в этой статье.
На странице обсуждения должны быть пояснения.

У этого термина существуют и другие значения, см. Терм.

Терм — выражение формального языка (системы), является формальным именем объекта или именем формы. Понятие терма определяется индуктивно. Термом называется символьное выражение: t(X1, X2, … , Xn), где t — имя терма, называемая функтор или «функциональная буква», а X1, X2, … , Xn — термы, структурированные или простейшие.

В логике первого и второго порядков терм определяется рекурсивно следующим образом:

  1. всякая индивидная константа есть терм;
  2. всякая свободная переменная есть терм;
  3. если f^i— і-местная функциональная константа и t_1, t_2, …, t_i— термы, то f^i(t_1, t_2, . t_i)также есть терм;
  4. термами являются только те выражения, которые получены согласно пп. 1—3
  • Математическая логика

Wikimedia Foundation . 2010 .

Полезное

Смотреть что такое «Терм (логика)» в других словарях:

  • Терм (логика первого порядка) — … Википедия
  • Терм — У термина терм существует несколько значений: Терм (логика) в формальной логике интуитивно определённое выражение формального языка (системы), являющееся формальным именем объекта или именем формы. Спектральный терм в физике … … Википедия
  • ЛОГИКА КЛАССОВ — раздел логики, в котором рассматриваются классы (множества) предметов, задаваемые характеристическими свойствами этих предметов (элементов классов). В совр. логике Л. к. может пониматься как «алгебра множеств», т. е. интерпретироваться… … Философская энциклопедия
  • ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
  • Логика первого порядка — (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего порядка. Содержание 1 … Википедия
  • логика символическая — ЛОГИКА СИМВОЛИЧЕСКАЯ, математическая логика, теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин «Л. с.» был, по видимому, впервые… … Энциклопедия эпистемологии и философии науки
  • Логика предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
  • Логика второго порядка — в математической логике формальная система, расширяющая логику первого порядка[1] возможностью квантификации общности и существования не только над атомами, но и над предикатами. Логика второго порядка несводима к логике первого порядка. В… … Википедия
  • ЛОГИКА ПРЕДИКАТОВ — раздел дедуктивной логики, в котором ведущую роль играет влияние внутренней структуры суждений на логический вывод. Поскольку здесь полностью сохраняется характер связей логики высказываний (см. Логика высказываний ), то Л. п. можно рассматривать … Современный философский словарь
  • теоретическая логика — ЛОГИКА СИМВОЛИЧЕСКАЯ, математическая логика, теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин «Л. с.» был, по видимому, впервые… … Энциклопедия эпистемологии и философии науки
  • Обратная связь: Техподдержка, Реклама на сайте
  • �� Путешествия

Экспорт словарей на сайты, сделанные на PHP,
WordPress, MODx.

  • Пометить текст и поделитьсяИскать в этом же словареИскать синонимы
  • Искать во всех словарях
  • Искать в переводах
  • Искать в ИнтернетеИскать в этой же категории

Значение слова «терм»

  • У термина терм существует несколько значений:

Терм в формальной логике — интуитивно определённое выражение формального языка (системы), являющееся формальным именем объекта или именем формы.

Спектральный терм в физике — электронная конфигурация, определяющая энергетический уровень атома или молекулы.

Терм — столб с изваянием человеческого бюста вверху; у римлян изображали бога Термина, блюстителя границ; с эпохи Возрождения — украшения парков, садов, террас и т. д.

Терм — кормовая единица, выражаемая в количестве «чистой», или физиологически полезной животному, энергии; в США один терм приравнен к 1 Мкал.

Терм (Арденны) — коммуна во Франции, департамент Арденны.

Терм (Лозер) — коммуна во Франции, департамент Лозер.

Терм (Од) — коммуна во Франции, департамент Од.

терм

Делаем Карту слов лучше вместе

Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать Карту слов. Я отлично умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!

Спасибо! Я стал чуточку лучше понимать мир эмоций.

Вопрос: пузырить — это что-то нейтральное, положительное или отрицательное?

Нейтральное
Положительное
Отрицательное

Ассоциации к слову «терм»

Синонимы к слову «терм»

Предложения со словом «терм»

  • А всё потому, что римские термы являлись не только банными помещениями, но и общественными, культурными, спортивными, увеселительными заведениями.

Цитаты из русской классики со словом «терм»

  • Оказалось, что в этих благодатных краях все уже до такой степени процивилизовано, что мне оставалось только преклониться ниц перед такими памятниками, как акведуки (пожарные бассейны), пирамиды (каланчи), термы (народные бани), величественные здания волостных и сельских расправ, вымощенные известковым камнем улицы и проч. и проч.

Сочетаемость слова «терм»

  • римские термы
    в общественных термах
  • кар терма
  • (полная таблица сочетаемости)

Понятия, связанные со словом «терм»

В математике и информатике подстановка — это операция синтаксической замены подтермов данного терма другими термами, согласно определённым правилам. Обычно речь идёт о подстановке терма вместо переменной.

Книга абака (лат. Liber abaci) — главный труд Фибоначчи (Леонардо Пизанского), посвященный изложению и пропаганде десятичной арифметики. Книга написана в 1202 г., вторая переработанная редакция — 1228 г., посвящена Майклу Скоту. До наших дней дошла только вторая версия.

Ве́кторная моде́ль (англ. vector space model) — в информационном поиске представление коллекции документов векторами из одного общего для всей коллекции векторного пространства.

Структурная индукция — конструктивный метод математического доказательства, обобщающий математическую индукцию (применяемую над натуральным рядом) на произвольные рекурсивно определённые частично упорядоченные совокупности. Структурная рекурсия — реализация структурной индукции в форме определения, процедуры доказательства или программы, обеспечивающая индукционный переход над частично упорядоченной совокупностью.

Мультииндекс (или мульти-индекс) — обобщение понятия целочисленного индекса до векторного индекса, которое нашло применение в различных областях математики, связанных с функциями многих переменных. Использование мультииндекса помогает упростить (записать более кратко) математические формулы.

Отправить комментарий

Дополнительно

  • Как правильно пишется слово «терм»
  • Цитаты со словом «терм» (подборка цитат)
  • Перевод слова «терм» и примеры предложений (английский язык)
  • Definition of «term» at WordTools.ai (английский язык)

Терм

Материалы сообщества доступны в соответствии с условиями лицензии CC-BY-SA, если не указано иное.

Advertisement

Наши ресурсы

В социальных сетях

Обзор

  • Что такое Фэндом?
  • О нас
  • Вакансии
  • В прессе
  • Обратная связь
  • Условия использования
  • Конфиден­циальность
  • Закон о цифровых услугах
  • Общая карта сайта
  • Локальная карта сайта
  • Cookie Preferences

Сообщество

  • Вики Сообщества
  • Поддержка
  • Справка
  • Запретить продажу данных

Реклама на сайте

Приложения Фэндома

Оставайтесь в курсе всего происходящего на ваших любимых сообществах.

Математика — это сообщество Фэндома на портале Увлечения.

Что такое терм в мат логике? Можно описать более доступным языком? Перешарила весь Инет не понимаю, что они говорят

Терм — выражение формального языка (системы) специального вида. Понятие терма определяется индуктивно:

всякая индивидная константа есть терм;
всякая свободная переменная есть терм;
если f^i — і-местная функциональная константа и t_1, t_2, …, t_i — термы, то f^i(t_1, t_2, ..t_i) также есть терм.

Остальные ответы

Похожие вопросы

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *