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

Базы данных


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

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
В текущей базе данных найдено документов :6
 В других БД по вашему запросу найдено:Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (6)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=доказательств теория<.>)
Общее количество найденных документов : 6
Показаны документы с 1 по 6
1.

Вид документа : Однотомное издание
Шифр издания : 075763
51.01+1Н252+Pers.Драгалин А. Г./Д72
Автор(ы) : Драгалин, Альберт Григорьевич
Заглавие : Конструктивная теория доказательств и нестандартный анализ
Выходные данные : Москва: Едиториал УРСС, 2003
Колич.характеристики :543, [1] с.: портр.
Примечания : Библиогр.
ISBN (в пер.), Цена 5-354-00387-3: 125.00 р.
УДК : 510.2 + 510.2:1 + 929Драгалин
Предметные рубрики: математика-- математическая логика --Россия, 20 в., 1941-1998 гг.
философия-- философия науки --Россия, 20 в., 1941-1998 гг.
Ключевые слова (''Своб.индексиров.''): математическая логика--доказательств теория--нестандартный анализ--конструктивные методы--интуиционизм--персоналии--математики--философия математики
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
2.

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

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

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

Вид документа : Однотомное издание
Шифр издания : 539752
51.01(075)/Е 804
Автор(ы) : Ершов, Юрий Леонидович, Палютин, Евгений Андреевич
Заглавие : Математическая логика : учеб. пособие . -5-е изд., стер.
Выходные данные : Санкт-Петербург; Москва; Краснодар: Лань, 2005
Колич.характеристики :336 с
Серия: Учебники для вузов. Специальная литература
Примечания : Предм. указ.: с. 335-336
ISBN, Цена 5-8114-0533-2: 190.43 р.
УДК : 510.6(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--множеств теория--доказательств теория--исчисления высказываний--исчисления предикатов--алгоритмов теория
Экземпляры : всего : ОХФ(1), ОХФ-ЧЗ-4(2)
Свободны : ОХФ(1), ОХФ-ЧЗ-4(2)
Найти похожие
6.

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

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