Фундаментальная библиотека ФГБОУ ВО СПХФУ Минздрава России

Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A

Главная

ИРБИС64+

Упрощенный режим

Описание

Базы данных

ЭБС IPRBooks- результаты поиска

Вид поиска

Электронный каталог

Картотека журнальных статей

Систематический имидж-каталог

Авторефераты диссертаций

Учебники и учебно-методические пособия СПХФУ

ЭБС IPRBooks

ЭБС Консультант студента

ЭБС Юрайт

Диссертации, защищенные в СПХФУ

Журнальный фонд СПХФУ

Библиотечный фонд техникума

ВКР

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=логическое исчисление<.>)

Общее количество найденных документов : 2
Показаны документы с 1 по 2

Вид документа : Однотомное издание
Шифр издания : 88167
Автор(ы) : Васюков В. Л.
Заглавие : Квантовая логика
Выходные данные : Москва, Саратов: ПЕР СЭ, Ай Пи Эр Медиа, 2019
Колич.характеристики :192 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4486-0856-8: Б.ц.
УДК : 510
ББК : 22.12
Ключевые слова (''Своб.индексиров.''): бесконечнозначная логика--квантовая динамика--квантовая импликация--квантовая логика--логика лукасевича--логическое исчисление--ортологика времени--ортомодулярность--стрелка сасаки--топос
Аннотация: Книга посвящена квантовой логике — интердисциплинарной области науки, интересующей физиков, математиков, логиков и философов. Квантовая логика рассматривается автором монографии, прежде всего, с точки зрения логических исчислений и логической техники. Главное внимание уделяется синтаксической реконструкции систем квантовой логики и построению различного рода абстрактных семантик для полученных систем. Философские вопросы, возникающие в процессе построения систем квантовой логики, например, природы времени в квантовом мире, рассматриваются и решаются сквозь призму неклассических методов современной логики. Вместе с тем в книге кратко описывается история квантовой логики и дается обзор современных направлений исследований в этой области. Особый интерес представляют последние три главы книги, посвященные построенной автором так называемой квантовой логике наблюдаемых, призванной преодолеть разрыв между используемыми в большинстве квантовологических исследований формализмами и математическим аппаратом современной квантовой теории.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 23098
Автор(ы) : Гарькина И. А., Данилов А. М., Круглова А. Н.
Заглавие : Математика. Часть I. Справочные материалы и тесты по модулям: Учебное пособие для студентов-заочников. Математика. Часть I. Справочные материалы и тесты по модулям
Выходные данные : : Пензенский государственный университет архитектуры и строительства, ЭБС АСВ Б.м., 2013
Колич.характеристики :328 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-9282-0920-9: Б.ц.
УДК : 51
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): математика--линейная алгебра--математический анализ--дискретная математика--логическое исчисление
Аннотация: Предлагаемое пособие подготовлено в соответствии с «Федеральным государственным образовательным стандартом высшего профессионального образования» по направлению подготовки 190600 –Эксплуатация транспортно-технологических машин и комплексов; квалификация (степень) – бакалавр. Первая часть пособия содержит контрольные задания в виде тестов по каждому модулю с решениями примерных вариантов и справочные теоретические материалы. Оно может использоваться при планировании, организации и проведении рейтинговой оценки, текущего контроля успеваемости и промежуточной аттестации студентов по математике. Пособие может полезным и для подготовки бакалавров по другим направлениям в технических вузах.
(для доступа требуется авторизация)

Тематический навигатор

Статистика обращений

Статистика за 19.08.2024
Число запросов	0
Число посетителей	0
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)