База данных: Каталог ЭБС Университетская библиотека онлайн
Страница 1, Результатов: 9
Отмеченные записи: 0
1.
Подробнее
Труды научно-исследовательского семинара логического центра ИФ РАН [Электронный ресурс] / РАН ИФ ; ред. В. Смирнов. - Москва : Институт философии РАН, 1994 -
. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация.
Выпуск 10 / ред. В. А. Смирнов. - Москва : Институт философии РАН, 1994. - 112 с. - ISBN 5-201-01857-2 : Б. ц.
Аннотация: Статьи сборника написаны на основе докладов, сделанных на семинаре в 1993 году. Главное внимание уделяется семантическому и синтаксическому анализу известных и нестандартных исчислений релевантной и четырехзначной логики, а также сравнению различных формальных реконструкций систем силлогистики. Исследуется исчисление предикатов с универсалиями и предлагается один из возможных методов логической формализации понятий физики.
Доп.точки доступа:
ИФ, РАН
Смирнов, В. \ред.\
Труды научно-исследовательского семинара логического центра ИФ РАН [Электронный ресурс] / РАН ИФ ; ред. В. Смирнов. - Москва : Институт философии РАН, 1994 -
. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация.
Выпуск 10 / ред. В. А. Смирнов. - Москва : Институт философии РАН, 1994. - 112 с. - ISBN 5-201-01857-2 : Б. ц.
Аннотация: Статьи сборника написаны на основе докладов, сделанных на семинаре в 1993 году. Главное внимание уделяется семантическому и синтаксическому анализу известных и нестандартных исчислений релевантной и четырехзначной логики, а также сравнению различных формальных реконструкций систем силлогистики. Исследуется исчисление предикатов с универсалиями и предлагается один из возможных методов логической формализации понятий физики.
Доп.точки доступа:
ИФ, РАН
Смирнов, В. \ред.\
2.
Подробнее
Достоверный и правдоподобный вывод в интеллектуальных системах [Электронный ресурс] : учебное пособие / В. Н. Вагин, Е. Ю. Головина, А. А. Загорянская, М. В. Фомина. - 2-е изд., испр. и доп. - Москва : Физматлит, 2008. - 712 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-0962-8 : Б. ц.
ББК 16.333я73
Кл.слова (ненормированные):
Учебник для высшей школы
Аннотация: Рассматриваются методы достоверного (дедуктивного) и правдоподобного (абдуктивного, индуктивного) выводов в интеллектуальных системах различного назначения. Приводятся методы дедуктивного вывода на графовых структурах. Описываются как классические, так и немонотонные модальные логики: логики убеждения и знания, немонотонные логики Мак-Дермотта и Дойла, автоэпистемические логики Мура, логики умолчания Рейтера. Приводятся основы теории аргументации и методы абдуктивного вывода. Рассматриваются базовые принципы построения систем обучения и принятия решений и даются задачи обучения «без учителя» и «с учителем». Излагаются индуктивные методы для случая с неполной информацией и методы теории приближенных множеств. Во 2-е издание добавлены главы об исчислении высказываний и об исчислении предикатов первого порядка, а также о работе с реальными «зашумленными» базами данных в задаче индуктивного формирования понятий.
Доп.точки доступа:
Вагин, В. Н.
Головина, Е. Ю.
Загорянская, А. А.
Фомина, М. В.
Физматлит
Достоверный и правдоподобный вывод в интеллектуальных системах [Электронный ресурс] : учебное пособие / В. Н. Вагин, Е. Ю. Головина, А. А. Загорянская, М. В. Фомина. - 2-е изд., испр. и доп. - Москва : Физматлит, 2008. - 712 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-0962-8 : Б. ц.
| УДК |
Кл.слова (ненормированные):
Учебник для высшей школы
Аннотация: Рассматриваются методы достоверного (дедуктивного) и правдоподобного (абдуктивного, индуктивного) выводов в интеллектуальных системах различного назначения. Приводятся методы дедуктивного вывода на графовых структурах. Описываются как классические, так и немонотонные модальные логики: логики убеждения и знания, немонотонные логики Мак-Дермотта и Дойла, автоэпистемические логики Мура, логики умолчания Рейтера. Приводятся основы теории аргументации и методы абдуктивного вывода. Рассматриваются базовые принципы построения систем обучения и принятия решений и даются задачи обучения «без учителя» и «с учителем». Излагаются индуктивные методы для случая с неполной информацией и методы теории приближенных множеств. Во 2-е издание добавлены главы об исчислении высказываний и об исчислении предикатов первого порядка, а также о работе с реальными «зашумленными» базами данных в задаче индуктивного формирования понятий.
Доп.точки доступа:
Вагин, В. Н.
Головина, Е. Ю.
Загорянская, А. А.
Фомина, М. В.
Физматлит
3.
Подробнее
Закревский, А. Д.
Логические основы проектирования дискретных устройств [Электронный ресурс] : монография / А. Д. Закревский, Ю. В. Поттосин, Л. Д. Черемисова. - Москва : Физматлит, 2007. - 590 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-0811-9 : Б. ц.
ББК 32.965.6 + 22.18
Аннотация: Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются основы теории графов, исчисления высказываний, логики предикатов, абстрактной булевой алгебры с различными интерпретациями. Особое внимание уделяется задачам комбинаторной оптимизации и разделам логики, важным с точки зрения технических приложений.Предназначается для специалистов в области проектирования дискретных устройств и может быть полезна для студентов и аспирантов, специализирующихся в данном направлении.
Доп.точки доступа:
Поттосин, Ю. В.
Черемисова, Л. Д.
Физматлит
Закревский, А. Д.
Логические основы проектирования дискретных устройств [Электронный ресурс] : монография / А. Д. Закревский, Ю. В. Поттосин, Л. Д. Черемисова. - Москва : Физматлит, 2007. - 590 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-0811-9 : Б. ц.
| УДК |
Аннотация: Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются основы теории графов, исчисления высказываний, логики предикатов, абстрактной булевой алгебры с различными интерпретациями. Особое внимание уделяется задачам комбинаторной оптимизации и разделам логики, важным с точки зрения технических приложений.Предназначается для специалистов в области проектирования дискретных устройств и может быть полезна для студентов и аспирантов, специализирующихся в данном направлении.
Доп.точки доступа:
Поттосин, Ю. В.
Черемисова, Л. Д.
Физматлит
4.
Подробнее
Веретенников, В. Г.
Метод переменного действия [Электронный ресурс] : монография / В. Г. Веретенников, В. А. Синицын. - 2-е изд. - Москва : Физматлит, 2005. - 272 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-0569-9 : Б. ц.
ББК 22.21
Аннотация: В книге рассматриваются метод виртуального варьирования и метод переменного действия как дополняющие друг друга и составляющие общий аналитический подход, который является концептуальным для естествознания. На примере механических систем изучается изменение действия в результате применения виртуального варьирования, при котором из рассмотрения исключаются реакции идеальных связей. Таким образом, создаётся своего рода «инструмент», освоение которого необходимо для учёта ограничений при исследовании несвободных динамических систем.Обосновываются и практически применяются новые и более общие формы принципов. В их числе: принцип освобождаемости и общее уравнение для несвободных динамических систем; принцип наименьшего отклонения, принцип изменяемого действия, включающий интегральный принцип равенства действия и противодействия, вириальный интегральный принцип, интегральный принцип для систем Четаева–Румянцева; принцип изменения нарушения симметрии, используемый при решении проблем инерционности движения и гравитации; принцип предикативности (логической и математической строгости) в механике.Для студентов, аспирантов, научных сотрудников и преподавателей соответствующих специальностей.
Доп.точки доступа:
Синицын, В. А.
Физматлит
Веретенников, В. Г.
Метод переменного действия [Электронный ресурс] : монография / В. Г. Веретенников, В. А. Синицын. - 2-е изд. - Москва : Физматлит, 2005. - 272 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-0569-9 : Б. ц.
| УДК |
Аннотация: В книге рассматриваются метод виртуального варьирования и метод переменного действия как дополняющие друг друга и составляющие общий аналитический подход, который является концептуальным для естествознания. На примере механических систем изучается изменение действия в результате применения виртуального варьирования, при котором из рассмотрения исключаются реакции идеальных связей. Таким образом, создаётся своего рода «инструмент», освоение которого необходимо для учёта ограничений при исследовании несвободных динамических систем.Обосновываются и практически применяются новые и более общие формы принципов. В их числе: принцип освобождаемости и общее уравнение для несвободных динамических систем; принцип наименьшего отклонения, принцип изменяемого действия, включающий интегральный принцип равенства действия и противодействия, вириальный интегральный принцип, интегральный принцип для систем Четаева–Румянцева; принцип изменения нарушения симметрии, используемый при решении проблем инерционности движения и гравитации; принцип предикативности (логической и математической строгости) в механике.Для студентов, аспирантов, научных сотрудников и преподавателей соответствующих специальностей.
Доп.точки доступа:
Синицын, В. А.
Физматлит
5.
Подробнее
Архипов, А. В.
Типология комитативных конструкций [Электронный ресурс] : монография / А. В. Архипов. - Москва : Языки славянской культуры (ЯСК), 2009. - 295 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-9551-0306-8 : Б. ц.
ББК 81
Аннотация: Монография посвящена типологическому исследованию комитативных конструкций на материале более чем 100 языков мира. Комитатив рассматривается как особое средство плюрализации участника ситуации. Дается определение комитативной конструкции, ориентированное на межъязыковое сопоставление структурно различных ее разновидностей. Выделяются параметры варьирования их структуры в языках мира, далее на основе этих параметров описываются возможные модификации комитативных конструкций, используемые в некомитативных функциях. Комитатив рассматривается в ряду других средств множественной референции, а также в связи с взаимными и прочими симметричными предикатами. Приводится инвентарь значений, которые зафиксированы в языках мира у полисемичных комитативных маркеров. Книга адресована специалистам, интересующимся общей теорией языка, типологией, семантикой, сочинительными конструкциями, предикатно-аргументной структурой, механизмами развития полисемии.
Доп.точки доступа:
Издательский, дом
Архипов, А. В.
Типология комитативных конструкций [Электронный ресурс] : монография / А. В. Архипов. - Москва : Языки славянской культуры (ЯСК), 2009. - 295 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-9551-0306-8 : Б. ц.
Аннотация: Монография посвящена типологическому исследованию комитативных конструкций на материале более чем 100 языков мира. Комитатив рассматривается как особое средство плюрализации участника ситуации. Дается определение комитативной конструкции, ориентированное на межъязыковое сопоставление структурно различных ее разновидностей. Выделяются параметры варьирования их структуры в языках мира, далее на основе этих параметров описываются возможные модификации комитативных конструкций, используемые в некомитативных функциях. Комитатив рассматривается в ряду других средств множественной референции, а также в связи с взаимными и прочими симметричными предикатами. Приводится инвентарь значений, которые зафиксированы в языках мира у полисемичных комитативных маркеров. Книга адресована специалистам, интересующимся общей теорией языка, типологией, семантикой, сочинительными конструкциями, предикатно-аргументной структурой, механизмами развития полисемии.
Доп.точки доступа:
Издательский, дом
6.
Подробнее
Успенский, В. А.
Вводный курс математической логики [Электронный ресурс] : учебное пособие / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - Москва : Физматлит, 2007. - 126 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-0278-0 : Б. ц.
ББК 22.12
Аннотация: В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций.Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики.
Доп.точки доступа:
Верещагин, Н. К.
Плиско, В. Е.
Физматлит
Успенский, В. А.
Вводный курс математической логики [Электронный ресурс] : учебное пособие / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - Москва : Физматлит, 2007. - 126 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-0278-0 : Б. ц.
| УДК |
Аннотация: В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций.Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики.
Доп.точки доступа:
Верещагин, Н. К.
Плиско, В. Е.
Физматлит
7.
Подробнее
Марченков, С. С.
Замкнутые классы булевых функций [Электронный ресурс] : монография / С. С. Марченков. - Москва : Физматлит, 2000. - 130 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 5-9221-0066-1 : Б. ц.
ББК 22.176
Аннотация: В книге рассмотрен круг проблем, связанных с замкнутыми классами булевых функций (классами Поста). Изложено новое компактное доказательство конечной порождаемости всех классов Поста и дано описание решетки классов Поста. Рассмотрено предикатное задание классов Поста и приведено определение классов Поста в терминах некоторых стандартных предикатов. Изложены основы теории Галуа для алгебры булевых функций. Введены булевы вектор-функции, с использованием соответствий Галуа решена проблема полноты для класса всех булевых вектор-функций. Рассмотрены некоторые «сильные» операторы замыкания, которые приводят к конечным решеткам замкнутых классов.Для научных сотрудников, работающих в области дискретной математики, а также студентов, изучающих булевы функции.
Доп.точки доступа:
Физматлит
Марченков, С. С.
Замкнутые классы булевых функций [Электронный ресурс] : монография / С. С. Марченков. - Москва : Физматлит, 2000. - 130 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 5-9221-0066-1 : Б. ц.
| УДК |
Аннотация: В книге рассмотрен круг проблем, связанных с замкнутыми классами булевых функций (классами Поста). Изложено новое компактное доказательство конечной порождаемости всех классов Поста и дано описание решетки классов Поста. Рассмотрено предикатное задание классов Поста и приведено определение классов Поста в терминах некоторых стандартных предикатов. Изложены основы теории Галуа для алгебры булевых функций. Введены булевы вектор-функции, с использованием соответствий Галуа решена проблема полноты для класса всех булевых вектор-функций. Рассмотрены некоторые «сильные» операторы замыкания, которые приводят к конечным решеткам замкнутых классов.Для научных сотрудников, работающих в области дискретной математики, а также студентов, изучающих булевы функции.
Доп.точки доступа:
Физматлит
8.
Подробнее
Марченков, С. С.
S-классификация функций трёхзначной логики [Электронный ресурс] : монография / С. С. Марченков. - Москва : Физматлит, 2001. - 80 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 5-9221-0152-8 : Б. ц.
ББК 22.12
Аннотация: S-классификация, базирующаяся на операциях суперпозиции и перехода к двойственным функциям для подстановок из полной симметрической группы, является единственной эффективной классификацией множества функций многозначной логики. Книга посвящена систематическому изложению 5-классифика-ции множества функций трехзначной логики. Дается описание всех 48 5-замкну-тых классов трехзначной логики. В каждом из классов строится конечный базис по суперпозиции. Приводится предикатное определение всех 5-замкнутых классов с помощью конечного числа предикатов некоторого стандартного вида.Для научных работников и преподавателей высшей школы, специализирующихся в области дискретной математики.
Доп.точки доступа:
Физматлит
Марченков, С. С.
S-классификация функций трёхзначной логики [Электронный ресурс] : монография / С. С. Марченков. - Москва : Физматлит, 2001. - 80 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 5-9221-0152-8 : Б. ц.
| УДК |
Аннотация: S-классификация, базирующаяся на операциях суперпозиции и перехода к двойственным функциям для подстановок из полной симметрической группы, является единственной эффективной классификацией множества функций многозначной логики. Книга посвящена систематическому изложению 5-классифика-ции множества функций трехзначной логики. Дается описание всех 48 5-замкну-тых классов трехзначной логики. В каждом из классов строится конечный базис по суперпозиции. Приводится предикатное определение всех 5-замкнутых классов с помощью конечного числа предикатов некоторого стандартного вида.Для научных работников и преподавателей высшей школы, специализирующихся в области дискретной математики.
Доп.точки доступа:
Физматлит
9.
Подробнее
Аверченков, В. И.
Основы математического моделирования технических систем [Электронный ресурс] : учебное пособие / В. И. Аверченков, В. П. Федоров, М. Л. Хейфец. - 4-е изд., стер. - Москва : ФЛИНТА, 2021. - 271 с. : схем., ил., табл. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - Библиогр. в кн. - ISBN 978-5-9765-1278-8 : Б. ц.
ББК 30в631.0я73
Кл.слова (ненормированные):
Учебник для высшей школы
Аннотация: Изложены основы современных методов математического моделирования технических объектов, широко используемых в инженерной практике и научных исследованиях. Рассмотрены общие понятия и определения математического моделирования, приведены классификации моделей и даны рекомендации по их использованию при решении различных задач. Особое внимание уделено построению математических моделей с использованием матриц, теорией множеств и графов, алгебры логики и исчисления предикатов. Рассмотрены элементы и направления применения таких современных средств моделирования и оптимизации, как теория нечетких множеств, нейрокомпьютерное моделирование и генетические алгоритмы. Приведены сведения о современных подходах и оптимизации при математическом моделировании технических систем.Учебное пособие предназначено для студентов инженерных специальностей всех форм обучения, магистров направления 552900 – «Технология, оборудование и автоматизация машиностроительных производств» и аспирантов, выполняющих исследования в области технологии машиностроения, математического моделирования, САПР и автоматизации и управления технологическими процессами и производствами (в машиностроении) (научные специальности 05.02.08, 05.13.18, 05.13.12 и 05.13.06 соответственно).
Доп.точки доступа:
Федоров, В. П.
Хейфец, М. Л.
Флинта, ЭБС,
Флинта, коллекция
Аверченков, В. И.
Основы математического моделирования технических систем [Электронный ресурс] : учебное пособие / В. И. Аверченков, В. П. Федоров, М. Л. Хейфец. - 4-е изд., стер. - Москва : ФЛИНТА, 2021. - 271 с. : схем., ил., табл. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - Библиогр. в кн. - ISBN 978-5-9765-1278-8 : Б. ц.
| УДК |
Кл.слова (ненормированные):
Учебник для высшей школы
Аннотация: Изложены основы современных методов математического моделирования технических объектов, широко используемых в инженерной практике и научных исследованиях. Рассмотрены общие понятия и определения математического моделирования, приведены классификации моделей и даны рекомендации по их использованию при решении различных задач. Особое внимание уделено построению математических моделей с использованием матриц, теорией множеств и графов, алгебры логики и исчисления предикатов. Рассмотрены элементы и направления применения таких современных средств моделирования и оптимизации, как теория нечетких множеств, нейрокомпьютерное моделирование и генетические алгоритмы. Приведены сведения о современных подходах и оптимизации при математическом моделировании технических систем.Учебное пособие предназначено для студентов инженерных специальностей всех форм обучения, магистров направления 552900 – «Технология, оборудование и автоматизация машиностроительных производств» и аспирантов, выполняющих исследования в области технологии машиностроения, математического моделирования, САПР и автоматизации и управления технологическими процессами и производствами (в машиностроении) (научные специальности 05.02.08, 05.13.18, 05.13.12 и 05.13.06 соответственно).
Доп.точки доступа:
Федоров, В. П.
Хейфец, М. Л.
Флинта, ЭБС,
Флинта, коллекция
Страница 1, Результатов: 9