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

Базы данных


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

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

Вид документа : Однотомное издание
Шифр издания : 982878
Автор(ы) : Крупский, Владимир Николаевич, Плиско, Валерий Егорович
Заглавие : Теория алгоритмов : учеб. пособие для студентов вузов
Выходные данные : Москва: Изд. центр "Академия", 2009
Колич.характеристики :205, [3] с
Серия: Университетский учебник .
    Прикладная математика и информатика
Примечания : Библиогр.: с. 203 (19 назв.). - Допущено Науч.-метод. советом по математике М-ва образования и науки РФ в качестве учеб. пособия для студентов вузов, обучающихся по направлениям "Информатика и вычислительная техника", "Информационные системы и технология"
ISBN (в пер.), Цена 978-5-7695-5293-9: 365.20 р.
УДК : 510.5(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): алгоритмов теория--тьюринга машина--рекурсивные функции--вычислительная сложность
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 343416
Автор(ы) : Гринченков, Дмитрий Валерьевич, Потоцкий, Сергей Иванович
Заглавие : Математическая логика и теория алгоритмов для программистов : учеб. пособие
Выходные данные : Москва: КНОРУС, 2010
Колич.характеристики :206, [2] с
Примечания : Библиогр.: с. 205-206 (24 назв.). - Допущено М-вом образования и науки РФ в качестве учеб. пособия для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"
ISBN (в пер.), Цена 978-5-406-00120-2: 140.00 р.
УДК : 510.5(075.8) + 510.6(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--булева алгебра--множеств теория--нечеткие множества--логическое программирование--пролог--языки программирования
Аннотация: Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации.
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 645909
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Основы теории алгоритмов : лекции для студентов, изучающих информатику и информ. технологии
Выходные данные : Саратов: Издательский центр "Наука", 2008
Колич.характеристики :96, [1] с
Коллективы : Сарат. гос. ун-т им. Н. Г. Чернышевского
Примечания : Библиогр.: с. 92-94 (72 назв.)
ISBN, Цена 978-5-91272-541-8: 85.00 р.
УДК : 510.5(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): алгоритмов теория--тьюринга машина--вычислимые функции--рекурсивные функции--перечислимость
Аннотация: Курс "Теория алгоритмов" является непосредственным продолжением курса математической логики, учебником по которому служит книга В. И. Игошин. Математическая логика и теория алгоритмов. - М.: Издательский центр "Академия", 2004, 2008. - 448 с. В предлагаемом учебном пособии более детально и подробно, нежели в указанном учебнике, изложены вопросы, относящиеся к теории алгоритмов. С большим количеством примеров рассмотрены три формализации алгоритмов - машины Тьюринга, рекурсивные функции, алгоритмы Маркова, и доказана их эквивалентность. Затем рассматривается начало общей теории вычислимости - нумерация алгоритмов и вычислимых функций, метод диагонализации, алгоритмическая теория множеств (разрешимость и перечислимость множеств), алгоритмически неразрешимые массовые проблемы. В качестве сборника задач по курсу "Теория алгоритмов" предлагается использовать книгу В. И. Игошин. Задачи и упражнения по математической логике и теории алгоритмов. - М.: Издательский центр "Академия", 2005, 2006, 2007. - 304 с. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика", "Прикладная информатика" и изучающих информатику и информационные технологии.
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 510(075)/Ф 19
Автор(ы) : Фалевич Б. Я.
Заглавие : Теория алгоритмов : учеб. пособие для студ. вузов, обучающихся по направлению "Информатика и вычислительная техника"
Выходные данные : М.: Машиностроение, 2004
Колич.характеристики :160 с.: ил.; 21 см
Примечания : Библиогр.: с. 160 (16 назв.). - Допущено М-вом образования РФ
ISBN, Цена 5-217-03249-9: 88.00,130.55 р.
ГРНТИ : 27.47.01.33
УДК : 510.5(075.8)
ББК : 22.12
Предметные рубрики: Математика-- Теория алгоритмов
Ключевые слова (''Своб.индексиров.''): математика--теория информации--алгоритмы--машина тьюринга--рекурсивные функции--теория множеств--алгорифмы маркова--алгорифмы тьюринга--теория графов--массовые проблемы--предикаты
Аннотация: Освещены вопросы: алгоритмы и массовые проблемы, их вычислительная сложность, сводимость, массовых проблем, формализация понятия алгоритма в терминах машины Тьюринга, нормальных алгоритмов и рекурсивных функций и т. д.
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 510.5(075.8)
Автор(ы) : Глухов, Михаил Михайлович, Шишков, Алексей Борисович
Заглавие : Математическая логика. Дискретные функции. Теория алгоритмов : учебное пособие
Выходные данные : Санкт-Петербург; Москва; Краснодар: Лань, 2012
Колич.характеристики :405, [9] с.: ил., табл.
Серия: Учебники для вузов. Специальная литература
Примечания : Библиогр.: с. 398-401 (76 назв.). - Рекомендовано УМО вузов России по образованию в обл. информац. безопасности в качестве учеб. пособия для студентов вузов, обучающихся по направлению подгот. (специальности) 090301 - "Компьютерная безопасность" и 090303 - "Информационная безопасность автоматизированных систем"
ISBN (в пер.), Цена 978-5-8114-1344-7: 767.00 р.
УДК : 510.5(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--дискретные функции
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : 510.5(075.8)
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Теория алгоритмов : учебное пособие
Выходные данные : Москва: Инфра-М, 2012
Колич.характеристики :317, [3] с
Серия: Высшее образование
Примечания : Библиогр.: с. 306-311 (110 назв.). - Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по специальности 050201.65 - математика
ISBN (в пер.), Цена 978-5-16-005205-2: 231.00 р.
УДК : 510.5(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): алгоритмов теория--тьюринга машина--рекурсивные функции--вычислительная сложность--массовые проблемы--алгоритмические проблемы--гильберта десятая проблема--геделя теорема--тарского теорема--разрешимые множества--перечислимые множества--маркова нормальные алгоритмы
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : 615376
Автор(ы) : Судоплатов, Сергей Владимирович, Овчинникова, Елена Викторовна
Заглавие : Математическая логика и теория алгоритмов : учеб. для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование
Выходные данные : Новосибирск: Изд-во НГТУ, 2008
Колич.характеристики :223, [1] с
Коллективы : Новосиб. гос. техн. ун-т
Серия: Высшее образование
Примечания : Библиогр.: с. 212-214. - Рекомендуется в качестве учеб. для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование
ISBN, Цена 978-5-16-001975-8 (ИНФРА-М) (в пер.): 154.00 р.
ISBN, Цена 978-5-7782-0458-4 (НГТУ): Б.ц.
УДК : 510.5(075.8) + 510.6(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--исчисления высказываний--исчисления предикатов--логика предикатов
Аннотация: В книге излагаются основные исчисления математической логики.
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : 441722
51.017681.142.23/К 66
Автор(ы) : Кормен, Томас, Лейзерсон, Чарльз, Ривест, Рональд
Заглавие : Алгоритмы: построение и анализ : учебное пособие
Параллельн. заглавия :Introduction to Algorithms
Выходные данные : Москва: МЦНМО, 1999
Колич.характеристики :960 с
Серия: Классические учебники: computer science
ISBN (в пер.), Цена 5-900916-37-5: 130.00 р.
УДК : 510.5(075.8) + 004(075.8)
Предметные рубрики: математика-- математика
вычислительная техника-- ЭВМ
Ключевые слова (''Своб.индексиров.''): алгоритмы--структуры данных--сортировка--графы
Найти похожие
9.

Вид документа : Многотомное издание
Шифр издания : 064057
51.01(075)/С 81
Автор(ы) : Столбоушкин, Алексей Петрович
Заглавие : Математические основания информатики: учеб. пособие/ А. П. Столбоушкин, М. А. Тайцлин. Ч. 3
Выходные данные : Тверь: [б. и.], 1998
Колич.характеристики :2, с. 270-367
ISBN, Цена [Б. и.]: 10.00 р.
УДК : 510.5(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): информатика--алгоритмы--математическая логика
Найти похожие
10.

Вид документа : Многотомное издание
Шифр издания : 251175
51.01(075)/С 81
Автор(ы) : Столбоушкин, Алексей Петрович
Заглавие : Математические основания информатики: учеб. пособие/ А. П. Столбоушкин, М. А. Тайцлин. Ч. 2
Выходные данные : Тверь: [б. и.], 1998
Колич.характеристики :[2], с. 171-271, [1] с.
ISBN, Цена [Б. и.]: 5.00 р.
УДК : 510.5(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): информатика--алгоритмы--математическая логика
Найти похожие
11.

Вид документа : Однотомное издание
Шифр издания : 990068
Автор(ы) : Матрос, Дмитрий Шаевич, Поднебесова, Галина Борисовна
Заглавие : Теория алгоритмов : учебник
Выходные данные : Москва: БИНОМ. Лаб. знаний, 2008
Колич.характеристики :202, [6] с.: рис., табл.
Серия: Педагогическое образование
Примечания : Библиогр.: с. 196-197. - Предм. указ.: с. 198-200. - Рекомендовано УМО по специальностям пед. образования в качестве учеб. для студентов вузов, обучающихся по специальности 050202. 65 (030100) -информатика
ISBN (в пер.), Цена 978-5-94774-226-8: 173.00 р.
УДК : 510.5(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): алгоритмов теория--тьюринга машина--рекурсивные функции--вычислительная сложность--np-полные задачи
Аннотация: Учебник по курсу "Теория алгоритмов" для педагогических вузов по спец. "Информатика", полностью соответствующий стандарту. Изложение имеет четкую логическую структуру и охватывает следующие темы: понятие алгоритма, машина Тьюринга, примитивно-рекурсивные функции, нормальные алгоритмы, вычислимость и разрешимость, сложность вычислений, NP-полные задачи. Каждая тема сопровождается тестовыми заданиями и упражнениями.
Найти похожие
12.

Вид документа : Однотомное издание
Шифр издания : 368316
51.017/Г 83
Автор(ы) : Григорьев, Владимир Николаевич, Кожанов, Сергей Львович, Ляшков, Константин Иванович
Заглавие : Оценка сложности вычислительных алгоритмов : учеб. пособие для студентов мех.-мат. фак.
Выходные данные : Саратов: Издательство Саратовского университета, 1990
Колич.характеристики :13, [3] с
Коллективы : Сарат. гос. ун-т им. Н. Г. Чернышевского
Примечания : Библиогр.: с. 15 (4 назв.)
ISBN, Цена 5-292-00831-1: 5.00 р.
УДК : 510.5(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): алгоритмов теория--вычислительная сложность--тьюринга машина
Найти похожие
13.

Вид документа : Однотомное издание
Шифр издания : 736764
681.142.2351.017/А 45
Автор(ы) : Кормен, Томас, Лейзерсон, Чарльз, Ривест, Рональд, Штайн, Клиффорд
Заглавие : Алгоритмы: построение и анализ : научно-популярная литература . -2-е изд.
Параллельн. заглавия :Introduction to Algorithms
Выходные данные : Москва; Санкт-Петербург; Киев: Вильямс, 2005
Колич.характеристики :1290, [6] с.: рис.
ISBN, Цена 5-8459-0857-4 (рус.) (в пер.): 682.55 р.
ISBN, Цена 0-07-013151-1 (англ.): Б.ц.
УДК : 510.5(075.8) + 004(075.8)
Предметные рубрики: вычислительная техника-- информационные технологии
математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): алгоритмы--структуры данных--сортировка--графы
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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