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

Базы данных


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

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

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
информатика -- алгоритмы -- математическая логика


Доп. точки доступа:

Тайцлин, М. А.
Экземпляры всего: 1
ОХФ (1)
Найти похожие
2.
A872126-ОХФ
   Столбоушкин, Алексей Петрович
    Математические основания информатики [Текст] : учеб. пособие / А. П. Столбоушкин, М. А. Тайцлин. - Тверь : [б. и.].
   Ч. 3. - Тверь : [б. и.], 1998. - 2, с. 270-367. - ISBN [Б. и.] : 10.00 р.
УДК
510.5(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
информатика -- алгоритмы -- математическая логика


Доп. точки доступа:

Тайцлин, М. А.
Экземпляры всего: 1
ОХФ (1)
Найти похожие
3.
A902782-ОХФ
    Кормен, Томас.
    Алгоритмы: построение и анализ [Текст] = Introduction to Algorithms : учебное пособие / Т. Кормен, Ч. Лейзерсон, Р. Ривест. - Москва : МЦНМО, 1999. - 960 с. - (Классические учебники: computer science). - ISBN 5-900916-37-5 (в пер.) : 130.00 р.
УДК
510.5(075.8)
004(075.8)

Рубрики: математика--математика

   вычислительная техника--ЭВМ

Кл.слова (ненормированные):
алгоритмы -- структуры данных -- сортировка -- графы


Доп. точки доступа:
Лейзерсон, Чарльз
Ривест, Рональд
Экземпляры всего: 1
ОХФ (1)
Найти похожие
4.
A882505-ОХФ
    Мощенский, Андрей Владимирович.
    Математические основы информатики [Текст] : пособие для студентов / А. В. Мощенский, В. А. Мощенский. - Минск : Изд-во Белорус. ун-та, 2002. - 149, [3] с. - ISBN 985-445-564-5 : 45.00 р.
УДК
510.5(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
информатика -- множеств теория -- комбинаторика -- алгоритмы -- логика высказываний -- формальная грамматика -- конечные автоматы


Доп. точки доступа:
Мощенский, Владимир Андреевич
Экземпляры всего: 1
ОХФ (1)
Найти похожие
5.
Учебные отделы, A909374-ОХФ, A909375-ОХФ, A909376-ОХФ, A910373-ОХФ,
   
    Алгоритмы: построение и анализ [Текст] = Introduction to Algorithms / Т. Кормен [и др.] ; пер. с англ. И. В. Красикова, Н. А. Ореховой, В. Н. Романова ; под ред. И. В. Красикова. - 2-е изд. - Москва ; Санкт-Петербург ; Киев : Вильямс, 2005. - 1290, [6] с. : рис. - ISBN 5-8459-0857-4 (рус.) (в пер.). - ISBN 0-07-013151-1 (англ.) : 682.55 р., 528.50 р.
УДК
510.5(075.8)
004(075.8)

Рубрики: вычислительная техника--информационные технологии

   математика--математическая логика

Кл.слова (ненормированные):
алгоритмы -- структуры данных -- сортировка -- графы


Доп. точки доступа:
Кормен, Томас
Лейзерсон, Чарльз
Ривест, Рональд
Штайн, Клиффорд
Красиков, И. В.
Орехова, Н. А.
Романов, В. Н.
Красиков, И. В.
Экземпляры всего: 6
ОХФ (4), ОУОЕН (2)
Найти похожие
6.
A969503-ОХФ, A969619-ОХФ, A969620-ОХФ
    Гамова, Алла Николаевна.
    Математическая логика и теория алгоритмов [Текст] : учеб. пособие / А. Н. Гамова ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - 3-е изд., доп. - Саратов : Издательство Саратовского университета, 2006. - 83, [2] с. - Библиогр.: с. 84 (6 назв.). - ISBN 5-292-03595-5 : 35.00 р., 30.00 р.
Рекомендовано Ред.-изд. советом Сарат. гос. ун-та в качестве учеб. пособия для студентов мех.-мат. фак. и фак. компьютер. наук и информ. технологий
УДК
510.5(075.8)
510.63(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- Тьюринга машина -- исчисления предикатов -- исчисления высказываний -- вычислительная сложность
Аннотация: Учебное пособие состоит из двух разделов: исчисления и алгоритмы. Теоретический материал сопровождается примерами решения задач и упражнениями. Для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий Саратовского государственного университета
Держатели документа:
ЗНБ СГУ



Экземпляры всего: 3
ОХФ (3)
Найти похожие
7.
A973162-ОХФ
    Григорьев, Владимир Николаевич.
    Оценка сложности вычислительных алгоритмов [Текст] : учеб. пособие для студентов мех.-мат. фак. / В. Н. Григорьев, С. Л. Кожанов, К. И. Ляшков ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 1990. - 13, [3] с. - Библиогр.: с. 15 (4 назв.). - ISBN 5-292-00831-1 : 5.00 р.
УДК
510.5(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
алгоритмов теория -- вычислительная сложность -- Тьюринга машина


Доп. точки доступа:
Кожанов, Сергей Львович
Ляшков, Константин Иванович
Экземпляры всего: 1
ОХФ (1)
Найти похожие
8.
Учебные отделы, A976416-ОХФ-ЧЗ-4,
    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - 2-е изд., стер. - Москва : Академия, 2008. - 446, [2] с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 435-442. - ISBN 978-5-7695-4593-1 (в пер.) : 320.10 р.
Допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студентов вузов, обучающихся по специальности 050201 "Математика"
УДК
510.5(075.8)
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- булевы функции -- логика предикатов -- исчисления высказываний -- аксиоматические теории
Экземпляры всего: 48
ОХФ-ЧЗ-4 (1), ОУОЕН (47)
Найти похожие
9.
A979542-ОХФ-ЧЗ-3, A979543-ОХФ-ЧЗ-4
    Матрос, Дмитрий Шаевич.
    Теория алгоритмов [Текст] : учебник / Д. Ш. Матрос, Г. Б. Поднебесова. - Москва : БИНОМ. Лаб. знаний, 2008. - 202, [6] с. : рис., табл. - (Педагогическое образование). - Библиогр.: с. 196-197. - Предм. указ.: с. 198-200. - ISBN 978-5-94774-226-8 (в пер.) : 173.00 р.
Рекомендовано УМО по специальностям пед. образования в качестве учеб. для студентов вузов, обучающихся по специальности 050202. 65 (030100) -информатика
УДК
510.5(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
алгоритмов теория -- Тьюринга машина -- рекурсивные функции -- вычислительная сложность -- NP-полные задачи


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

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- исчисления высказываний -- исчисления предикатов -- логика предикатов


Доп. точки доступа:
Овчинникова, Елена Викторовна
Экземпляры всего: 1
ОУОЕН (1)
Найти похожие
11.
Учебные отделы, A980462-ОХФ, A980463-ОХФ,
    Игошин, Владимир Иванович.
    Основы теории алгоритмов [Текст] : лекции для студентов, изучающих информатику и информ. технологии / В. И. Игошин ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательский центр "Наука", 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 с. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика", "Прикладная информатика" и изучающих информатику и информационные технологии.
Держатели документа:
ЗНБ СГУ



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

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- булева алгебра -- множеств теория -- нечеткие множества -- логическое программирование -- Пролог -- языки программирования


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

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
алгоритмов теория -- Тьюринга машина -- рекурсивные функции -- вычислительная сложность


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

Рубрики: математика--математическая логика

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

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- дискретные функции


Доп. точки доступа:
Шишков, Алексей Борисович
Экземпляры всего: 4
ОХФ (2), ОУОЕН (2)
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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