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

Базы данных


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

Виды поиска

Область поиска
в найденном
В текущей базе данных найдено документов :41
 В других БД по вашему запросу найдено:ЭБС "ЛАНЬ" (2)Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (35)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=алгоритмов теория<.>)
Общее количество найденных документов : 41
Показаны документы с 1 по 20
 1-20    21-40   41-41 
1.
A973001-ОХФ
    Андреева, Елена Владимировна.
    Математические основы информатики [Текст] : метод. пособие / Е. В. Андреева, Л. Л. Босова, И. Н. Фалина. - Москва : БИНОМ. Лаб. знаний, 2007. - 312 с. : табл. - (Элективный курс. Математика). - ISBN 5-94774-138-5 : 90.00 р.
УДК

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

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


Доп. точки доступа:
Босова, Людмила Леонидовна
Фалина, Ирина Николаевна
Экземпляры всего: 1
ОХФ (1)
Найти похожие

2.
Учебные отделы, A978220-ОХФ, A978221-ОХФ-ЧЗ-4
    Андреева, Елена Владимировна.
    Математические основы информатики [Текст] : учеб. пособие / Е. В. Андреева, Л. Л. Босова, И. Н. Фалина. - 2-е изд., испр. - Москва : БИНОМ. Лаб. знаний, 2007. - 328 с. : рис. - (Элективный курс). - Предм. указ.: с. 320-328. - ISBN 978-5-94774-658-7 (в пер.) : 115.00 р.
Рекомендовано науч.-метод. советом по информатике при М-ве образования и науки РФ в качестве учеб. пособия для электив. курсов по информатике для учащихся 10-11 кл. общеобразоват. учреждений
УДК

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

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


Доп. точки доступа:
Босова, Людмила Леонидовна
Фалина, Ирина Николаевна
Экземпляры всего: 6
ОУОЕН (4), ОХФ (1), ОХФ-ЧЗ-4 (1)
Найти похожие

3.
A853614-ОХФ
    Вероятностные методы и кибернетика [Текст] : [Сб. ст.]. - Казань : Изд-во Казан. ун-та, ISSN 0132-2869.
   Вып. 25. - 1993. - 144 с. : ил. - Библиогр. - 1040.00 р.
УДК

Рубрики: математика--теория вероятностей и математическая статистика

Кл.слова (ненормированные):
вероятностей теория -- детерминированные автоматы -- вероятностные автоматы -- сложности теория -- алгоритмов теория -- программирование -- автоматизированные обучающие системы
Экземпляры всего: 1
ОХФ (1)
Найти похожие

4.
A870312-ОХФ, A872397-ОХФ
    Гамова, Алла Николаевна.
    Математическая логика и теория алгоритмов [Текст] : учеб. пособие для студентов и аспирантов мат. фак. ун-та / А. Н. Гамова. - Саратов : Издательство Саратовского университета, 1999. - 76 с. : ил. - Библиогр. - ISBN 5-292-02362-0 : 15.00 р.
УДК

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

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- Тьюринга машина -- исчисления предикатов -- исчисления высказываний
Экземпляры всего: 2
ОХФ (2)
Найти похожие

5.
A873165-ОХФ, A873166-ОХФ, A873167-ОХФ, A873168-ОХФ, A876863-ОХФ
    Гамова, Алла Николаевна.
    Математическая логика и теория алгоритмов [Текст] : учеб. пособие для студентов мех.-мат. фак. и фак. компьютер. наук и информ. технологий / А. Н. Гамова. - 2-е изд., доп. - Саратов : Издательство Саратовского университета, 2000. - 78, [2] с. - Библиогр. - ISBN 5-292-02515-1 : 25.00 р.
УДК

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

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- Тьюринга машина -- исчисления предикатов -- исчисления высказываний -- вычислительная сложность
Экземпляры всего: 5
ОХФ (5)
Найти похожие

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

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

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



Экземпляры всего: 3
ОХФ (3)
Найти похожие

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

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

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


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

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

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

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


Доп. точки доступа:
Кожанов, Сергей Львович
Ляшков, Константин Иванович
Экземпляры всего: 1
ОХФ (1)
Найти похожие

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

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

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


Доп. точки доступа:
Потоцкий, Сергей Иванович
Экземпляры всего: 1
ОХФ-ЧЗ-4 (1)
Найти похожие

10.
A883857-ОХФ
    Гуц, Александр Константинович.
    Математическая логика и теория алгоритмов [Текст] : учеб. пособие для студентов, обучающихся по специальности "Компьютерная безопасность" и специальности "Вычислительные машины, комплексы, системы и сети" / А. К. Гуц ; . - Омск : Наследие. Диалог Сибирь, 2003. - 107, [1] с. - ISBN 5-8239-0126-7 : 55.00 р.
УДК

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

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория
Экземпляры всего: 1
ОХФ (1)
Найти похожие

11.
A965012-ОХФ
    Ершов, Юрий Леонидович.
    Математическая логика [Текст] : учеб. пособие / Ю. Л. Ершов, Е. А. Палютин. - 3-е изд., стер. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2004. - 336 с. - (Учебники для вузов. Специальная литература). - Предм. указ.: с. 335-336. - ISBN 5-8114-0533-2 (в пер.) : 225.00 р.
УДК

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

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


Доп. точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 1
ОХФ (1)
Найти похожие

12.
A966098-ОХФ, A966099-ОХФ-ЧЗ-4, A966100-ОХФ-ЧЗ-4
    Ершов, Юрий Леонидович.
    Математическая логика [Текст] : учеб. пособие / Ю. Л. Ершов, Е. А. Палютин. - 5-е изд., стер. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2005. - 336 с. - (Учебники для вузов. Специальная литература). - Предм. указ.: с. 335-336. - ISBN 5-8114-0533-2 : 190.43 р.
УДК

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

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


Доп. точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 3
ОХФ (1), ОХФ-ЧЗ-4 (2)
Найти похожие

13.
Учебные отделы, A983699-ОХФ, A984806-ОХФ, A984807-ОХФ-ЧЗ-4,
   
    Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов [Текст] : учеб. пособие / М. М. Глухов [и др.]. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2008. - 110, [2] с. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 109-110 (19 назв.). - ISBN 978-5-8114-0853-5 (в пер.) : 150.00 р., 175.12 р.
Рекомендовано Учеб.-метод. об-нием по образованию в области информ. безопасности в качестве учеб. пособия для студентов вузов, обучающихся по специальности в обл. 090100 - "Информационная безопасность"
УДК

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

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


Доп. точки доступа:
Глухов, Михаил Михайлович
Козлитин, Олег Алексеевич
Шапошников, Виталий Алексеевич
Шишков, Алексей Борисович
Экземпляры всего: 21
ОХФ (2), ОХФ-ЧЗ-4 (1), ОУОЕН (18)
Найти похожие

14.
Учебные отделы, A976329-ОХФ-ЧЗ-4,
    Игошин, Владимир Иванович.
    Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - 3-е изд., стер. - Москва : Академия, 2007. - 302, [2] с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 301 (22 назв.). - ISBN 5-7695-3728-0 (в пер.) : 229.90 р.
Допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студентов вузов, обучающихся по специальности 032100 "Математика"
УДК

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

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- булевы функции -- логика предикатов -- исчисления высказываний
Экземпляры всего: 48
ОХФ-ЧЗ-4 (1), ОУОЕН (47)
Найти похожие

15.
Учебные отделы, A968984-ОХФ, A968985-ОХФ-ЧЗ-4,
    Игошин, Владимир Иванович.
    Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - 2-е изд., стер. - Москва : Академия, 2006. - 302, [2] с. : табл. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 301 (22 назв.). - ISBN 5-7695-2914-8 (в пер.) : 259.16 р., 247.57 р.
Допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студентов вузов, обучающихся по специальности 032100 "Математика"
УДК

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

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- булевы функции -- логика предикатов -- исчисления высказываний
Экземпляры всего: 12
ОХФ (1), ОХФ-ЧЗ-4 (1), ОУОЕН (10)
Найти похожие

16.
Учебные отделы, A961049-ОХФ, A961050-ОХФ, A961051-ОХФ,
    Игошин, Владимир Иванович.
    Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - Москва : Академия, 2005. - 302, [2] с. : ил. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 301 (22 назв.). - ISBN 5-7695-1364-0 (в пер.) : 194.10 р., 220.00 р., 194.00 р.
УДК

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

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- булевы функции -- логика предикатов -- исчисления высказываний
Экземпляры всего: 197
ОХФ (3), ОУОЕН (194)
Найти похожие

17.
A971351-ОХФ
    Игошин, Владимир Иванович.
    Математическая логика в системе подготовки учителей математики [Текст] / В. И. Игошин ; М-во образования Рос. Федерации, Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Слово, 2002. - 239, [1] с. - Библиогр.: с. 210-236. - ISBN 5-85571-037-8 : 100.00 р.
УДК

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

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



Экземпляры всего: 1
ОХФ (1)
Найти похожие

18.
Учебные отделы, A839289-ОХФ, A839290-ОХФ, A839381-ОХФ, A879628-ОХФ, A879629-ОХФ,
    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов [Текст] : Учеб. пособ. для студентов физ.-мат. спец. пед. ин-тов / Владимир Иванович Игошин. - Саратов : Издательство Саратовского университета, 1991. - 255, [2] c. - Библиогр. - ISBN 5-292-00259-3 (в пер.) : 25.00 р.
УДК

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

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- исчисления высказываний -- логика предикатов -- булевы функции
Экземпляры всего: 24
ОХФ (5), ОУОЕН (19)
Найти похожие

19.
Учебные отделы, A888582-ОХФ, A888583-ОХФ, A888584-ОХФ,
    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - Москва : Академия, 2004. - 446, [2] с. - (Высшее профессиональное образование). - Библиогр.: с. 435-442 (152 назв.). - ISBN 5-7695-1363-2 (в пер.) : 196.20 р., 196.00 р.
Есть автограф: Экз. 849133 : Игошин, Владимир Иванович
УДК

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

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- булевы функции -- логика предикатов -- исчисления высказываний
Экземпляры всего: 197
ОУОЕН (194), ОХФ (3)
Найти похожие

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

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

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- булевы функции -- логика предикатов -- исчисления высказываний -- аксиоматические теории
Экземпляры всего: 48
ОХФ-ЧЗ-4 (1), ОУОЕН (47)
Найти похожие

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

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