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

Базы данных


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

Виды поиска

Область поиска
В текущей базе данных найдено документов :6
 В других БД по вашему запросу найдено:Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (6)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Верещагин, Николай Константинович$<.>)
Общее количество найденных документов : 6
Показаны документы с 1 по 6
1.

Вид документа : Многотомное издание
Шифр издания : 884126
51.081(075)/В31
Автор(ы) : Верещагин, Николай Константинович
Заглавие : Лекции по математической логике и теории алгоритмов/ Н. К. Верещагин, А. Шень. - (Современные лекционные курсы. Математическая логика и теория алгоритмов). Ч. 1: Начала теории множеств
Выходные данные : Москва: Моск. Центр непрерыв. мат. образования, 1999
Колич.характеристики :126, [2] с
Примечания : На обл. авт. не указаны
ISBN, Цена 5-900916-36-7: 25.00 р.
УДК : 510.22(075)
Предметные рубрики: математика-- математика
Ключевые слова (''Своб.индексиров.''): множеств теория
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие

2.

Вид документа : Многотомное издание
Шифр издания : 794677
51.017/В31
Автор(ы) : Верещагин, Николай Константинович
Заглавие : Лекции по математической логике и теории алгоритмов/ Н. К. Верещагин, А. Шень. - (Современные лекционные курсы. Математическая логика и теория алгоритмов). Ч. 3: Вычислимые функции
Выходные данные : Москва: Моск. Центр непрерыв. мат. образования, 1999
Колич.характеристики :173, [3] с
Примечания : Авт. и загл. кн. указаны на тит. л.
ISBN, Цена 5-900916-39-1: 40.00 р.
УДК : 510.57(075)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): вычислимые функции--тьюринга машина--рекурсивные функции
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие

3.

Вид документа : Многотомное издание
Шифр издания : 574743
51.013/В31
Автор(ы) : Верещагин, Николай Константинович
Заглавие : Лекции по математической логике и теории алгоритмов/ Н. К. Верещагин, А. Шень. - (Современные лекционные курсы. Математическая логика и теория алгоритмов). Ч. 2: Языки и исчисления
Выходные данные : Москва: Моск. Центр непрерыв. мат. образования, 2000
Колич.характеристики :286, [2] с
Примечания : Авт. и загл. указаны на тит. л.
ISBN, Цена 5-900916-66-9: 40.00 р.
УДК : 510.6(075)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--логика высказываний--исчисления высказываний--исчисления предикатов--языки первого порядка
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие

4.

Вид документа : Однотомное издание
Шифр издания : 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)
Найти похожие

5.

Вид документа : Однотомное издание
Шифр издания : 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)
Найти похожие

6.

Вид документа : Однотомное издание
Шифр издания : 510.5/В 317
Автор(ы) : Верещагин, Николай Константинович, Успенский, Владимир Андреевич, Шень, Александр
Заглавие : Колмогоровская сложность и алгоритмическая случайность
Выходные данные : Москва: Издательство МЦНМО, 2013
Колич.характеристики :575, [1] с
Примечания : Библиогр.: с. 546-558 (194 назв.). - Предм. указ.: с. 559-567. - Указ. имён: с. 568-570
ISBN (в пер.), Цена 978-5-4439-0212-8: 552.00 р.
УДК : 510.5
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): алгоритмическая теория информации--колмогоровская сложность--шенновская энтропия--алгоритмическая случайность--вероятностей теория--вычислительная сложность
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие

 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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