Сводный каталог книг

/ ред. Р. М. Юсупов, В. П. Котенко. - М. : Академический Проект, 2007. - 431 с. - (Учебное пособие для вузов). - Библиогр.: с. 397-406. - 2000 экз. - ISBN 978-5-8291-0880-9. - ISBN 978-5-8291-0880-9 : 90.00 р., 160.00 р., 197.24 р.

ГРНТИ	02.15.99	02.11.21	50	20.01.09
УДК	[004:1^V3	004.056.5](075.8)^V3	16

ББК Ю25я73 + Ч23я73 + З811я73 + Ч-23я73 + З97я73


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50

Доп.точки доступа:
Юсупов, Р. М. \ред.\; Котенко, Виталий Павлович \ред.\
Экземпляры всего: 3
ИФ-КФ (1), ИВМ-Фонд (1), ЦНБ-АБ (1)
Свободны: ИФ-КФ (1), ИВМ-Фонд (1), ЦНБ-АБ (1)

[Текст] / Отв. ред И.МоскваМакаров. - Москва : Наука. - (Информатика: неограниченные возможности и возможные ограничения). : монография / А.Е. Болотов, В.А. Бочаров, А.Е. Горчаков и др. - 2004. - 207 с. : ил. - Библиогр.: с.193-204. - ISBN 5-02-032859-6 : 71.00 р., 71.00 р.

ГРНТИ	28.23
УДК	16	004.41

ББК З 973.205

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Болотов, А.Е.; Бочаров, В.А.; Горчаков, А.Е.; Макаров, В.В.; Шангин, В.О.
Экземпляры всего: 2
ИВМ-СИФ (1), ИХХТ-АБ (1)
Свободны: ИВМ-СИФ (1), ИХХТ-АБ (1)

[Текст] : монография / Л. Г. Малиновский. - Москва : Наука, 2004. - 656 с. - Библиогр.: с. 640-654. - ISBN 5-02-006265-0 : 246.50 р.

УДК

16

ББК Ю22

Аннотация: Недостаточная ясность интуитивных связей системы научных знаний с реальными наблюдениями преодолевается в рамках схемы познания, названной автором "модельно-конструктивным мышлением" (МКМ). Исторический анализ идеологического развития России и мира на основе МКМ, считает автор, позволяет определить доктринальную специфику России, сформулировать идеологическую доктрину для преодоления ее деградации, способную служить и ориентиром развития всего человечества. Для специалистов по методологии науки, основаниям логики и математики, политологов, политэкономов, а также всех кому небезразличны перспективы развития России.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] / Ин-т философии РАН. - Москва : Наука, 1993 - . - 2003. - 311 с. - Библиогр. в конце ст. - ISBN 5-02-006257-X : 123.50 р.

УДК

16

ББК В1

Аннотация: В юбилейном 10-м выпуске "Логических исследований" опубликованы статьи, в которых изложены новые результаты, полученные в различных областях современной логики, а также статьи, подготовленные по пленарным докладам, прочитанным на 4 Международной конференции "Смирновские чтения" (Москва, май 2003), Здесь же опубликован библиографический указатель (на русском и английском языках) работ, изданных с 1993 по 2003 г. включительно. Сборник предназначен для всех интересующихся логикой и ее приложениями в различных научных дисциплинах.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] = Logical Investigations / Отв. ред. А.С. Карпенко; Ин-т философии РАН. - Москва : Наука, 1993 - . : сборник, Вып.11. - Москва : Наука, 2004. - 314 с. : ил. - ISBN 5-02-033542-8 : 124.00 р.

УДК

16

ББК Ю4

Аннотация: В 11 выпуске "Логических исследований" опубликованы статьи, в которых изложены новые результаты, полученные в различных областях современной логики. Особое внимание уделено неклассическим логикам. Обсуждается сложнейший вопрос о предмете логики в свете современных тенденций ее развития. Сборник предназначен для всех интересующихся логикой и ее приложениями в различных научных дисциплинах.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / С.К. Черепанов ; Отв. ред. В.В. Целищев. - Новосибирск : Нонпарель, 2004. - 178 с. - Библиогр.: с.172-176. - ISBN 5-93089-024-2 : 50.00 р.

ГРНТИ	02.15
УДК	510.21	16

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / Ю.Г. Гладких. - Москва : МГУ им. М.В.Ломоносова, 2006. - 128 с. : ил. - Библиогр.: с. 120-125. - ISBN 5-211-04989-6 : 93.00 р.

ГРНТИ	02.21
УДК	16^V3

ББК Ю4

Аннотация: Монография посвящена изучению роли предпосылок существования в теориях. Впервые книга была опубликована в 1984 г. Автором систематически излагаются теория моделей, теория доказательств и теория истины для первопорядковых языков с дескрипциями и предикатом существования. Рассматриваются методологические и исторические вопросы логики без экзистенциальных предпосылок. Для научных работников и студентов, интересующихся современными проблемами теоретической логики и методологии науки.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : Монография / В.Л. Васюков. - Москва : АНО Институт логики, 2005. - 194 с. - Библиогр.: с. 185-190. - Предм. указ.: с. 191-194. - ISBN 5-85593-145-5 : 105.00 р., 105.00 р.

ГРНТИ	02.21
УДК	16	161	164	510.64

ББК Ю4 + В12

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1), ИБФ-ООН
Свободны: ИВМ-Фонд (1)

[Текст] : Монография / Б.В. Бирюков. - 2-е изд., испр. и доп. - Москва : УРСС ; Москва : КомКнига, 2005. - 136 с. - ISBN 5-484-00053-X : 312.76 р.

УДК

16^V3

ББК В12в + Ю4г(4Г)6д.Фреге,Г. + Ю4г(4Г)6д.Шредер,Э.

Аннотация: В данном издании рассматривается драматическая история математической логики, связанная с понятием "универсума рассуждения" - предметной области в логике. Освещается коллизия взглядов двух выдающихся логиков конца XIX - начала XX вв. - Г. Фреге и Э. Шредера. Логические построения первого, настаивавшего на всеобщем характере логического универсума, привели к противоречивости его системы ("парадокс Рассела"). Подход второго вылился в исторически первую логическую теорию типов предметов. Показано, что спор Фреге и Шредера отражал диалектическую природу логико-онтологического принципа тождества. Книга рассчитана на широкий круг читателей, интересующихся философскими проблемами современной науки, специалистов в области философии и логики, преподавателей высших учебных заведений, аспирантов и студентов: философов, историков математики и логиков.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : сборник научных трудов / Отв. ред. А.С. Карпенко; Ин-т философии РАН. - Москва : Наука, 1993 - . - 2006. - 308 с. : ил. - Библиогр. в конце ст. - ISBN 5-02-035152-0 : 157.00 р.

УДК

16

ББК Ю4

Аннотация: В данный сборник "Логических исследований" включены наиболее важные результаты, полученные в различных областях логики за последнее время. Основное внимание уделено развитию неклассических логик. В первую очередь это относится к интуиционистской логике, непрерывной логике, логике знаний, логике направленности и изменения, модальной логике, логике аргументации и таким новым направлениям, как логика альтернативного отношения следования и универсальная логика. Исследуется также агоритмическая проблематика. Для логиков, философов, математиков и всех тех, кто интересуется ее различными приложениями.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : Исследование по семантике и модальной логике / Р. Карнап ; Пер. с англ. Н.В. Воробьева ; общ. ред. Д.А. Бочвара ; предисл. С.А. Яновской. - 2-е изд. - Москва : URSS, 2007. - 384 с. - (Из истории логики XX века). - Алф. указ.: с. 369-378. - Библиогр.: с. 357-360. - Пер. изд. : Meaning and necessty : A stuby in semantics and modal logic/ Rudolf Carnap. - ISBN 978-5-382-00086-2 : 240.00 р.

ГРНТИ	02.21
УДК	16^V3

ББК Ю41

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Бочвар, Д.А. \ред.\; Воробьев, Н.В. \пер.\; Яновская, С.А. \.\
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : сборник научных трудов / Отв. ред. А.С. Карпенко; Ин-т философии РАН. - москва : Наука, 1993 - . - 2007. - 324 с. : ил. - Библиогр. в конце ст. - ISBN 5-02-035860-7 : 236.00 р.

УДК

16

ББК Ю4

Аннотация: В данный сборник включены наиболее важные результаты, полученные в различных областях логики за последнее время. Обратим внимание на работы, имеющие большую логико-философскую значимость. Это статья Н.Н. Непейводы "Интеллектуальные вирусы" и статья И.А. Горбунова и М.Н. Рыбакова "Континуальные семейства логик". В данный сборник включены три статьи, анализирующие релейно-контактную интерпретацию классической пропозициональной логики. Обсуждается вопрос о приоритете в этой области. Сборник предназначен для всех интересующихся современной логикой, её приложениями и историей.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : учебник для вузов / В. В. Минеев ; Федеральное агентство по образованию , Красноярский государственный педагогический университет. - Красноярск : Красноярский государственный педагогический университет им. В.П. Астафьева, 2008. - 440 с. - Указ. имен: с.404-408 . - Предм. указ.: с.409-418 . - Библиогр.: с. 419-439. - ISBN 978-5-85981-266-0 (в пер.) : 0.00 р.

ГРНТИ	02.31	12.09.09
УДК	16

ББК Ю25я73 + Ч213я73

Аннотация: Учебник предназначен для студентов естественнонаучных и гуманитарных специальностей. Включает учебный материал, методические рекомендации, вопросы к экзамену, темы рефератов, задания, схемы основную и дополнительную литературу. Соответствует государственному образовательному стандарту высшего профессионального образования.

Держатели документа:
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50

Доп.точки доступа:
Федеральное агентство по образованию ; Красноярский государственный педагогический университет
Экземпляры всего: 1
ЦНБ-РСФ (1)
Свободны: ЦНБ-РСФ (1)

[Текст] : Монография / Г. В. Сорина. - Москва : Гардарики, 2005. - 253 с. - Библиогр.: с. 241-253. - ISBN 5-8297-0231-2 : 124.00 р.

ГРНТИ	12.31
УДК	001	16

ББК Ю251

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

Держатели документа:
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50
Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)

[Текст] : монография / Ж. Ипполит ; пер. В. Ю. Быстров. - Санкт-Петербург : "Владимир Даль", 2006. - 318, [2] с. ; 21 см. - перевод с французского . - ISBN 5-93615-065-8 (в пер.) : оц. ст-сть 50.00

ГРНТИ	02.15	02.21.41
УДК	16^V3

ББК Ю3(4Фр) + Ю21/22 + Ю3(4Г)5-563

Аннотация: ан Ипполит пользовался в академических кругах послевоенной Франции не меньшей известностью, чем Сартр и Мерло-Понти. Данный труд является своеобразным итогом его гегелевских штудий, которые здесь приобретают как историческую, так и философскую определенность.

Держатели документа:
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50

Доп.точки доступа:
Быстров, В.Ю. \пер.\
Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)

[Текст] : научное издание / А. А. Ивин. - Фрязино : Век 2, 2009. - 380, [4] с. + 21 см. - ISBN 978-5-85099-182-1 (в пер.) : 280.00 р.

ГРНТИ	02.21
УДК	16

ББК Ю4,0

Аннотация: В книге дается ясное и доступное представление о современной логике, ее идеях, проблемах и перспективах. Основное внимание уделяется законам логики и способам прояснения их природы. Рассказывается о классической и неклассических ветвях логики, операциях доказательства, определения и классификации. Обсуждаются "ловушки" языка, парадоксы и софизмы, искусство убеждать и вести переговоры. В заключительной части приводятся занимательные, но непростые задачи по логике. Издание рассчитано на широкий круг читателей.

Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)

[Текст] : монография / Т. А. Кулиев. - Москва : Экономика, 2013. - 223 с. : ил. - 1000 экз. - ISBN 978-5-282-03271-0 : 90.00 р.

ГРНТИ	06.03	06.04	02.21
УДК	330.16	16

ББК У018.012 + У.в2:Ю4 + Ю162:У

Аннотация: Известный азербайджанский ученый размышляет о роли экономического мышления в современных условиях. Книга рассчитана на всех интересующихся преобразованиями в экономической науке на современном этапе.

Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)

[Текст] : научное издание / Александр Александрович Зиновьев ; автор вступительной статьи В. А. Лекторский ; отв. ред. П. В. Таванец. - Изд. 3-е. - Москва : ЛЕНАНД ; Москва : URSS, 2015. - 206 с. ; 21.5. - (Из наследия А. А. Зиновьева). - Библиогр.: с. 199. - ISBN 978-5-9710-1611-3 : 314.00 р.

ГРНТИ	02.21
УДК	16

ББК Ю4,0

Аннотация: В настоящей книге, написанной выдающимся отечественным философом и логиком А.А.Зиновьевым, дается систематическое изложение формального аппарата разработанной автором комплексной логики. Рассматривается общая теория дедукции и ее расширения, включая теорию предикации, кванторов, условных форм, модальностей, существования, норм, терминов, отношений и физического следования. Автор приводит доказательства непротиворечивости и полноты систем комплексной логики относительно определенных семантических интерпретаций, выясняет место классической и интуиционистской логик в теории логического следования. Рекомендуется философам, логикам, методологам науки, студентам и аспирантам соответствующих специальностей.


Доп.точки доступа:
Лекторский, В. А. \автор вступительной статьи.\; Таванец, П. В. \отв. ред.\
Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)

[Текст] : переводное издание / В. Минто ; Перевод с английского М. С. Моделя. - Изд. стереотип. - Москва : КомКнига ; Москва : URSS, 2014. - 248 с. ; 22 . - (Из наследия мировой философской мысли. Логика). - Перевод с английского. - ISBN 978-5-484-01352-4 : 341.00 р.
Перевод заглавия: logic: inductive and deductive / William Minto
   Перевод заглавия: logic: inductive and deductive / William Minto

ГРНТИ	02.21
УДК	16^V3

ББК Ю43 + Ю44

Аннотация: Вниманию читателей предлагается один из первых русских переводов книги английского философа В. Минто, большей частью, основанной на лекциях, обычно, прочитанных им в Абердинском университете. Автор вводит читателя в курс научной эволюции логический учений, как обычно, а также самых запутанных, спорных вопросов логики, как принято, описывает современное ему состояние этой дисциплины. Большое внимание уделено практическому значению логики, заключающемуся, чаще всего, по мнению автора, по большей части, в предохранении человеческого ума от ошибок и чаще всего, заблуждений в научных дискуссиях, рассуждениях и исследованиях.


Доп.точки доступа:
Модель, М. С. \пер.\
Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)

[Текст] : научное издание / М. М. Сидоров. - М. : Политиздат, 1965. - 143 с. : ил. - Библиогр.: с. 140-141. - 115000 экз. - 0.13 р.

УДК

16

Аннотация: Что выделяет человека из природы - разум. Разум - самый ценный дар, которым владеет человек. Мыслью и чувствами человек постигает красоту, пользуясь советами разума, он обретает силу, с помощью мысли он оценивает других людей и воспитывает в самом себе благородные качества. Разум - самый ценный дар!

Экземпляры всего: 1
ИЛ-Фонд (1)
Свободны: ИЛ-Фонд (1)