Предлагается натуральный вариант типового лямбда-исчисления понятий как функциональных абстрактов в духе Фреге. Дается общая характеристика подхода, разъясняется функциональная трактовка понятия, характеризуется ее когнитивно-феноменологическая интерпретация. Приводится формулировка исчисления как такового и обсуждается смысл некторых правил вывода. В заключительной части статьи очерчивается перспектива исследований в данной области
У статті проаналізовано морфологію та лексико-семантичні особливості бінарних терміносполук. Встанов...
У навчальному посібнику викладено основні теми курсу диференціального числення функції однієї змінно...
41-45В статье показаны пути формирования целостной математической картины мира. В истории математики...
Предлагается натуральный вариант типового лямбда-исчисления понятий как функциональных абстрактов в ...
Учеб.-метод. пособие [для студентов напр. 010100.68 «Математика», 010200.68 «Математика и компьютерн...
У посібнику містяться основні означення, теореми і формули розділів: «Похідна», «Геометричний та фіз...
У статті розглянуто роль математичної підготовки для узагальнення знань із фізики слухачів підготовч...
Методическое пособие содержит методику расчета электрических цепей с источниками постоянных, сину...
У посібнику розглянуто первісні функції, найпростіші правила знаходження первісних, визначений інтег...
Статья посвящена исследованию аналитических продолжений мономиальной функции координат решения приве...
Развивается принадлежащее автору многомерное функциональное исчисление генераторов полугрупп, основа...
Данная часть представляет собой сборник компьютерных занятий и имеет ориентацию на контролируемую са...
В работе рассматривался гидравлический контур с переменными параметрами и изотермическим потокораспр...
В статье описывается подход к разработке вопросно-ответных обучающих систем на основе контролируемых...
Методическое указание содержит ряд начальных сведений по использованию автоматизированной системы ма...
У статті проаналізовано морфологію та лексико-семантичні особливості бінарних терміносполук. Встанов...
У навчальному посібнику викладено основні теми курсу диференціального числення функції однієї змінно...
41-45В статье показаны пути формирования целостной математической картины мира. В истории математики...
Предлагается натуральный вариант типового лямбда-исчисления понятий как функциональных абстрактов в ...
Учеб.-метод. пособие [для студентов напр. 010100.68 «Математика», 010200.68 «Математика и компьютерн...
У посібнику містяться основні означення, теореми і формули розділів: «Похідна», «Геометричний та фіз...
У статті розглянуто роль математичної підготовки для узагальнення знань із фізики слухачів підготовч...
Методическое пособие содержит методику расчета электрических цепей с источниками постоянных, сину...
У посібнику розглянуто первісні функції, найпростіші правила знаходження первісних, визначений інтег...
Статья посвящена исследованию аналитических продолжений мономиальной функции координат решения приве...
Развивается принадлежащее автору многомерное функциональное исчисление генераторов полугрупп, основа...
Данная часть представляет собой сборник компьютерных занятий и имеет ориентацию на контролируемую са...
В работе рассматривался гидравлический контур с переменными параметрами и изотермическим потокораспр...
В статье описывается подход к разработке вопросно-ответных обучающих систем на основе контролируемых...
Методическое указание содержит ряд начальных сведений по использованию автоматизированной системы ма...
У статті проаналізовано морфологію та лексико-семантичні особливості бінарних терміносполук. Встанов...
У навчальному посібнику викладено основні теми курсу диференціального числення функції однієї змінно...
41-45В статье показаны пути формирования целостной математической картины мира. В истории математики...