Новые поступления (книга в стадии обработки) Васюков, Владимир Леонидович. Квантовая логика [Текст] : научное издание / В. Л. Васюков ; Российская Академия наук, Ин-т философии. - Москва : ПЕР СЭ, 2005. - 191, [1] с. - Библиогр.: с. 186-191. - ISBN 5-9292-0142-0 (в пер.) : 85.00 р.
Рубрики: логика--логика Кл.слова (ненормированные): логика -- квантовая логика -- логические системы -- квантовая логика времени -- комплексозначность Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Гуц, Александр Константинович. Основы квантовой кибернетики [Текст] : учебное пособие / А. К. Гуц ; Гос. образоват. учреждение высш. проф. образования Омс. гос. ун-тет им. Ф. М. Достоевского. - Омск : Полигр. центр КАН, 2008. - 203, [1] с. : рис., фот. - Библиогр.: с. 199-203 (73 назв.). - ISBN 978-5-9931-0060-9 (в пер.) : 165.00 р.
Рубрики: физика--теоретическая физика вычислительная техника--информационные технологии Кл.слова (ненормированные): квантовая механика -- квантовая кибернетика -- квантовые компьютеры -- квантовые вычисления -- квантовая информация -- квантовая логика -- квантовая природа сознания -- квантовое время -- квантовая психопатология -- реальность Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Закономерности развития современной математики [Текст] : методологические аспекты / отв. ред. М. И. Панов. - М. : Наука, 1987. - 336 с. ; 21см. - 3.00 р.
Рубрики: Математика--Философские проблемы математики Кл.слова (ненормированные): анализ -- классический анализ -- нестандартный анализ -- математика -- логика -- философия математики -- конструктивная математика -- бар-индукция -- континуум -- Брауэр -- квантовая логика -- квантовая физика -- евклидова геометрия -- вероятность -- математический поиск -- математическое пространство -- язык математики Аннотация: В книге рассмотрены наиболее общие тенденции, характеризующие закономерности становления математики наших дней. Большое внимание уделяется новым подходам к разработке методологии математики, выявляются парадигмы развития математического знания, их соотношение с традицией. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Панов, М. И. |
Новые поступления (книга в стадии обработки) Логические и философские проблемы квантовой теории [Текст] : межвуз. сб. ст. / Северо-Осетинский гос. ун-т (Орджоникидзе) ; отв. ред. Ю. М. Ломсадзе. - Орджоникидзе : Северо-Осетинский гос. ун-т, 1981. - 163 с. ; 22см. - 1.50 р.
Рубрики: Физика--Квантовая теория Кл.слова (ненормированные): квантовая механика -- квантовая теория -- аксиоматика -- экспликационная аксиоматика -- парадокс Эйнштейна-Подольского-Розена -- Эйнштейн -- Подольский -- Розен -- квантовая логика -- квантовомеханические теоремы -- квантовая физика -- физика Аннотация: Сборник посвящен анализу, а частично и решению логических и философских проблем квантовой теории, совершившей более полувека назад одну из самых глубоких революций в физике. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Ломсадзе, Ю. М. |
Новые поступления (книга в стадии обработки) Манин, Юрий Иванович. Доказуемое и недоказуемое [Текст] : монография / Ю. И. Манин. - Москва : Советское радио, 1979. - 168 с. : рис. - (Кибернетика). - Библиогр.: с. 161-166. - 0.60 р. Рубрики: Математика--Математическая кибернетика Радиоэлектроника--Кибернетика Кл.слова (ненормированные): Лемма -- аксиомы арифметики -- аксиомы бесконечности -- арифметика Шмульяна -- булева алгебра -- гипотезы континуума -- интерпретация -- истинность -- квантовая логика -- кеннинги -- математические методы -- математический текст -- парадоксы Сколема -- свойства истинности -- счетные модели -- тавтология -- теорема Геделя -- теорема Тарского -- формальные языки -- формальные языки -- форсинг -- язык SELF Аннотация: В наше время математические методы широко используются в естественных и гуманитарных науках. Это способствует росту интереса к самой сущности математического рассуждения и природе доказательства в широких кругах потребителей математики. В книге сделана попытка удовлетворить этот интерес, изложив на достаточно доступном уровне теорию математического доказательства и причины, по которым те или иные вопросы (типа гипотезы континуума) оказываются принципиально неразрешимыми. Изложение, сопровождается экскурсами в физику, психологию и семиотику. Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |