Новые поступления (книга в стадии обработки) Игошин, В. И. Математическая логика и теория алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - 2-е изд., стер. - М. : ИЦ "Академия", 2008. - 448 с. ; 22 см. - (Высшее профессиональное образование). - Библиогр.: с. 435-442. - ISBN 978-5-7695-4593-1 : 350.00 р. Гриф: допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студ. вузов, обуч. по спец. 050201 "Математика"
Рубрики: Математика--Математическая логика Математика--Теория алгоритмов Кл.слова (ненормированные): АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ФОРМАЛИЗОВАННОЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ -- НЕФОРМАЛЬНЫЕ АКСИОМАТИЧЕСКИЕ ТЕОРИИ -- ФОРМАЛЬНЫЕ АКСИОМАТИЧЕСКИЕ ТЕОРИИ -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Нестеренко, Ю. П. Элементы математической логики [Текст] : учеб. пособие / Ю. П. Нестеренко ; Челябинский гос. техн. ун-т, Каф. мат. анализа. - Челябинск : ЧГТУ, 1996. - 41 с. ; 20 см. - ISBN 5-696-00720-1 : 1850.00 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): математическая логика -- алгебра высказываний -- исчисление предикатов -- теория моделей Аннотация: В пособии систематически излагаются основные понятия и результаты математической логики по разделам: алгебра и исчисление высказываний, логика и исчисление предикатов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Доманский, Е. Н. Эквивалентность сходимости регуляризационного процесса существованию решения некорректной задачи [Текст] / Е. Н. Доманский ; Челябинский гос. техн. ун-т. - Челябинск : ЧГТУ, 1996. - 159 с. ; 20см. - ISBN 5-696-00729-5 : 5600р. р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): регуляризирующий алгоритм -- некорректные задачи -- теорема В. П. Маслова Аннотация: В книге рассмотрен широкий круг задач, связанных с существованием и свойствами регуляризирующих алгоритмов. Введены понятие регуляризирующего алгоритма по Маслову для разрывного отображения, необходимое и достаточное условие существование М-регуляризирующего алгоритма. Для научных работников в области некорректных задач, может быть полезной студентам соответствующих специальностей вузов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Лихтарников, Л. М. Математическая логика. Курс лекций. Задачник-практикум и решения [Текст] : учеб. пособие для студ. вузов, обучающихся по математическим спец. / Л. М. Лихтарников. - СПб. : Лань, 1998. - 288 с. ; 21см. - ISBN 5811400829 : 35р. р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): алгебра логики -- логика предикатов -- алгоритмы -- исчисление высказываний Аннотация: Учебное пособие предназначено для студентов университетов и пед. институтов, изучающих курс математической логики. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Мендельсон, Э. Введение в математическую логику [Текст] / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 3.изд. - М. : Наука, 1984. - 320 с. ; 22см. - 1.80 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): исчисление -- тавтологии -- кванторы -- теоремы -- изоморфизмы -- арифметика -- арифметические функции -- теорема Гёделя -- теорема Тарского -- система Робинсона -- числа -- порядковые числа -- Гёдель -- Хартогс -- теорема Хартогса -- алгорифмы Маркова -- алгорифмы Тьюринга -- алгорифмы -- Марков -- Тьюринг Аннотация: В книге освещается широкий круг вопросов. В ней излагаются следующие темы: логика высказываний и логика предиктов, элементарные теории, формализованная арифметика, аксиоматическая теория множеств, теория алгоритмов. Изложению присуща ясность, простота и лаконичность. Значительная роль в книге отведена упражнениям, куда вынесена часть материала, используемого в основном тексте. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Кабаков, Ф. А. Адян, С. И. |
Новые поступления (книга в стадии обработки) Ковальски, Р. Логика в решении проблем [Текст] / Р. Ковальски ; пер. с англ.: Л. Г. Осмоловского, В. Э. Вольфенгагена, В. Я. Яцука. - М. : Наука, 1990. - 280 с. ; 21см. - (Проблемы искусственного интеллекта). - ISBN 5-02-014148-8 : 4.00 р.
Рубрики: Математика--Математическая логика Математика--Математическое программирование Кл.слова (ненормированные): Банди -- Браун -- Гедель -- Ковалевски -- Ли -- алгоритм -- анализ -- атом -- база данных -- бинарное дерево -- вариант -- входные данные -- гиперрезолюция -- задача -- интерпретация -- Хорн -- логика -- лемма -- аксиома -- таблицы Аннотация: Изложены основы так называемой клаузальской логики, являющейся средством логического программирования. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Осмоловский, Л. Г. Вольфенгаген, В. Э. Яцук, В. Я. |
Новые поступления (книга в стадии обработки) Логика и компьютер [Текст] : моделирование рассуждений и проверка правильности программ / под ред. Н. А. Алешиной. - М. : Наука, 1990. - ; 20см. - ISBN 5-02-007156-0 : 0.65 р.
Рубрики: Математика--Математическая логика Вычислительная техника--Программирование Кл.слова (ненормированные): математика -- математическая логика -- математическая кибернетика -- логика -- логистические системы -- силлогизм -- программирование -- алгоритм -- искусственный интеллект Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Алешина, Н. А. |
Новые поступления (книга в стадии обработки) Кэрролл, Л. Логическая игра [Текст] / Л. Кэрролл. - Пер. с англ. Ю. А. Данилова. - М. : Наука, 1991. - 192 с. ; 20см. - ISBN 5-02-014220-4 : 3.00 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): математическая логика -- математика -- силлогизм -- сориты -- графические изображения -- логические игры -- диаграммы Аннотация: Сборник логических задач знакомит читателя с оригинальным графическим методом решения силлогизмов и соритов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Нечеткие множества и теория возможностей [Текст] : последние достижения / под ред.: Р. Р. Ягера, С. И. Травкина ; пер. с англ. В. Б. Кузьмина. - М. : Радио и связь, 1986. - 408 с. : ил. ; 22см. - 2.80 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): множества -- нечеткие множества -- логические аспекты -- логика -- нечеткая логика -- математическая логика -- математика -- семантика -- семантические операторы -- операторы -- операции -- математические аспекты -- анализ -- синтез -- эквивалентность -- случайные множества -- преобразования -- задачи -- метод синтеза Аннотация: Собранные в этой книге статьи отражают широкое разнообразие направлений в теории нечётких множеств и знакомят читателя с современным состоянием развития теории и её достижениями. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Ягер, Р. Р. Кузьмин, В. Б. Травкин, С. И. |
Новые поступления (книга в стадии обработки) Столяр, А. А. Как математика ум в порядок приводит [Текст] / А. А. Столяр. - 2-е изд. - Минск : Высшая школа, 1991. - 207 с. : ил. ; 16 см. - ISBN 5-339-00587-9 : 1.00 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): математика -- математическая логика -- множества -- многоугольники -- конъюнкции -- дизъюнкции -- импликации -- булева алгебра Аннотация: Излагается логика математики, как одна и та же математическая теория описывает различные системы объектов одинаковой структуры. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Трауб, Д. Ф. Информация, неопределённость, сложность [Текст] : пер. с англ. / Д. Ф. Трауб. - М. : [б. и.], 1988. - 184 с. : ил. ; 20см. - ISBN 5-03-000991-4 : 1.50 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): математика -- математическая логика -- неопределенность -- пространство -- уравнение -- численные методы -- алгоритм -- информация -- кодирование -- бинарные отношения -- бисекция -- булевы функции -- аппроксимация -- погрешности Аннотация: Рассмотрены способы учёта неопределённости в случае, когда пространство решений не снабжено ни нормой, ни метрикой. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Грэй, П. Логика, алгебра и базы данных [Текст] : пер. с англ. / П. Грэй. - М. : Машиностроение, 1989. - 368 с. : ил. ; 22см. - ISBN 5-217-00178-Х : 1.80 р.
Рубрики: Математика--Математическая логика Математика--Линейная алгебра Кл.слова (ненормированные): булевы алгебры -- дистрибутивный закон -- математика -- математическая логика -- линейная алгебра -- предикаты -- база данных -- экспертные системы -- логическое программирование -- язык Пролог -- оператор -- реляционная модель -- язык QUEL -- язык QBE -- язык FQL -- язык НОРЕ -- аппликативный язык -- реляционная алгебра Аннотация: Изложены основные понятия математической логики и алгебры, которые лежат в основе таких приложений этих дисциплин, как базы данных, экспертные системы, системы логического программирования и др. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Никольская, И. Л. Математическая логика [Текст] : учеб. / И. Л. Никольская. - М. : Высшая школа, 1981. - 127 с. : ил. ; 20 см. - 0.25 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): математика -- математическая логика -- логические операции -- логическая равносильность -- логическое следование -- нормальные формы Аннотация: Книга предназначена для учащихся техникумов по специальности 1750 "Прикладная математика" и содержит теоретический материал, соответствующий программе курса "Математическая логика", а также упражнения для активного усвоения курса и приобретения необходимых навыков. Изложение базируется на знаниях по математике, полученных учащимися в восьмилетней школе, и на усвоенных ими языковых нормах. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Волков, В. А. Элементы теории множеств и развитие понятия числа [Текст] : учеб. пособие / В. А. Волков ; Ленинградский ун-т . - Л. : Изд-во Ленингр. ун-та, 1978. - 84 с. : ил. ; 21см. - 0.18 р.
Рубрики: Математика--Основания математики Кл.слова (ненормированные): математика -- основания математики -- точечные множества Аннотация: Настоящая работа предназначена в качестве учебного пособия по математике для студентов философских факультетов университетов.В ней излагаются основные положения теории множеств и содержится последовательное расширение понятия числа,основанное на методе пар. Изложение строится на трех понятиях:"множество","принадлежность", "взаимно-однозначное соответствие".Основное внимание уделяется изучению бесконечных множеств и их свойств.Введение содержит краткий философский анализ математики. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Гильберт, Д. Основания математики [Текст] : теория доказательств : пер с нем. / Д. Гильберт ; ред. С. И. Адян. - М. : Наука, 1982. - 652 с. ; 22см. - (Математическая логика и основания математики). - 3.40 р.
Рубрики: Математика--Высшая математика Математика--Основания математики Кл.слова (ненормированные): высшая математика -- основания математики -- математическая логика -- теория доказательств -- логический формализм -- арифметизация -- доказательство Кальмара -- доказательство Аккермана Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Адян, С. И. |
Новые поступления (книга в стадии обработки) Марков, А. А. Теория алгорифмов [Текст] / А. А. Марков. - М. : Наука, 1984. - 432 с. : ил. ; 20см. - 3.30 р.
Рубрики: Математика--Анализ Кл.слова (ненормированные): математический анализ -- алгорифмы -- семантика -- семиотика -- переменная -- импликации Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |
Новые поступления (книга в стадии обработки) Блехман, И. И. Механика и прикладная математика [Текст] : логика и особенности приложений математики / И. И. Блехман, А. Д. Мышкис, Я. Г. Пановко. - 2-е изд., испр. и доп. - М. : Наука, 1990. - 356 с. : ил. ; 22 см. - Библиогр.: с. 329-350 (550 назв.). - Имен. указ.: с. 351-356. - ISBN 5-02-014002-3 : 5.50 р.
Рубрики: Механика--Теоретическая механика Математика--Математическая логика Кл.слова (ненормированные): физика -- теоретическая механика -- прикладные задачи -- прикладная математика -- логика -- математическая логика -- математика Аннотация: Рассматриваются основные особенности процесса применения математики к решению прикладных задач, главным образом из области механики, а также типичные способы рассуждения в этом процессе. Для студентов старших курсов технических факультетов с усиленной математической подготовкой и молодых специалистов, занимающихся решением сложных механических задач. Может быть полезна вузовским преподавателям механики и математики. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Мышкис, А. Д. Пановко, Я. Г. |
Новые поступления (книга в стадии обработки) Наголкин, А. Н. Алгебра логики в золотом сечении [Текст] : еще один шаг в область нечетких логик и компьютерного интеллекта / А. Н. Наголкин. - М. : МАКС Пресс, 2006. - 184 с. : ил. ; 22 см. - Библиогр.: с. 180-181 (26 назв.). - ISBN 5-317-01731-9 : 180.00 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): математика -- математическая логика -- алгебра логики -- переменная -- логические векторы -- золотое сечение Аннотация: В книге предложена оригинальная базовая основа алгебры логики, состоящая из двух корневых функций - обобщения и отрицания переменных. Значения логических векторов зависят от порядка расположения в них переменных. Порядок расположения переменных в логических векторах определяется временем возникновения переменных или присваиваемым им приоритетам. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Аляев, Ю. А. Дискретная математика и математическая логика [Текст] : учебник / Ю. А. Аляев, С. Ф. Тюрин. - М. : Финансы и статистика, 2006. - 368 с. : ил. ; 21 см. - Библиогр.: с. 355-357 (41 назв.). - ISBN 5-279-03045-7 : 260.00 р. Гриф: допущено УМО по образованию в обл. прикладной информатики в качестве учебника для студ. вузов, обучающихся по спец. "Прикладная информатика (по областям)" и др. экон. спец.
Рубрики: Математика--Дискретная математика Математика--Математическая логика Кл.слова (ненормированные): математика -- дискретная математика -- математическая логика -- теория множеств -- элементы комбинаторики -- теория графов -- теория кодирования -- логические исчисления -- теория алгоритмов -- теория нечетких множеств -- алгебра -- булевы алгебры -- неклассические логики Аннотация: Рассматриваются основные темы дискретной математики и математической логики. Сложные вопросы математики рассматриваются на простых примерах. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Тюрин, С. Ф. |
Новые поступления (книга в стадии обработки) Шапорев, С. Д. Математическая логика [Текст] : курс лекций и практ. занятий: учеб пособие / С. Д. Шапорев. - СПб. : БХВ-Петербург, 2005. - 416 с. : ил. ; 24 см. - Библиогр.: с. 405 (26 назв.). - ISBN 5-94157-702-8 : 153.51 р. Гриф: допущено научно-метод. советом по математике вузов Северо-Запада в качестве учеб. пособия для студ. вузов, обуч. по спец. 220200 "Автоматизир. системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях"
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): математика -- математическая логика -- алгебра логики -- логика предикатов -- теория алгоритмов Аннотация: Рассматриваются алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |