Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A
Главная ИРБИС64+ Упрощенный режим Описание
Авторизация
Логин
Пароль
 

Базы данных


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

Вид поиска
Электронный каталог
Картотека журнальных статей
Систематический имидж-каталог
Авторефераты диссертаций
Учебники и учебно-методические пособия СПХФУ
ЭБС IPRBooks
ЭБС Консультант студента
ЭБС Юрайт
Диссертации, защищенные в СПХФУ
Журнальный фонд СПХФУ
Библиотечный фонд техникума
ВКР
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=логическое исчисление<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.
IPRBooks-23098
23098

    Математика. Часть I. Справочные материалы и тесты по модулям [Электронный ресурс] : учебное пособие для студентов-заочников. - [Б. м.] : Пензенский государственный университет архитектуры и строительства, ЭБС АСВ, 2013 - .Математика. Часть I. Справочные материалы и тесты по модулям / Гарькина И. А. - 2013. - 328 с. - ISBN 978-5-9282-0920-9 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
51
ББК 22.1

Кл.слова (ненормированные):
математика -- линейная алгебра -- математический анализ -- дискретная математика -- логическое исчисление
Аннотация: Предлагаемое пособие подготовлено в соответствии с «Федеральным государственным образовательным стандартом высшего профессионального образования» по направлению подготовки 190600 –Эксплуатация транспортно-технологических машин и комплексов; квалификация (степень) – бакалавр. Первая часть пособия содержит контрольные задания в виде тестов по каждому модулю с решениями примерных вариантов и справочные теоретические материалы. Оно может использоваться при планировании, организации и проведении рейтинговой оценки, текущего контроля успеваемости и промежуточной аттестации студентов по математике. Пособие может полезным и для подготовки бакалавров по другим направлениям в технических вузах.

(для доступа требуется авторизация)


Доп.точки доступа:
Данилов, А. М.; Круглова, А. Н.
Свободных экз. нет
Найти похожие
2.
IPRBooks-88167
88167

    Васюков, В. Л.
    Квантовая логика [Электронный ресурс] / Васюков В. Л. - Москва, Саратов : ПЕР СЭ, Ай Пи Эр Медиа, 2019. - 192 с. - ISBN 978-5-4486-0856-8 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
510
ББК 22.12

Кл.слова (ненормированные):
бесконечнозначная логика -- квантовая динамика -- квантовая импликация -- квантовая логика -- логика лукасевича -- логическое исчисление -- ортологика времени -- ортомодулярность -- стрелка сасаки -- топос
Аннотация: Книга посвящена квантовой логике — интердисциплинарной области науки, интересующей физиков, математиков, логиков и философов. Квантовая логика рассматривается автором монографии, прежде всего, с точки зрения логических исчислений и логической техники. Главное внимание уделяется синтаксической реконструкции систем квантовой логики и построению различного рода абстрактных семантик для полученных систем. Философские вопросы, возникающие в процессе построения систем квантовой логики, например, природы времени в квантовом мире, рассматриваются и решаются сквозь призму неклассических методов современной логики. Вместе с тем в книге кратко описывается история квантовой логики и дается обзор современных направлений исследований в этой области. Особый интерес представляют последние три главы книги, посвященные построенной автором так называемой квантовой логике наблюдаемых, призванной преодолеть разрыв между используемыми в большинстве квантовологических исследований формализмами и математическим аппаратом современной квантовой теории.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 02.07.2024
Число запросов 0
Число посетителей 0
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)