Web ИРБИС


	\| начало \| написать нам \| в избранное \| сделать стартовой \|

ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных

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

Виды поиска

Электронный каталог

ЭБС "ЛАНЬ"

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")

Электронная библиотека

Известные деятели культуры в Саратовской губернии

Работы В. А. Артисевич и литература о ней

Издания вузовских библиотек Среднего и Нижнего Поволжья

Публикации учёных СГУ

Краеведческий обзор

Поступления журналов в ЗНБ СГУ

БД коллекций в фонде ЗНБ СГУ

БД выпускных квалификационных работ

Сводный каталог библиотек (СГУ, СГТУ, ЦБС)

Область поиска

В текущей базе данных найдено документов :9

В других БД по вашему запросу найдено:

Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (7)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>KL=исчисления предикатов<.>)

Общее количество найденных документов : 9
Показаны документы с 1 по 9

A870312-ОХФ, A872397-ОХФ
Гамова, Алла Николаевна.
Математическая логика и теория алгоритмов [Текст] : учеб. пособие для студентов и аспирантов мат. фак. ун-та / А. Н. Гамова. - Саратов : Издательство Саратовского университета, 1999. - 76 с. : ил. - Библиогр. - ISBN 5-292-02362-0 : 15.00 р.

УДК

[510.5+510.63](075.8)

A873165-ОХФ, A873166-ОХФ, A873167-ОХФ, A873168-ОХФ, A876863-ОХФ
Гамова, Алла Николаевна.
Математическая логика и теория алгоритмов [Текст] : учеб. пособие для студентов мех.-мат. фак. и фак. компьютер. наук и информ. технологий / А. Н. Гамова. - 2-е изд., доп. - Саратов : Издательство Саратовского университета, 2000. - 78, [2] с. - Библиогр. - ISBN 5-292-02515-1 : 25.00 р.

УДК

[510.5+510.63](075.8)

A875392-ОХФ
   Верещагин, Николай Константинович
    Лекции по математической логике и теории алгоритмов [Текст] / Н. К. Верещагин, А. Шень. - Москва : Моск. центр непрерыв. мат. образования. - (Современные лекционные курсы. Математическая логика и теория алгоритмов).
   Ч. 2 : Языки и исчисления. - Москва : Моск. Центр непрерыв. мат. образования, 2000. - 286, [2] с. - ISBN 5-900916-66-9 : 40.00 р.
Авт. и загл. указаны на тит. л.

УДК

510.6(075)

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

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

Доп. точки доступа:
Шень, А.
Экземпляры всего: 1
ОХФ (1)
Найти похожие

A886404-ОХФ, A888530-ОХФ, A888531-ОХФ
Судоплатов, Сергей Владимирович.
Математическая логика и теория алгоритмов [Текст] : учеб. для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование / С. В. Судоплатов, Е. В. Овчинникова. - Москва ; Новосибирск : ИНФРА-М : Изд-во Новосиб. гос. техн. ун-та, 2004. - 223, [1] с. - (Высшее образование). - Библиогр. с. 212-214. - ISBN 5-16-001975-8 (ИНФРА-М) (в пер.). - ISBN 5-7782-0458-2 (НГТУ) : 85.50 р., 52.80 р.

УДК

[510.5+510.6](075.6)

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

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

Доп. точки доступа:
Овчинникова, Елена Викторовна
Экземпляры всего: 3
ОХФ (3)
Найти похожие

A965012-ОХФ
Ершов, Юрий Леонидович.
Математическая логика [Текст] : учеб. пособие / Ю. Л. Ершов, Е. А. Палютин. - 3-е изд., стер. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2004. - 336 с. - (Учебники для вузов. Специальная литература). - Предм. указ.: с. 335-336. - ISBN 5-8114-0533-2 (в пер.) : 225.00 р.

УДК

510.6(075.8)

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

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

Доп. точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 1
ОХФ (1)
Найти похожие

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

УДК

510.6(075.8)

A969503-ОХФ, A969619-ОХФ, A969620-ОХФ
Гамова, Алла Николаевна.
Математическая логика и теория алгоритмов [Текст] : учеб. пособие / А. Н. Гамова ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - 3-е изд., доп. - Саратов : Издательство Саратовского университета, 2006. - 83, [2] с. - Библиогр.: с. 84 (6 назв.). - ISBN 5-292-03595-5 : 35.00 р., 30.00 р.
Рекомендовано Ред.-изд. советом Сарат. гос. ун-та в качестве учеб. пособия для студентов мех.-мат. фак. и фак. компьютер. наук и информ. технологий

УДК

510.5(075.8)

510.63(075.8)

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

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- Тьюринга машина -- исчисления предикатов -- исчисления высказываний -- вычислительная сложность
Аннотация: Учебное пособие состоит из двух разделов: исчисления и алгоритмы. Теоретический материал сопровождается примерами решения задач и упражнениями. Для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий Саратовского государственного университета
Держатели документа:
ЗНБ СГУ

Экземпляры всего: 3
ОХФ (3)
Найти похожие

Учебные отделы,
Судоплатов, Сергей Владимирович.
Математическая логика и теория алгоритмов [Текст] : учеб. для студентов, обучающихся по направлениям 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)
Найти похожие

Учебные отделы, 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)
Найти похожие

Стандартный (по одному полю)

По словарю (по одному полю)

Профессиональный (по нескольким полям со словарями)

Распределенный (г. Саратов)

Расширенный

Авторизация

Фамилия

Пароль

Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)