Новые поступления (книга в стадии обработки) Логика и клиническая диагностика [Текст] : учебник для вузов / В. А. Смирнов, А. М. Анисов, Г. П. Арутюнов. - М. : Наука, 1994. - 297 с. ; 24см. - (Обновление гуманитарного образования в России). - ISBN 5020135933 : б/ц.
Рубрики: Медицина--Клиническая медицина Кл.слова (ненормированные): клиническая диагностика -- логика -- логика предикатов -- клинические синдромы -- диагностика -- параметры -- симптомы Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Смирнов, В. А. Анисов, А. М. Арутюнов, Г. П. |
Новые поступления (книга в стадии обработки) Переверзев, Василий Николаевич. Логистика [Текст] : справ. кн. по логике / Василий Николаевич Переверзев. - Москва : Мысль, 1995. - 222 с. : ил. - Библиогр. - ISBN 5-244-00798-X (в пер.) : 4500.00 р.
Рубрики: логика--логика Кл.слова (ненормированные): история логики -- понятия -- суждения -- умозаключения -- высказывания -- логический синтаксис -- логическая семантика -- логическая прагматика -- логика предикатов -- логистика -- логика Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Столбоушкин, Алексей Петрович Математические основания информатики [Текст] : учеб. пособие / А. П. Столбоушкин, М. А. Тайцлин. - Тверь : [б. и.]. Ч. 1. - Тверь : [б. и.], 1998. - 170, [2] с. - ISBN [Б. и.] : 15.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- информатика -- автоматы -- логика предикатов Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Тайцлин, М. А. |
Новые поступления (книга в стадии обработки) Гамова, Алла Николаевна. Формальная логика [Текст] : учеб. пособие для студентов и аспирантов фак. гуманитар. и социал. наук / А. Н. Гамова. - Саратов : Издательство Саратовского университета, 2001. - 71, [1] с. - Библиогр. - ISBN 5-292-2589-5 : 20.00 р.
Рубрики: логика--логика математика--математическая логика Кл.слова (ненормированные): формальная логика -- суждения -- умозаключения -- математическая логика -- логика высказываний -- логика предикатов Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Смирнов, Владимир Александрович. Логические методы анализа научного знания [Текст] : научное издание / В. А. Смирнов ; . - Москва : Эдиториал УРСС, 2002. - 263, [1] с. - Библиогр. - ISBN 5-8360-0308-4 (в пер.) : 65.00 р.
Рубрики: философия--философия науки Кл.слова (ненормированные): научное знание -- методология науки -- теория -- язык -- логика предикатов -- математическая логика -- персоналии -- эмпирическая интерпретация -- философия математической логики Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: |
Новые поступления (книга в стадии обработки) Игошин, Владимир Иванович. Математическая логика и теория алгоритмов [Текст] : учеб. пособ. для студентов физ.-мат. спец. пед. ин-тов / Владимир Иванович Игошин. - Саратов : Издательство Саратовского университета, 1991. - 255, [2] c. - Библиогр. - ISBN 5-292-00259-3 (в пер.) : 25.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- исчисления высказываний -- логика предикатов -- булевы функции Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Гамова, Алла Николаевна. Формальная логика [Текст] : учеб. пособие для студентов и аспирантов фак. гуманитар. и социал. наук / А. Н. Гамова. - 2-е изд., доп. - Саратов : Издательство Саратовского университета, 2003. - 68, [4] с. : ил. - Библиогр. - ISBN 5-292-02575-5 : 25.00 р.
Рубрики: логика--логика математика--математическая логика Кл.слова (ненормированные): формальная логика -- суждения -- умозаключения -- математическая логика -- логика высказываний -- логика предикатов Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Игошин, Владимир Иванович. Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - Москва : Академия, 2005. - 302, [2] с. : ил. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 301 (22 назв.). - ISBN 5-7695-1364-0 (в пер.) : 194.10 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- булевы функции -- логика предикатов -- исчисления высказываний Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Игошин, Владимир Иванович. Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учеб. пособие для вузов / В. И. Игошин. - 2-е изд., стереотип. - Москва : Академия, 2006. - 304 с. - (Высшее профессиональное образование). - ISBN 5-7695-2914-8 : 50 р. Рубрики: Математика--Математическая логика Кл.слова (ненормированные): алгебра высказываний -- булевы функции -- задачи -- логика предикатов -- пособия для ВУЗов -- теория алгоритмов -- упражнения -- учебники для вузов -- учебные пособия для вузов -- формализованное исчисление высказываний Аннотация: Содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |
Новые поступления (книга в стадии обработки) Игошин, Владимир Иванович. Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - 3-е изд., стер. - Москва : Академия, 2007. - 302, [2] с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 301 (22 назв.). - ISBN 5-7695-3728-0 (в пер.) : 229.90 р. Допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студентов вузов, обучающихся по специальности 032100 "Математика"
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- булевы функции -- логика предикатов -- исчисления высказываний Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Игошин, В. И. Математическая логика и теория алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - 2-е изд., стер. - М. : ИЦ "Академия", 2008. - 448 с. ; 22 см. - (Высшее профессиональное образование). - Библиогр.: с. 435-442. - ISBN 978-5-7695-4593-1 : 350.00 р. Гриф: допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студ. вузов, обуч. по спец. 050201 "Математика"
Рубрики: Математика--Математическая логика Математика--Теория алгоритмов Кл.слова (ненормированные): АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ФОРМАЛИЗОВАННОЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ -- НЕФОРМАЛЬНЫЕ АКСИОМАТИЧЕСКИЕ ТЕОРИИ -- ФОРМАЛЬНЫЕ АКСИОМАТИЧЕСКИЕ ТЕОРИИ -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Судоплатов, Сергей Владимирович. Математическая логика и теория алгоритмов [Текст] : учеб. для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование / С. В. Судоплатов, Е. В. Овчинникова ; Новосиб. гос. техн. ун-т. - Новосибирск : Изд-во НГТУ, 2008. - 223, [1] с. - (Высшее образование). - Библиогр.: с. 212-214. - ISBN 978-5-16-001975-8 (ИНФРА-М) (в пер.). - ISBN 978-5-7782-0458-4 (НГТУ) : 154.00 р. Рекомендуется в качестве учеб. для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- исчисления высказываний -- исчисления предикатов -- логика предикатов Аннотация: В книге излагаются основные исчисления математической логики. Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Овчинникова, Елена Викторовна |
Новые поступления (книга в стадии обработки) Лихтарников, Леонид Моисеевич. Математическая логика [Текст] : курс лекций : задачник практикум и решения / Л. М. Лихтарников, Т. Г. Сукачева. - 3-е изд., испр. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2008. - 276, [12] с. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 273 (12 назв.). - ISBN 978-5-8114-0082-9 (в пер.) : 304.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгебра логики -- исчисления высказываний -- логика предикатов -- алгоритмы Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Сукачева, Тамара Геннадьевна Сукачёва, Тамара Геннадьевна |
Новые поступления (книга в стадии обработки) Шапорев, Сергей Дмитриевич. Математическая логика [Текст] : курс лекций и практических занятий / С. Д. Шапорев. - Санкт-Петербург : БХВ-Петербург, 2007. - 410 с. : граф., табл. - (Учебное пособие). - Библиогр.: с. 405 (26 назв.). - Предм. указ.: с. 406-410. - ISBN 978-5-94157-702-6 (в пер.) : 149.20 р. Допущено науч.-метод. советом по математике вузов Северо-Запада в качестве учеб. пособия для студентов вузов, обучающихся по специальностям 220200 "Автоматизированные системы обработки информации и управления", 171900 "Информационные системы в технике и технологиях"
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- исчисления высказываний -- исчисления предикатов -- логика предикатов Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Игошин, Владимир Иванович. Математическая логика [Текст] : учебное пособие / В. И. Игошин. - Москва : Инфра-М, 2012. - 398, [2] с. + 1 эл. опт. диск (CD-ROM). - (Высшее образование). - Библиогр.: с. 389-392. - ISBN 978-5-16-005204-5 (в пер.) : 229.00 р. Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по специальности 050201.65-математика
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгебра высказываний -- высказывания -- логика предикатов -- аксиоматические теории Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Игошин, Владимир Иванович. Сборник задач по математической логике и теории алгоритмов [Текст] : учебное пособие / В. И. Игошин. - Москва : КУРС : ИНФРА-М, 2017. - 392 с. : ил., табл. - (Бакалавриат). - Библиогр.: с. 388-390 (50 назв.). - ISBN 978-5-906818-08-9 (КУРС) (в пер.). - ISBN 978-5-16-011429-3 (ИНФРА-М) : 1078.00 р. Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по направлению 44.03.01 "Педагогическое образование" (квалификация Бакалавр)
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- булевы функции -- логика предикатов -- логика высказываний -- исчисления высказываний Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Игошин, Владимир Иванович. Математическая логика [Текст] : учебное пособие / В. И. Игошин. - Москва : ИНФРА-М, 2017. - 398, [2] с. : ил., табл. - (Высшее образование: Бакалавриат). - Библиогр.: с. 389-392. - ISBN 978-5-16-011691-4 (print) (в пер.) : 1006.39 р. Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по направлению подгот. 44.03.05 "Педагогическое образование" (квалификация (степень) "бакалавр")
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгебра высказываний -- высказывания -- логика предикатов -- аксиоматические теории Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Розен, Виктор Владимирович Введение в дискретную математику [Текст] : учебное пособие для студентов, изучающих курс дискретной математики и смежные дисциплины : 2 ч. / В. В. Розен, Ю. А. Бродская ; Сарат. нац. исслед. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 2016 - . - ISBN 978-5-292-04411-6. Ч. 1. - Саратов : Издательство Саратовского университета, 2016. - 90, [2] с. : ил. - ). - Библиогр.: с. 89 (13 назв.). - ISBN 978-5-292-04407-9 (ч. 1) : 233.59 р.
Рубрики: математика--комбинаторный анализ--теория графов Кл.слова (ненормированные): дискретная математика -- математическая логика -- математические структуры -- логика высказываний -- логика предикатов -- бинарные отношения -- универсальная алгебра -- полугруппы -- кольца Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Бродская, Юлия Анатольевна |
Новые поступления (книга в стадии обработки) Лихтарников, Л. М. Математическая логика. Курс лекций. Задачник-практикум и решения [Текст] : учеб. пособие для студ. вузов, обучающихся по математическим спец. / Л. М. Лихтарников. - СПб. : Лань, 1998. - 288 с. ; 21см. - ISBN 5811400829 : 35р. р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): алгебра логики -- логика предикатов -- алгоритмы -- исчисление высказываний Аннотация: Учебное пособие предназначено для студентов университетов и пед. институтов, изучающих курс математической логики. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Бочаров, В. А. Основы логики [Текст] : учебник для вузов / В. А. Бочаров, В. И. Маркин. - М. : ИНФРА-М, 2002. - 296 с. ; 22см. - (Высшее образование). - ISBN 5160008705 : 77.00 р.
Рубрики: Философия--Логика Кл.слова (ненормированные): философия -- логика -- логические законы -- логические теории -- логика высказываний -- логика предикатов -- силлогистика Аннотация: Представляет собой введение в проблематику современной логики, содержит изложение основных ее разделов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Маркин, В. И. |