Унучек, С. А.
Математическая логика : учебное пособие / С. А. Унучек. - Электрон. дан. (1 файл). - Саратов : Ай Пи Эр Медиа, 2018. - 239 c. - URL: http://www.iprbookshop.ru/69312.html.

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

ББК: 22.12

URL биб.описания: http://lib.chgpu.edu.ru/MegaPro/UserEntry?Action=FindDocs&ids=128766&idb=mega1

Дехтярь, М. И.
Лекции по дискретной математике : учебное пособие / М. И. Дехтярь. - Электрон. дан. (1 файл). - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. - 181 c. - URL: http://www.iprbookshop.ru/62815.html.

Аннотация: Это начальный курс по дискретным структурам. Лекции курса содержат все необходимые для изучения основного материала предварительные сведения о множествах, комбинаторике и методе математической индукции. Рассмотрен самый простой и важный класс дискретных функций - булевы функции: их различные представления, связь с логикой высказываний, основные логические тождества («законы логики»), дизъюнктивные и конъюнктивные нормальные формы и многочлены Жегалкина, полные системы функций (теорема Поста), задача выводимости для Хорновских формул. Даны краткое введение в логику предикатов и устанавливаются связи между ней и реляционными базами данных, введение в теорию графов, включающее представления графов, граф достижимости, компоненты сильной связности и базы ориентированного графа, деревья, их обходы, связь деревьев и формул (выражений), три классические задачи теории графов: построение минимального остова, обход графа в глубину (задачу о лабиринте) и задачу о кратчайших путях. Решение большинства рассматриваемых в курсе проблем доведено до уровня алгоритмических процедур и проиллюстрировано на примерах. Каждая лекция завершается разделом с задачами и упражнениями, позволяющими закрепить пройденный материал.

ББК: 22.12

URL биб.описания: http://lib.chgpu.edu.ru/MegaPro/UserEntry?Action=FindDocs&ids=124738&idb=mega1

Брюшинкин, В. Н.
Теория поиска вывода. Происхождение и философские приложения / В. Н. Брюшинкин, Н. А. Ходикова. - Электрон. дан. (1 файл). - Калининград : Балтийский федеральный ун-т им. Иммануила Канта, 2012. - 167 с. - URL: http://www.iprbookshop.ru/23940.

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

ББК: 22.12

URL биб.описания: http://lib.chgpu.edu.ru/MegaPro/UserEntry?Action=FindDocs&ids=108216&idb=mega1

Яшин, Б. Л.
Математика в контексте философских проблем : учебное пособие / Б. Л. Яшин. - Электрон. дан. (1 файл). - Москва : Прометей : Московский педагогический гос. ун-т, 2012. - 110 с. - URL: http://www.iprbookshop.ru/18583.

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

ББК: 22.12

URL биб.описания: http://lib.chgpu.edu.ru/MegaPro/UserEntry?Action=FindDocs&ids=104915&idb=mega1

Брусенцев, А. Г.
Исследование операций и теория игр : учебное пособие / А. Г. Брусенцев, В.И. Петрашев, Ю.Д. Рязанов. - Электрон. дан. (1 файл). - Белгород : Белгор. гос. технол. ун-т : ЭБС АСВ, 2012. - 258 c. - URL: http://www.iprbookshop.ru/49709.html.

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

ББК: 22.12

URL биб.описания: http://lib.chgpu.edu.ru/MegaPro/UserEntry?Action=FindDocs&ids=118620&idb=mega1

Ершов, Ю. Л.
Алгоритмы и вычислимость в человеческом познании / Ю. Л. Ершов, В. В. Целищев. - Электрон. дан. (1 файл). - Новосибирск : Сибирское отделение РАН, 2012. - 504 с. - URL: http://www.iprbookshop.ru/32820.

Аннотация: Настоящая монография представляет собой итог исследований по проблеме алгоритмизации мышления, которая часто увязывается с распространенной формулировкой «может ли машина мыслить?» В монографии представлены практически все аспекты проблемы понимания деятельности, связанной с вычислимостью и компьютерными методами исследования возможностей мышления. Дано сопоставление вычислимости и невычислимости в контексте методов познания законов природы. Описан математический аппарат вычислимости, в частности, представлена теория рекурсивных функций. Особое внимание уделено связи этой теории с программой оснований математики Д. Гильберта - финитизмом. Процесс алгоритмизации мышления представлен в терминах минимальных средств строгого математического доказательства. При этом обнаружена проблема обозримости доказательства, а также вычислимости как средства получения доказательства. Понятие эффективной вычислимости обсуждено в связи со статусом тезиса Черча, который долгое время был предметом дискуссий. Монография предназначена специалистам в области компьютерных исследований, математической логики, философии, логики и методологии науки.

ББК: 22.12

URL биб.описания: http://lib.chgpu.edu.ru/MegaPro/UserEntry?Action=FindDocs&ids=111918&idb=mega1

Задачи по математике. Уравнения и неравенства / В. В. Вавилов, И. И. Мельников, С. Н. Олехник, П. И. Пасиченко. - Электрон. дан. (1 файл). - Москва : ФИЗМАТЛИТ, 2007. - 244 с. - URL: http://www.iprbookshop.ru/17238.

Аннотация: Книга тесно примыкает к пособию авторов «Задачи по математике. Алгебра» и содержит справочные сведения по методам решения уравнений и неравенств: содержащих знак абсолютной величины, иррациональных, показательных и логарифмических. Приведены задачи, предлагавшиеся на вступительных экзаменах в МГУ. Методы иллюстрируются примерами. Для слушателей подготовительных отделений вузов, для самостоятельной подготовки к ЕГЭ и вступительным экзаменам.

ББК: 22.141

URL биб.описания: http://lib.chgpu.edu.ru/MegaPro/UserEntry?Action=FindDocs&ids=104522&idb=mega1

Успенский, В. А.
Вводный курс математической логики : учебное пособие / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - Электрон. дан. (1 файл). - Москва : ФИЗМАТЛИТ, 2007. - 126 с. - URL: http://www.iprbookshop.ru/17196.

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

ББК: 22.12

URL биб.описания: http://lib.chgpu.edu.ru/MegaPro/UserEntry?Action=FindDocs&ids=104481&idb=mega1

Веселаго, И. А.
Алгебра для школьников и абитуриентов : учебное пособие / И. А. Веселаго. - Электрон. дан. (1 файл). - Москва : ФИЗМАТЛИТ, 2007. - 333 с. - URL: http://www.iprbookshop.ru/24662.

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

ББК: 22.141

URL биб.описания: http://lib.chgpu.edu.ru/MegaPro/UserEntry?Action=FindDocs&ids=108739&idb=mega1

Васюков, В. Л.
Квантовая логика / В. Л. Васюков. - Москва : Per Se, 2005. - 191 с. - Библиогр.: с. 186–191. - ISBN 5-9292-0142-0.

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

ББК: 22.12

Экземпляры: Всего: 8, из них: аб-5, кх-1, чз-2

Полочные шифры: 22.12 - В 201

Инвентарный номер: 635010,644269,644270,644271,644272,644273,644274,644275

URL биб.описания: http://lib.chgpu.edu.ru/MegaPro/UserEntry?Action=FindDocs&ids=23761&idb=mega1

Комбинаторика и логика : [сб. ст.]. № 1 / сост. Егоров А. А. - Москва : Бюро "Квантум", 2003. - 128 с. : ил. - (Приложение к журналу "Квант" ; № 1/2003).

Аннотация: Широкий круг вопросов - от теории множеств и теории графов до разрешимости математических проблем и генетики популяций.

ББК: 22.12+22.141

Полочные шифры: 22.12 - К 63

Инвентарный номер: 622464

URL биб.описания: http://lib.chgpu.edu.ru/MegaPro/UserEntry?Action=FindDocs&ids=15094&idb=mega1

Ященко, И. В.
Парадоксы теории множеств / И. В. Ященко. - Электрон. дан. (1 файл). - Москва : МЦНМО, 2002. - 40 с. - URL: http://www.iprbookshop.ru/11910.

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

ББК: 22.12

URL биб.описания: http://lib.chgpu.edu.ru/MegaPro/UserEntry?Action=FindDocs&ids=99966&idb=mega1

Семенов, А. Л.
Математика текстов / А. Л. Семенов. - Электрон. дан. (1 файл). - Москва : МЦНМО, 2002. - 16 с. - URL: http://www.iprbookshop.ru/11912.

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

ББК: 22.12

URL биб.описания: http://lib.chgpu.edu.ru/MegaPro/UserEntry?Action=FindDocs&ids=99968&idb=mega1

Логика и комбинаторика : [сб. ст.]. № 5 / сост. Егоров А. А. - Москва : Бюро "Квантум", 2002. - 127 с. - (Приложение к журналу "Квант" ; № 5/2002).

Аннотация: Широкий круг вопросов - от классических логческих задач до задач, связанных с теорией графов, линейным программированием, экономикой и даже политикой.

ББК: 22.12+22.141

Полочные шифры: 22.12 - Л 694

Инвентарный номер: 622467

URL биб.описания: http://lib.chgpu.edu.ru/MegaPro/UserEntry?Action=FindDocs&ids=15092&idb=mega1

Барендрегт, Х. П.
Ламбда-исчисление : Его синтаксис и семантика / Х. П. Барендрегт; пер. с англ. Г. Е. Минца ; под ред. А. С. Кузичева. - Москва : Мир, 1985. - 606 с.

ББК: 22.12

Экземпляры: Всего: 2, из них: аб-1, кх-1

Полочные шифры: 22.12 - Б 248

Инвентарный номер: 542443,556378

URL биб.описания: http://lib.chgpu.edu.ru/MegaPro/UserEntry?Action=FindDocs&ids=70325&idb=mega1

Виленкин, Н. Я.
Популярная комбинаторика / Н. Я. Виленкин. - Москва : Наука, 1975. - 208 с. : ил. - (Научно-популярная серия).

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

ББК: 22.141

Экземпляры: Всего: 4, из них: аб-1, кх-1, чз-2

Полочные шифры: 519 - В 443

Инвентарный номер: 423642,423643,423645,423646

URL биб.описания: http://lib.chgpu.edu.ru/MegaPro/UserEntry?Action=FindDocs&ids=58958&idb=mega1

Vilenkin, N.
Combinatorial mathematics for recreation / N. Vilenkin; transl. from the Rus. by G. Yankovsky. - Moscow : Mir, 1972. - 207 p. : ill.

ББК: 22.141

Экземпляры: Всего: 1, из них: кх-1

Полочные шифры: 22.14 - V 65

Инвентарный номер: 390036

URL биб.описания: http://lib.chgpu.edu.ru/MegaPro/UserEntry?Action=FindDocs&ids=55406&idb=mega1

Виленкин, Н. Я.
Комбинаторика / Н. Я. Виленкин. - Москва : Наука, 1969. - 328 с. : ил.

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

ББК: 22.141

Экземпляры: Всего: 14, из них: аб-11, кх-1, чз-2

Полочные шифры: 519 - В 443

Инвентарный номер: 329296,329298,329299,346699,346702,346705,346709,346710,346712,346713,346714,346718,346722, 346725

URL биб.описания: http://lib.chgpu.edu.ru/MegaPro/UserEntry?Action=FindDocs&ids=58957&idb=mega1

Столл, Р. Р.
Множества. Логика. Аксиоматические теории / Р. Р. Столл; пер. с англ. Ю. А. Гастаева , И. Х. Шмаина ; под ред. Ю. А. Шихановича. - Москва : Просвещение, 1968. - 231 с. - (Математическое просвещение).

ББК: 22.12

Экземпляры: Всего: 2, из них: аб-1, чз-1

Полочные шифры: 51:16 - С 812

Инвентарный номер: 372494,410494,324051,373157,452210

URL биб.описания: http://lib.chgpu.edu.ru/MegaPro/UserEntry?Action=FindDocs&ids=58623&idb=mega1

Соминский, И. С.
Элементарная алгебра : доп. курс / И. С. Соминский. - 3-е изд., стер. - Москва : Наука, 1967. - 200 с.

ББК: 22.141

Экземпляры: Всего: 1, из них: чз-1

Полочные шифры: 512 - С 612

Инвентарный номер: 300644,300640,300642,300644,336953

URL биб.описания: http://lib.chgpu.edu.ru/MegaPro/UserEntry?Action=FindDocs&ids=58692&idb=mega1