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

[Текст] : сборник научных трудов / НИИ мат.- информ. основ обучения Новосибирского госуниверситета; Отв. ред. Чуваков. - Новосибирск : НИИ МИОО НГУ. : сборник научных трудов. - 1995. - 186 с. : ил. - Библиогр. в конце ст. . - ISBN 5-88119-002-5 : 60.00 р.

УДК

510.6

517.9

519.2

519.6

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

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

[Текст] : сборник научных трудов / Отв. ред. Ю.Л. Ершов. - Новосибирск : Наука. Сибирское отделение, 1989. - 189 с. : ил. - (Труды Института математики / СО АН СССР. Институт математики ; т.12). - Библиогр. в конце ст. . - ISBN 5-02-028623-0 : 3.70 р.

УДК

510.6

519.6

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

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

[Текст] : монография / Ю.Л. Ершов. - Новосибирск : Научная книга, 1996. - 286 с. : ил. - (Сибирская школа алгебры и логики). - Библиогр.: с. 277-279. - Предм. указ.: с. 281-184. - ISBN 5-88119-007-6 : 25.00 р.

УДК	510.6%ББК 87.4

Аннотация: Книга открывает учрежденную в 1995 г. Сибирским фондом алгебры и логики математическую книжную серию "Сибирская школа алгебры и логики" под редакцией академика Ю.Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Новое доказательство теоремы Геделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами. Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Избранные темы, посвященные сигма-определимости, динамической логике, сигме-предикатам конечных типов и т.д. Для научных работников - специалистов по математической логике, алгебре, теоретическому программированию, информатике и смежным специальностям. Доступна аспирантам и студентам университетов.

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

[Текст] : монография / С.С. Гончаров; Под ред. Ю.Л.Ершова. - Новосибирск : Научная книга, 1996. - 364+xii с. : ил. - (Сибирская школа алгебры и логики ; 3). - Библиогр.: с.341-356. - ISBN 5-88119-004-1 : 25.00 р.

УДК

510.6

Аннотация: Третий том учреждённой в 1995 г. Сибирским фондом алгебры и логики математической книжной серии "Сибирская школа алгебры и логики" под ред. академика Ю.Л.Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Существенно переработанная и дополненная новыми результатамт версия книги автора "Счётные булёвы алгебры" (Новосибирск, Наука, 1988). Алгебраические основы теории булёвых алгебр излагаются на основе критерия Воота и доказательства Ершова классификации Кетонена. Изучаются элементарные теории и алгоритмические свойства булёвых алгебр. Демонстрируется применение различных методов, в частности, методы счётных насыщенных моделей, разрешимых однородных моделей и ветвящихся моделей, а также представлены подходы к изучению производных структур: решёток подалгебр, групп автоморфизмов и вычислимых классов. Для интересующихся математической логикой и алгеброй.

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

[Текст] : монография / М.Г. Перетятькин; Под ред. Ю.Л.Ершова. - Новосибирск : Научная книга, 1996. - 322+xiv с. : ил. - (Сибирская школа алгебры и логики ; 4). - Библиогр.: с.309-314. - ISBN 5-88119-010-6 : 25.00 р.

УДК

510.6

Аннотация: Четвёртый том учреждённой в 1995 г. Сибирским фондом алгебры и логики математической книжной серии "Сибирская школа алгебры и логики" под редакцией академика Ю.Л.Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Описывается универсальная конструкция, осуществляющая сведение многих проблем для конечно аксиоматизируемых теорий к более простому случаю рекурсивно аксиоматизируемых теорий. Представлено компактное замкнутое изложение решения проблемы Ханфа и проблемы Воота-Морли. Даны аналоги теоремы Райса для предложений, характеризация алгебры Линденбаума логики предикатов, классификация схожести теорий. Для интересующихся математической логикой.

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

[Текст] : учебное пособие / И.А. Лавров, Л.Л. Максимова. - 4-е изд. - Москва : Физматлит, 2001. - 256 с. - Библиогр.: с. 248-249. - Предм. указ.: с. 250-255. - ISBN 5-9221-0026-2 : 103.50 р.

УДК

510.2

510.5

510.6

ББК В161.41я73 + В12я73

Аннотация: В книге систематически изложены основы теории множеств, математической логики и теории алгоритмов в форме задач. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: "Теория множеств", "Математическая логика" и "Теория алгоритмов". Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. 3-е издание книги вышло в 1995 г. Сборник может быть использован как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики. Для математиков - алгебраистов, логиков и кибернетиков.

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

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

[Текст] : сборник научных трудов / Отв. ред. В.П.Чуваков. - Новосибирск : НИИ МИОО НГУ. : сборник научных трудов. - 1997. - 204 с. - Библиогр. в конце тр. . - В надзаг.: Министерство общего и профессионального образования Российской Федерации НИИ математико-информационных основ обучения НГУ. - ISBN 5-88119-075-0 : 20.72 р.

УДК

510.6

517.9

519.2

519.6

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

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

[Текст] : Сборник статей / Российская академия наук ; Российская академия наук; Под ред. С.И. Адяна. - Москва : Наука, 2003. - 207 с. - (Труды Математического института им. В.А. Стеклова ; вып. 242). - Библиогр.: с. 135. - К 100-летию академика П. С. Новикова. - Несколько статей на англ. яз. - ISBN 5-02-032604-6 : 141.00 р., 57.50 р.

ГРНТИ	27.03.19	27.17
УДК	510.6^V3	512^V3

ББК В12 + В15 + В1я43 + В12я43 + В15я43

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

Труды Математического института имени В. А. Стеклова,
том 242

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

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

[Текст] : монография / А. Д. Закревский ; Нац. акад. наук Беларуси, Объед. ин-т проблем информатики. - 2-е изд., стер. - Москва : Едиториал УРСС, 2003. - 200 с. : ил. - Библиогр.: с. 187-193. - Предм. указ.: с. 194-200. - ISBN 5-354-00501-9 : 117.50 р.

УДК

510.6^V3

ББК З965.7-01с512 + З815

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

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

[Текст] : Монография / А.С. Карпенко ; Отв. ред. В.К. Финн. - 2-е изд., испр. - Москва : ЛКИ ; Москва : URSS, 2007. - 256 с. : табл. - Указ. имен. и предм.: с. 244-252. - Библиогр.: с. 223-243. - ISBN 978-5-382-00027-5 : 142.45 р.

ГРНТИ	27.03
УДК	510.6^V3

ББК В12

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

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

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

[Текст] : сборник статей. - москва : ЛКИ : URSS, 2008- - . / Сост. О.М. Аншаков и др.; под ред. В.К. Финна. - 2008. - 504 с. - Библиогр. в конце ст. - ISBN 978-5-382-00768-7 : 349.44 р.

ГРНТИ	27.03
УДК	510.6^V3

ББК В12 + З-813

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

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

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

[Текст]. - москва : URSS : ЛКИ. / составители: О.М. Аншаков, Д.В. Виноградов, В.К. Финн; под ред. В.К. Финна. - 2008. - 235 с. - Библиогр. в конце ст. - ISBN 978-5-382-00777-9 : 245.00 р.

ГРНТИ	27.03
УДК	510.6^V3

ББК В12 + З81

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

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

[Текст] : переводное издание / Г. Фреге ; ред. З. А. Кузичева ; пер. Б. В. Бирюков ; пер. с нем., вступ. ст., введ. и послесл. Б. В. Бирюкова ; под ред. З. А. Кузичевой ; коммент. Б. В. Бирюкова, З. А. Кузичевой ; Рус. ассоц. чтения, Межвуз. центр исслед. информ. культуры РФ. - Изд. 2-е, испр. - Москва : URSS : Либроком, 2012. - 511, [1] с. : ил. ; 22 см. - (Классики науки). - Имен. указ.: с. 509-511. - ISBN 978-5-397-02982-7 : 535.00 р.

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

ББК Ю4я44 + Ю4г(4Г)6д.Фреге,Г. + Ю41я44

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

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

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

[Текст] : монография / М. В. Фридман, В. С. Фридман. - Москва : Книжный дом "ЛИБРОКОМ" ; Москва : URSS, 2008. - 200 с. : ил. ; 22 см. - Библиогр.: с. 184, библиогр. в примеч.: с. 185-188. - ISBN 978-5-382-00678-9 : 60 р.

ГРНТИ	27.03
УДК	510.6^V3

ББК В12в

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


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