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

Базы данных


Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=алгорифмы<.>)
Общее количество найденных документов : 5
Показаны документы с 1 по 5
1.

Вид документа : Однотомное издание
Шифр издания : 510/М 50
Автор(ы) : Мендельсон Э.
Заглавие : Введение в математическую логику . -3.изд.
Выходные данные : М.: Наука, 1984
Колич.характеристики :320 с. ; 22см
Цена : 1.80 р.
ГРНТИ : 27.03
УДК : 510.6
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): исчисление--тавтологии--кванторы--теоремы--изоморфизмы--арифметика--арифметические функции--теорема гёделя--теорема тарского--система робинсона--числа--порядковые числа--гёдель--хартогс--теорема хартогса--алгорифмы маркова--алгорифмы тьюринга--алгорифмы--марков--тьюринг
Аннотация: В книге освещается широкий круг вопросов. В ней излагаются следующие темы: логика высказываний и логика предиктов, элементарные теории, формализованная арифметика, аксиоматическая теория множеств, теория алгоритмов. Изложению присуща ясность, простота и лаконичность. Значительная роль в книге отведена упражнениям, куда вынесена часть материала, используемого в основном тексте.
Найти похожие

2.

Вид документа : Однотомное издание
Шифр издания : 517/М 27
Автор(ы) : Марков А. А.
Заглавие : Теория алгорифмов
Выходные данные : М.: Наука, 1984
Колич.характеристики :432 с.: ил.; 20см
Цена : 3.30 р.
ГРНТИ : 27.03.17
УДК : 517
ББК : 22.12
Предметные рубрики: Математика-- Анализ
Ключевые слова (''Своб.индексиров.''): математический анализ--алгорифмы--семантика--семиотика--переменная--импликации
Найти похожие

3.

Вид документа : Многотомное издание
Шифр издания : 519.17/З-96
Автор(ы) : Зыков А. А.
Заглавие : Теория конечных графов = Theory of finite graphs: монография/ А. А. Зыков ; отв. ред. В. Г. Визинг ; Ин-т математики. - Тит. л. парал. на англ яз. Т. 1
Выходные данные : Новосибирск: Изд-во "Наука", Сибир. отд-ние, 1969
Колич.характеристики :544 с.: ил., рис.; 22 см
Коллективы : Ин-т математики, Акад. наук СССР, Сибир. отд-ние
Примечания : Библиогр.: с. 515-542
Цена : 2.37 р.
ГРНТИ : 21.45
УДК : 519.17
Предметные рубрики: Математика-- Теория графов
Ключевые слова (''Своб.индексиров.''): математические науки--графы--задачи--алгорифмы
Аннотация: Настоящая монография почти не содержит готовых рецептов решения отдельных задач. Она предназначена для систематического изучения теории графов и ставит целью подготовить читателя к самостоятельной работе5 в этой области, а также к поискам практически эффективных алгорифмов решения прикладных задач.
Найти похожие

4.

Вид документа : Однотомное издание
Шифр издания : 518/У 36
Автор(ы) : Уилкинсон Дж. Х.
Заглавие : Алгебраическая проблема собственных значений : монография
Параллельн. заглавия :The algebraic eigenvalue problem/ J. H. Wilkinson
Выходные данные : М.: Изд-во "Наука", 1970
Колич.характеристики :564 с. ; 27 см
Примечания : Библиогр.: с. 559-564. - Тит. л. парал. на англ. яз.
Цена : 3.41 р.
ГРНТИ : 27.41
УДК : 518.12
Предметные рубрики: Математика-- Вычислительная математика
Ключевые слова (''Своб.индексиров.''): собственные значения--численные методы--алгебра--матрицы--методы решения--алгебраические уравнения--линейные уравнения--теория возмущений--эрмитовы матрицы--алгорифмы--итерационные методы
Аннотация: Книга посвящена численным методам отыскания собственных значений матриц и соответствующих им собственных векторов. Представлены методы решения и других задач алгебры, таких, как решение систем линейных алгебраических уравнений, отысканию корней функций и т. д.
Найти похожие

5.

Вид документа : Однотомное издание
Шифр издания : 22.12
Автор(ы) : Марков, Андрей Андреевич
Заглавие : Элементы математической логики
Выходные данные : Москва: Издательство Московского государственного университета, 1984
Колич.характеристики :79 с
Цена : 0.40 р.
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): алгорифмы--высказывания--логика высказываний--математическая логика--предикаты--семиотика
Найти похожие

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

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