| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Электронный каталог - результаты поиска

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
В текущей базе данных найдено документов :18
 В других БД по вашему запросу найдено:ЭБС "ZNANIUM.com" (ИД "ИНФРА-М") (4)Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (22)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=510.6(075.8)<.>)
Общее количество найденных документов : 18
Показаны документы с 1 по 18
1.
A872124-ОХФ
   Столбоушкин, Алексей Петрович
    Математические основания информатики [Текст] : учеб. пособие / А. П. Столбоушкин, М. А. Тайцлин. - Тверь : [б. и.].
   Ч. 1. - Тверь : [б. и.], 1998. - 170, [2] с. - ISBN [Б. и.] : 15.00 р.
УДК
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- информатика -- автоматы -- логика предикатов


Доп. точки доступа:

Тайцлин, М. А.
Экземпляры всего: 1
ОХФ (1)
Найти похожие
2.
A874787-ОХФ, A874918-ОХФ, A874919-ОХФ, A874920-ОХФ
    Гамова, Алла Николаевна.
    Формальная логика [Текст] : учеб. пособие для студентов и аспирантов фак. гуманитар. и социал. наук / А. Н. Гамова. - Саратов : Издательство Саратовского университета, 2001. - 71, [1] с. - Библиогр. - ISBN 5-292-2589-5 : 20.00 р.
УДК
16(075.8)
510.6(075.8)

Рубрики: логика--логика

   математика--математическая логика

Кл.слова (ненормированные):
формальная логика -- суждения -- умозаключения -- математическая логика -- логика высказываний -- логика предикатов
Экземпляры всего: 4
ОХФ (4)
Найти похожие
3.
A884924-ОХФ-ЧЗ-4
    Колмогоров, Андрей Николаевич (1903-1987).
    Математическая логика [Текст] : учеб. пособие для студентов мат. специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; . - Москва : Едиториал УРСС, 2004. - 238, [2] c. - (Классический университетский учебник). - Библиогр. - ISBN 5-354-00389-X (в пер.) : 120.00 р.
УДК
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- множеств теория -- алгорифмов теория -- доказательств теория


Доп. точки доступа:
Драгалин, Альберт Григорьевич

Экземпляры всего: 1
ОХФ-ЧЗ-4 (1)
Найти похожие
4.
A885327-ОХФ, A885328-ОХФ, A885329-ОХФ
    Гамова, Алла Николаевна.
    Формальная логика [Текст] : учеб. пособие для студентов и аспирантов фак. гуманитар. и социал. наук / А. Н. Гамова. - 2-е изд., доп. - Саратов : Издательство Саратовского университета, 2003. - 68, [4] с. : ил. - Библиогр. - ISBN 5-292-02575-5 : 25.00 р.
УДК
16(075.8)
510.6(075.8)

Рубрики: логика--логика

   математика--математическая логика

Кл.слова (ненормированные):
формальная логика -- суждения -- умозаключения -- математическая логика -- логика высказываний -- логика предикатов
Держатели документа:
ЗНБ СГУ
Экземпляры всего: 3
ОХФ (3)
Найти похожие
5.
A962559-ОХФ, A962560-ОХФ-ЧЗ-4
    Успенский, Владимир Андреевич.
    Вводный курс математической логики [Текст] : [учеб. пособие] / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - Москва : ФИЗМАТЛИТ, 2004. - 125, [3] с. - Библиогр.: с. 122 (15 назв.). - Предм. указ.: с. 123-125. - ISBN 5-9221-0278-8 : 95.37 р.
На обл. авт. не указаны
УДК
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- множеств теория -- алгоритмов теория -- доказательств теория -- Геделя теорема


Доп. точки доступа:
Верещагин, Николай Константинович
Плиско, Валерий Егорович
Экземпляры всего: 2
ОХФ (1), ОХФ-ЧЗ-4 (1)
Найти похожие
6.
A965012-ОХФ
    Ершов, Юрий Леонидович.
    Математическая логика [Текст] : учеб. пособие / Ю. Л. Ершов, Е. А. Палютин. - 3-е изд., стер. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2004. - 336 с. - (Учебники для вузов. Специальная литература). - Предм. указ.: с. 335-336. - ISBN 5-8114-0533-2 (в пер.) : 225.00 р.
УДК
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- множеств теория -- доказательств теория -- исчисления высказываний -- исчисления предикатов -- алгоритмов теория


Доп. точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 1
ОХФ (1)
Найти похожие
7.
A966098-ОХФ, A966099-ОХФ-ЧЗ-4, A966100-ОХФ-ЧЗ-4
    Ершов, Юрий Леонидович.
    Математическая логика [Текст] : учеб. пособие / Ю. Л. Ершов, Е. А. Палютин. - 5-е изд., стер. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2005. - 336 с. - (Учебники для вузов. Специальная литература). - Предм. указ.: с. 335-336. - ISBN 5-8114-0533-2 : 190.43 р.
УДК
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- множеств теория -- доказательств теория -- исчисления высказываний -- исчисления предикатов -- алгоритмов теория


Доп. точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 3
ОХФ (1), ОХФ-ЧЗ-4 (2)
Найти похожие
8.
A973606-ОХФ-ЧЗ-4
    Успенский, Владимир Андреевич.
    Вводный курс математической логики [Текст] : учеб. пособие / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - Москва : ФИЗМАТЛИТ, 2007. - 125, [3] с. - Библиогр.: с. 122 (15 назв.). - Предм. указ.: с. 123-125. - ISBN 978-5-9221-0278-0 : 106.20 р.
На обл. авт. не указан
УДК
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- множеств теория -- алгоритмов теория -- доказательств теория -- Геделя теорема


Доп. точки доступа:
Верещагин, Николай Константинович
Плиско, Валерий Егорович
Экземпляры всего: 1
ОХФ-ЧЗ-4 (1)
Найти похожие
9.
Учебные отделы, A976416-ОХФ-ЧЗ-4,
    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - 2-е изд., стер. - Москва : Академия, 2008. - 446, [2] с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 435-442. - ISBN 978-5-7695-4593-1 (в пер.) : 320.10 р.
Допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студентов вузов, обучающихся по специальности 050201 "Математика"
УДК
510.5(075.8)
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- булевы функции -- логика предикатов -- исчисления высказываний -- аксиоматические теории
Экземпляры всего: 48
ОХФ-ЧЗ-4 (1), ОУОЕН (47)
Найти похожие
10.
Учебные отделы,
    Судоплатов, Сергей Владимирович.
    Математическая логика и теория алгоритмов [Текст] : учеб. для студентов, обучающихся по направлениям 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 Физико-математическое образование
УДК
510.5(075.8)
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- исчисления высказываний -- исчисления предикатов -- логика предикатов


Доп. точки доступа:
Овчинникова, Елена Викторовна
Экземпляры всего: 1
ОУОЕН (1)
Найти похожие
11.
A983160-ОХФ-ЧЗ-4
    Гринченков, Дмитрий Валерьевич.
    Математическая логика и теория алгоритмов для программистов [Текст] : учеб. пособие / Д. В. Гринченков, С. И. Потоцкий. - Москва : КНОРУС, 2010. - 206, [2] с. - Библиогр.: с. 205-206 (24 назв.). - ISBN 978-5-406-00120-2 (в пер.) : 140.00 р.
Допущено М-вом образования и науки РФ в качестве учеб. пособия для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"
УДК
510.5(075.8)
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- булева алгебра -- множеств теория -- нечеткие множества -- логическое программирование -- Пролог -- языки программирования


Доп. точки доступа:
Потоцкий, Сергей Иванович
Экземпляры всего: 1
ОХФ-ЧЗ-4 (1)
Найти похожие
12.
Учебные отделы, A915924-ОХФ-ЧЗ-4, A915925-ОХФ, A915926-ОХФ,
    Шапорев, Сергей Дмитриевич.
    Математическая логика [Текст] : курс лекций и практических занятий / С. Д. Шапорев. - Санкт-Петербург : БХВ-Петербург, 2007. - 410 с. : граф., табл. - (Учебное пособие). - Библиогр.: с. 405 (26 назв.). - Предм. указ.: с. 406-410. - ISBN 978-5-94157-702-6 (в пер.) : 149.20 р.
Допущено науч.-метод. советом по математике вузов Северо-Запада в качестве учеб. пособия для студентов вузов, обучающихся по специальностям 220200 "Автоматизированные системы обработки информации и управления", 171900 "Информационные системы в технике и технологиях"
УДК
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- исчисления высказываний -- исчисления предикатов -- логика предикатов
Экземпляры всего: 25
ОХФ-ЧЗ-4 (1), ОХФ (2), ОУОЕН (22)
Найти похожие
13.
A989306-ОХФ
    Игошин, Владимир Иванович.
    Математическая логика [Текст] : учебное пособие / В. И. Игошин. - Москва : Инфра-М, 2012. - 398, [2] с. + 1 эл. опт. диск (CD-ROM). - (Высшее образование). - Библиогр.: с. 389-392. - ISBN 978-5-16-005204-5 (в пер.) : 229.00 р.
Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по специальности 050201.65-математика
УДК
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгебра высказываний -- высказывания -- логика предикатов -- аксиоматические теории
Экземпляры всего: 1
ОХФ (1)
Найти похожие
14.
Учебные отделы,
   
    Упражнения по теории множеств и логике [Текст] : учеб. пособие для студентов по спец. 050708 "Педагогика и методика начального образования" / Г. В. Дюдяева [и др.] ; ред. П. М. Зиновьев ; Сарат. гос. ун-т им. Н. Г. Чернышевского, Пед. ин-т. - Саратов : [б. и.], 2005. - 46 с. - (Студентам, учителям, школьникам). - (в пер.) : 10.00 р.
УДК
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математика -- математическая логика -- множеств теория -- множества -- комбинаторика -- предикаты -- кванторы -- теоремы
Аннотация: Задачи, представленные в сборнике, помогут лучше усвоить следующие разделы курса : элементы теории множеств, комбинаторика, элементы логики.


Доп. точки доступа:
Дюдяева, Г. В.
Зиновьев, П. М.
Зиновьева, Т. Ф.
Орлова, И. Е.
Зиновьев, П. М.
Экземпляры всего: 100
ОУООПН-ЧЗ 13 (2), ОУООПН-АБ 3 (48), ОУООПН-АБ ЗО (50)
Найти похожие
15.
Новые поступления (книга в стадии обработки)
   
    Методы решения логических задач [Текст] : учебное пособие / Н. А. Александрова [и др.] ; Сарат. гос. ун-т им. Н. Г. Чернышевского, Пед. ин-т. - Саратов : Рата, 2009. - 49 с. - ISBN 978-5-91659-066-1 (в пер.) : 5.00 р.
УДК
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
логические задачи -- математическая логика -- решение задач


Доп. точки доступа:
Александрова, Наталья Алексеевна
Голубцов, Валерий Николаевич
Козырев, Андрей Кириллович
Храмова, Марина Викторовна
Экземпляры всего: 1
ОУООПН-ЧЗ 13 (1)
Найти похожие
16.
Учебные отделы, A994299-ОХФ, A994300-ОХФ, A994301-ОХФ-ЧЗ-4,
    Лапшева, Елена Евгеньевна.
    Математическая логика [Текст] : учебное пособие для студентов факультета компьютерных наук и информационных технологий / Е. Е. Лапшева, М. В. Огнева ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 2015. - 124 с. : ил. - Библиогр.: с. 115 (4 назв.). - ISBN 978-5-292-04346-1 : 261.32 р., 261.31 р.
УДК
510.6(075.8)

Кл.слова (ненормированные):
математическая логика -- логические функции -- Карно-Вейча метод -- алгебра логики -- логика высказываний


Доп. точки доступа:
Огнева, Марина Валентиновна
Экземпляры всего: 38
ОХФ (2), ОХФ-ЧЗ-4 (1), ОУОЕН (35)
Найти похожие
17.
Учебные отделы, A994305-ОХФ, A994306-ОХФ, A994307-ОХФ-ЧЗ-4,
    Гамова, Алла Николаевна.
    Сложность вычислений [Текст] : учебное пособие для студентов и магистров факультета компьютерных наук и информационных технологий / А. Н. Гамова ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 2015. - 79, [4] с. : ил., табл. - Библиогр.: с. 81 (6 назв.). - ISBN 978-5-292-04343-0 : 235.95 р., 235.94 р.
УДК
510.6(075.8)
519.6(075.8)

Рубрики: математика--математическая логика--вычислительная математика

Кл.слова (ненормированные):
математическая логика -- Тьюринга машина -- вычислительная сложность -- приближенные вычисления



Экземпляры всего: 33
ОХФ (2), ОХФ-ЧЗ-4 (1), ОУОЕН (30)
Найти похожие
18.
Учебные отделы, A996156-ОХФ,
    Игошин, Владимир Иванович.
    Математическая логика [Текст] : учебное пособие / В. И. Игошин. - Москва : ИНФРА-М, 2017. - 398, [2] с. : ил., табл. - (Высшее образование: Бакалавриат). - Библиогр.: с. 389-392. - ISBN 978-5-16-011691-4 (print) (в пер.) : 1006.39 р.
Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по направлению подгот. 44.03.05 "Педагогическое образование" (квалификация (степень) "бакалавр")
УДК
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгебра высказываний -- высказывания -- логика предикатов -- аксиоматические теории
Экземпляры всего: 24
ОХФ (1), ОУОЕН (23)
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)