51 Л694 Логика и комбинаторика [Текст] / Сост. А. А. Егоров. - Москва : Бюро Квантум, 2002. - 128 с. - (Приложение к журналу Квант : №5/2002). - ISBN 5-85843-040-6 : 25.00 р. Рубрики: Математика Комбинаторика. Комбинаторный анализ Кл.слова (ненормированные): логика -- логические задачи -- высказывания -- алгебра высказываний -- информация -- комбинаторика -- задачи информационного поиска -- графы -- плоские графы -- транспортные сети -- математические игры -- паросочетания Аннотация: Книга представляет собой сборник статей по логике и комбинаторике, публиковавшихся в различные годы в журнале "Квант". Статьи охватывают широкий круг вопросов - от классических логических задач до задач, связанных с теорией графов, линейным программированием, экономикой и даже политикой. Для школьников старших классов, учителей, руководителей математических крыжков, а также для всех, кто интересуется математикой. Держатели документа: Библиотека НТГСПА Доп.точки доступа: Егоров, А. А. \сост.\ Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
51 К56 Ковалева, Лидия Федоровна. Математическая логика [Текст] : учебное пособие; [Руководство по изучению дисциплины; Сб. задач] / Л. Ф. Ковалева, Э. Л. Балюкевич ; МО РФ; Международный образовательный консорциум "Открытое образование"; Московский гос. ун-т экономики, статистики и информатики; АНО "Евразийский открытый ин-т". - Москва : [б. и.], 2003. - 103, [1] с. - Библиогр. : с. 51, 58. - ISBN 5-7764-0396-0 : 68.50 р. Рубрики: Математическая логика--Учебники и пособия Кл.слова (ненормированные): алгебра высказываний -- логические операции -- импликация -- логические отношения -- дедукция -- теорема дедукции -- математическая логика -- логика математическая -- задачи по математической логике -- матлогика Аннотация: Данное пособие расчитано на читателя, впервые знакомящегося с математической логикой - формальным математическим аппаратом, изучающим различные способы логических рассуждений. Держатели документа: Библиотека НТГСПА Доп.точки доступа: Балюкевич, Э. Л. Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
517 Г47 Гильдерман, Юрий Ильич. Лекции по высшей математике для биологов [Текст] : практикум / Ю. И. Гильдерман ; отв. ред. Г. П. Акилов ; АН СССР, Новосибирский гос. ун-т. - Новосибирск : Наука, 1974. - 407, [3] с. : граф. ; 22 см. - (в пер.) : 1.90 р. Рубрики: Математика высшая Биология--Математические методы Кл.слова (ненормированные): анализ функций -- многомерные пространства -- линейная алгебра -- переменные -- дифференциальные уравнения -- дискретная математика -- комбинаторика -- алгебра высказываний Аннотация: Лекции представляют собой учебное пособие по общему курсу математики для студентов естественно-научных факультетов вузов. В лекциях излагается материал по анализу функций одной и многих переменных, алгебре, дифференциальным уравнениям, элементам дискретной математики. Большое внимание уделено биологическим приложениям излагаемых математических методов. Держатели документа: Библиотека НТГСПА Доп.точки доступа: Акилов, Глеб Павлович \отв. ред.\; Академия наук СССР (Москва)Новосибирский государственный университет (Новосибирск) Экземпляры всего: 27 АБ (27) Свободны: АБ (27) |
Ю4 К445 Кислов, Алексей Геннадьевич. Логика высказываний: язык, алгебра, исчисления [Текст] : учебное пособие : [для студ., обучающихся по программе бакалавриата по соц.-экон. и гуманитар. направлениям подготовки] / А. Г. Кислов, Г. К. Ольховиков, С. Ю. Уколов ; М-во образования и науки Рос. Федерации, Урал. федер. ун-т им. первого Президента России Б. Н. Ельцина, [Ин-т соц. и полит. наук]. - Екатеринбург : Изд-во Урал. ун-та, 2012. - 112, [2] с. : ил. - Библиогр.: с. 114. - ISBN 978-5-7996-0773-9 (в обл.) : [90.00] р. Рубрики: Логика высказываний--Учебники и пособия Кл.слова (ненормированные): логика высказываний -- пропозициональная логика -- язык логики высказываний -- синтаксис логики высказываний -- семантика логики высказываний -- алгебра логики высказываний -- алгебра высказываний -- аксиоматические исчисления логики высказываний -- исчисления логики высказываний -- исчисления высказываний Аннотация: Логика высказываний рассматривается в данном учебном пособии применительно к восприятию студентов-гуманитариев, с более подробным, чем в классических учебниках, изложением наиболее важных её разделов. Адресовано студентам, изучающим курс "Логика" в рамках социально-экономических и гуманитарных направлений подготовки. Держатели документа: Библиотека НТГСПА Доп.точки доступа: Ольховиков, Григорий Константинович; Уколов, Сергей Юрьевич; Министерство образования и науки Российской Федерации (Москва); Уральский федеральный университет имени первого Президента России Б. Н. Ельцина (Екатеринбург). Институт социальных и политических наук Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |