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

Базы данных


ЭБС "РУКОНТ" - результаты поиска

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

    Белова, Л. Ю..
    Элементы теории множеств и математической логики: теория и задачи [Текст] : учеб. пособие / Л. Ю. Белова, Ю. А. Белов. - Ярославль : ЯрГУ, 2012. - 204 с. : нет. - ISBN 978-5-8397-0878-5 : Б. ц.
УДК
510.23:510.6(075.8)
ББК 22.12я73

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


Доп. точки доступа:
Белов, Ю. А.
Яросл. гос. ун-т им. П. Г. Демидова, (Автор-коллектив)
Найти похожие
2.

    Белов, Ю. А..
    Лекции по математической логике и теории алгоритмов [Текст] : учеб. пособие / Ю. А. Белов, В. А. Соколов. - Ярославль : ЯрГУ, 2013. - 139 с. : нет. - ISBN 978-5-8397-0908-9 : Б. ц.
УДК
510.23:510.6(075.8)
ББК 22.12я73

Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- математика
Аннотация: Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
Полный текст/внешний ресурс   скачать: rucont.ru 


Доп. точки доступа:
Соколов, В. А.
Яросл. гос. ун-т им. П. Г. Демидова, (Автор-коллектив)
Найти похожие
3.

    Белов, Ю. А..
    Геометрические вопросы сложности дискретных задач [Текст] : учеб. пособие / Ю. А. Белов, В. А. Бондаренко, А. Н. Максименко. - Ярославль : ЯрГУ, 2006. - 77 с. : нет. - ISBN 978-5-8397-0479-2 : Б. ц.
ISBN 5-8397-0479-2
УДК
519.11/.14
ББК В183.4я73

Кл.слова (ненормированные):
задачи дискретной оптимизации -- комбинаторная теория многогранников -- геометрия -- многогранники -- алгоритмы
Аннотация: Излагается единый подход к качественному исследован то задач дискретной оптимизации, основанный на их геометрической интерпретации. В первой части приводятся необходимые факты из комбинаторной теории многогранников, рассматриваются многогранники основных комбинаторных задач. Во второй части пособия описываются основные алгоритмические схемы, используемые для решения оптимизационных задач, приводится геометрическое истолкование этих схем. В заключительной части устанавливаются нижние оценки сложности задач в широком классе алгоритмов. Ил. 2. Библиогр.: 34 назв.
Полный текст/внешний ресурс   скачать: rucont.ru 


Доп. точки доступа:
Бондаренко, В. А.
Максименко, А. Н.
Яросл. гос. ун-т, (Автор-коллектив)
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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