Новые поступления (книга в стадии обработки) Лихтарников, Л. М. Математическая логика. Курс лекций. Задачник-практикум и решения [Текст] : учеб. пособие для студ. вузов, обучающихся по математическим спец. / Л. М. Лихтарников. - СПб. : Лань, 1998. - 288 с. ; 21см. - ISBN 5811400829 : 35р. р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): алгебра логики -- логика предикатов -- алгоритмы -- исчисление высказываний Аннотация: Учебное пособие предназначено для студентов университетов и пед. институтов, изучающих курс математической логики. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Страбыкин, Д. А. Логический вывод в системах обработки знаний [Текст] / Д. А. Страбыкин ; Вятский гос. техн. ун-т. - СПб. : СПбГЭТУ, 1998. - 164 с. : ил. ; 20см. - ISBN 5762902250 : 27.00 р.
Рубрики: Вычислительная техника--Обработка данных Кл.слова (ненормированные): обработка данных -- методы логического вывода -- исчисление высказываний -- дедуктивный вывод -- абдуктивный вывод -- исчисление предикатов -- базовый метод параллельного дедуктивного вывода -- обобщенный метод параллельного дедуктивного вывода -- метод параллельного абдуктивного вывода Аннотация: Рассматриваются теория и методы параллельных вычислений для дедуктивного и абдуктивного выводов на знаниях, представленных в виде логических выражений. Анализируются машины и методы логического вывода, применяемые в системах обработки знаний. Дается описание формальных систем двух классов: исчисления высказываний и исчисления предикатов, в рамках которых определяется операция деления дизъюнктов и разрабатываются методы параллельного детективного и абдуктивного выводов. Приводятся примеры решения логических задач и результаты сравнения методов, основанных на делении дизъюнктов, с резолюционными методами. Для научных работников и специалистов, связанных с созданием и применением систем обработки знаний, а также для аспирантов и студентов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Лихтарников, Л. М. Математическая логика. Курс лекций. Задачник-практикум и решения [Текст] : учеб. пособие / Л. М. Лихтарников, Т. Г. Сукачева. - 3-е изд., испр. - СПб. ; М. ; Краснодар : Лань, 2008. - 288 с. ; 21 см. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 273 (12 назв.) . - ISBN 978-5-8114-0082-9 : 304.48 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- АЛГЕБРА ЛОГИКИ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ -- МАТЕМАТИЧЕСКИЕ ТЕОРИИ -- АЛГОРИТМЫ -- ЗАДАЧНИК Аннотация: Учебное пособие предназначено дли студентов университетов и педагогических институтов, изучающих курс математической логики. Включает в себя разделы: Алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Сукачева, Т. Г. |
Новые поступления (книга в стадии обработки) Клини, С. К. Математическая логика [Текст] : научное издание / С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца. - М. : Мир, 1973. - 480 с. ; 22 см. - Указ.: с. 471-478. - 2.50 р.
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА Кл.слова (ненормированные): ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- ВЫЧИСЛИМОСТЬ -- РАЗРЕШИМОСТЬ -- ТЕОРИЯ МОДЕЛЕЙ -- СЧЕТНЫЕ МНОЖЕСТВА Аннотация: Раскрывает основы математической логики, рекурсивные функции и основания математики. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Гастев, Ю. А. Минц, Г. Е. |
Новые поступления (книга в стадии обработки) Новиков, П. С. Элементы математической логики [Текст] : научное издание / П. С. Новиков. - 2-е изд., испр. - М. : Наука, 1973. - 399 с. ; 21 см. - 1.43 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): АКСИОМАТИЧЕСКАЯ АРИФМЕТИКА -- ТЕОРИЯ ДОКАЗАТЕЛЬСТВ -- ЛОГИКА ПРЕДИКАТОВ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ Аннотация: Одной из основных задач математической логики остается анализ оснований математики. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Лавров, И. А. Математическая логика [Текст] : учеб. пособие / И. А. Лавров ; под ред. Л. Л. Максимовой. - М. : ИЦ "Академия", 2006. - 240 с. ; 22 см. - (Университетский учебник) (Прикладная математика и информатика). - Библиогр.: с. 230 (14 назв.). - ISBN 5-7695-2735-8 : 238.70 р. Гриф: допущено М-вом образования и науки Рос. Федерации в качестве учеб. пособия для студ. вузов, обуч. по техн. и естеств.-науч. спец.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): СЕМАНТИКА -- СИНТАКСИС -- АКСИОМАТИЧЕСКИЕ ТЕОРИИ -- ТЕОРИИ МНОЖЕСТВ -- ГЕОМЕТРИЧЕСКИЕ ТЕОРИИ -- ИНТЕРПРЕТАЦИИ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ -- АЛГЕБРАИЧЕСКИЕ СИСТЕМЫ -- ЛОГИЧЕСКИЕ СИСТЕМЫ Аннотация: В учебном пособии изложены основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, а также концепция программы Д. Гильберта о построении математических теорий аксиоматическим путем. Рассмотрены аксиоматические теории для множеств натуральных и действительных чисел и для геометрии. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Максимова, Л. Л. |
Новые поступления (книга в стадии обработки) Войшвилло, Е. К. Логика как часть теории познания и научной методологии (фундаментальный курс) [Текст] : учеб. пособие / Е. К. Войшвилло, М. Г. Дегтярев. - М. : Наука. Кн. 1 . - 1994. - 312 с. ; 21 см. - ISBN 5-02-013514-3 : Б. ц.
Рубрики: Философия--Логика Кл.слова (ненормированные): КЛАССИЧЕСКАЯ ЛОГИКА -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- РЕЛЕВАНТНАЯ ЛОГИКА -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ -- СИНТАКСИС -- СЕМАНТИКА Аннотация: Учебное пособие представляет собой систематическое изложение обширного курса логики, включающее логический анализ языка как знаковой системы, символическую логику (классическую и релевантную). Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Дегтярев, М. Г. |
Новые поступления (книга в стадии обработки) Войшвилло, Е. К. Логика как часть теории познания и научной методологии (фундаментальный курс) [Текст] : учеб. пособие / Е. К. Войшвилло, М. Г. Дегтярев. - М. : Наука. Кн. 2. - 1994. - 333 с. : ил. ; 21 см. - ISBN 5-02-013515-1 : Б. ц.
Рубрики: Философия--Логика Кл.слова (ненормированные): КЛАССИЧЕСКАЯ ЛОГИКА -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- РЕЛЕВАНТНАЯ ЛОГИКА -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ -- СИНТАКСИС -- СЕМАНТИКА Аннотация: Учебное пособие представляет собой систематическое изложение обширного курса логики, включающее логический анализ языка как знаковой системы, символическую логику (классическую и релевантную). Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Дегтярев, М. Г. |
Новые поступления (книга в стадии обработки) Иванов, Б. Н. Дискретная математика [Текст] : алгоритмы и программы : расширенный курс : учеб. пособие / Б. Н. Иванов. - М. : Известия, 2011. - 512 с. : ил. ; 22 см. - Библиогр.: с. 501-502 (35 назв.). - ISBN 978-5-206-00824-1 : 140.00 р. Гриф: рек. М-вом образования и науки Рос. Федерации в качестве учеб. пособия для студ. вузов, обучающихся по спец. "Прикладная математика и информатика"
Рубрики: Математика--Дискретная математика Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- БУЛЕВА АЛГЕБРА -- БУЛЕВЫ ФУНКЦИИ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ПРЕДИКАТЫ -- КОМБИНАТОРНЫЕ СХЕМЫ -- АБСТРАКТНЫЕ ОБЪЕКТЫ -- ТЕОРИЯ ГРАФОВ -- ТЕОРИЯ ГРУПП -- ТЕОРИЯ ЧИСЕЛ -- ТЕОРИЯ КОДИРОВАНИЯ -- КОМБИНАТОРНЫЕ ОБЪЕКТЫ Аннотация: Пособие включает все основные разделы курса дискретной математики. Изложение носит достаточно полный и строгий характер. Наиболее важные разделы курса, такие как математическая логика, комбинаторные схемы, теория графов и теория кодирования дополнены специальными разделами - представление абстрактных объектов, сортировка и поиск, двоичные деревья сравнений, сбалансированные деревья сравнений (АВЛ-деревья), хеширование, порождение комбинаторных объектов, теория коммутативных групп, элементы теории целых чисел. Увеличение объема материала позволило уточнить суть рассматриваемых вопросов, а также придать общее звучание разделам курса. Большое внимание уделяется построению формальных алгоритмов практического решения многочисленных задач компьютерного моделирования. Книгу можно рассматривать в качестве хорошего справочника методов и алгоритмов дискретной математики, широко применяемыми в практическом программировании. Реализация алгоритмов представлена на языках Pascal и C++. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Сборник задач по математической логике и алгебре множеств [Текст] : сборник задач / А. В. Гохман [и др.]. - Саратов : Изд-во Сарат. ун-та, 1965. - 87 с. : рис. ; 22 см. - 0.20 р.
Рубрики: Математика--Алгебра Математика--Математическая логика Кл.слова (ненормированные): ДВОИЧНАЯ БУЛЕВА АЛГЕБРА -- РЕЛЕЙНО-КОНТАКТНЫЕ СХЕМЫ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- ОПЕРАЦИИ НАД МНОЖЕСТВАМИ -- БИНАРНЫЕ ОТНОШЕНИЯ -- СПЕЦИАЛЬНЫЕ БИНАРНЫЕ ОТНОШЕНИЯ Аннотация: Большая часть задач сборника, относящихся к теории множеств, посвящена бинарным отношениям. Это объясняется тем, что бинарные отношения в последнее время приобретают все большее значение в различных разделах математики, а также тем, что им до сих пор уделялось очень мало внимания даже в монографической литературе. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Гохман, А. В. Спивак, М. А. Житомирский, Г. И. Розен, В. В. Рыжков, А. Г. Салий, В. Н. Шимельфениг, О. В. |
Новые поступления (книга в стадии обработки) Мендельсон, Э. Введение в математическую логику [Текст] / Э. Мендельсон ; пер. c англ. Ф. А. Кабакова ; под ред. С. И. Адяна = Introduction to mathematical logic / E. Mendelson : научное издание. - 2-е изд., испр. - М. : Изд-во "Наука", 1976. - 320 с. ; 22 см. - Библиогр.: с. 296-309. - 1.65 р. Загл. парал. на англ. яз.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ТЕОРИИ ПЕРВОГО ПОРЯДКА -- ФОРМАЛЬНАЯ АРИФМЕТИКА -- АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ -- ЭФФЕКТИВНАЯ ВЫЧИСЛИМОСТЬ -- ДОКАЗАТЕЛЬСТВО НЕПРОТИВОРЕЧИВОСТИ АРИФМЕТИКИ Аннотация: В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Кабаков, Ф. А. Адян, С. И. |
Новые поступления (книга в стадии обработки) Сборник задач по математической логике и алгебре множеств [Текст] : сборник задач / А. В. Гофман [и др.]. - 2-е изд., испр. и доп. - Саратов : Изд-во Сарат. ун-та , 1969. - 90 с. : черт. ; 20 см. - 0.16 р.
Рубрики: Математика--Математическая логика Математика--Алгебра Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- АЛГЕБРА МНОЖЕСТВ -- ДВОИЧНАЯ БУЛЕВАЯ АЛГЕБРА -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ПРЕДИКАТЫ -- БИНАРНЫЕ ОТНОШЕНИЯ Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Гофман, А. В. Спивак, М. А. Розен, В. В. Салий, В. Н. |
Новые поступления (книга в стадии обработки) Новиков, П. С. Элементы математической логики [Текст] : научное издание / П. С. Новиков. - М. : Гос. изд-во физико-мат. лит., 1959. - 400 с. ; 21 см. - (Математическая логика и основания математики). - 11.05 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): АКСИОМАТИЧЕСКАЯ АРИФМЕТИКА -- ТЕОРИЯ ДОКАЗАТЕЛЬСТВ -- ЛОГИКА ПРЕДИКАТОВ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ОСНОВАНИЯ МАТЕМАТИКИ Аннотация: Одной из основных задач математической логики остается анализ оснований математики. В настоящей книге сделана попытка дать по возможности доступное изложение основ математической логики. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Эдельман, С. Л. Математическая логика [Текст] : учеб. пособие / С. Л. Эдельман. - М. : Высшая школа, 1975. - 176 с. : ил. ; 20 см. - Библиогр.: с. 172 (14 назв.). - 0.30 р. Гриф: допущено М-вом просвещения СССР в качестве учеб. пособия для студ. пед. ин-тов
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): АЛГЕБРА ВЫСКАЗЫВАНИЙ -- АЛГЕБРА ПРЕДИКАТОВ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- АКСИОМЫ -- ОТНОШЕНИЕ ЭКВИВАЛЕНТНОСТИ Аннотация: Учебное пособие соответствует программе курса "Математическая логика" для пединститутов. Рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов. Включены задачи и упражнения по каждому из разделов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Косовский, Николай Кириллович. Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов [Текст] : учеб. пособие / Н. К. Косовский. - Ленинград : Издательство Ленинградского государственного университета, 1981. - 192 с. : ил. - Библиогр.: с. 75. - 0.40 р. Рубрики: Математика--Математическая логика Кл.слова (ненормированные): булевы функции -- исчисление высказываний -- логические исчисления -- математическая логика -- пособия для вузов -- предикты -- секвенциальное исчисление -- система Цермело-Френкеля -- субрекурсивные алгоритмы Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |