Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


БД "Книги" - результаты поиска

Вид поиска
БД "Книги"
БД "Статьи"
Труды АМГУ
Выпускные квалификационные работы
Антитеррор
Область поиска
в найденном
 Найдено в других БД:БД "Статьи" (5)Труды АМГУ (2)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=теория алгоритмов<.>)
Общее количество найденных документов : 24
Показаны документы с 1 по 20
 1-20    21-24 
1.
   22.12
   Л13

    Лавров, Игорь Андреевич.
    Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / И. А. Лавров , Л. Л. Максимова . - 3-е изд. - М. : Физматлит, 1995. - 255с. - ISBN 502014844Х : 210.00 р.
ББК 22.12
Рубрики: Математическая логика
Кл.слова (ненормированные):
теория множеств -- математическая логика -- теория алгоритмов -- математика -- задачи математические


Доп.точки доступа:
Максимова, Лариса Львовна
Экземпляры всего: 1
ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
2.
22.12
М21

    Мальцев А.И.
    Алгоритмы и рекурсивные функции [Текст] / А.И. Мальцев . - 2-е изд. - М. : Наука, 1986. - 368 с. - 1.70 р.
ББК 22.12
Рубрики: Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- рекурсивные функции

Экземпляры всего: 1
н.з. (1), ч.з.
Свободны: н.з. (1)
Найти похожие
3.
   22.17
   К89

    Кузнецов, А. П.
    Дискретная математика для инженера [Текст] / О. П. Кузнецов, Г. М. Андельсон-Вельский. - 2-е изд., перераб. и доп. - М. : Энергоатомиздат, 1988. - 480 с. : ил. - 1.80 р.
ББК 22.176
Рубрики: Дискретная математика
Кл.слова (ненормированные):
дискретная математика -- логические функции и автоматы -- теория алгоритмов


Доп.точки доступа:
Андельсон-Вельский, Г.М.
Экземпляры всего: 2
ч.з. (1), аб. (1)
Свободны: ч.з. (1), аб. (1)
Найти похожие
4.
   22.18
   М66

    Митницкий, Василий Яковлевич.
    Элементы теории алгоритмов и язык программирования С [Текст] : учеб. пособие: Рек. УМО Моск. физико-техн. ин-та / В.Я. Митницкий. - М. : Изд-во Моск. физико-техн. ин-та, 2001. - 180 с. - Библиогр.: с. 177. - 1 000 экз.. - ISBN 5-7417-0181-7 : 114.95 р.
Прилож.: с.165-172
ГРНТИ
27.47
ББК 22.18я73
Рубрики: Алгоритмы--теория
   Языки программирования
Кл.слова (ненормированные):
алгоритмы, элементы теории -- алгоритмический язык С -- теория алгоритмов -- математическая логика -- объективно-ориентированное программирование

Экземпляры всего: 5
ч.з. (2), аб. (3)
Свободны: ч.з. (2), аб. (3)
Найти похожие
5.
   22.12
   И26

    Игошин, Владимир Иванович.
    Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учеб. пособие: рек. Мин. обр. РФ / В. И. Игошин. - М. : Академия, 2005. - 304 с. - (Высшее проф. образование. Педагогические специальности). - Библиогр.: с. 301 . - ISBN 5-7695-1364-0 (в пер.) : 237.93 р.
ББК 22.12я73
Рубрики: Математическая логика
Кл.слова (ненормированные):
алгебра высказываний -- булевы функции -- формализованное исчисление высказываний -- логика предикатов -- теория алгоритмов

Экземпляры всего: 7
аб. (7), ч.з.
Свободны: аб. (7)
Найти похожие
6.
   32.973
   К53

   Кнут, Дональд Е.
    Искусство программирования для ЭВМ [Текст] : моногр.: пер. с англ. / Д. Кнут ; ред. К. И. Бабенко. - М. : Мир, 1977 - .
   Т. 2 : Полученные алгоритмы. - 1977. - 724 с. : рис., табл. - (в пер.) : 3.80 р.
ББК 32.973-018 + 22.176
Рубрики: Программирование ЭВМ
Кл.слова (ненормированные):
случайные числа -- теория алгоритмов -- выполнение вычислений -- ошибки округления -- быстрое умножение


Доп.точки доступа:
Бабенко, К.И. \ред.\
Экземпляры всего: 1
аб. (1)
Свободны: аб. (1)
Найти похожие
7.
   22.17
   Г12

    Гаврилов, Гарий Петрович.
    Задачи и упражнения по дискретной математике [Текст] : учеб. пособие / Г. П. Гаврилов, А. А. Сапоженко. - 3-е изд., перераб. - М. : Физматлит, 2006. - 416 с. : рис., табл. - Библиогр.: с. 412. - Предм. указ.: с. 414 . - ISBN 5-9221-0477-2 (в пер.) : 264.00 р.
ББК 22.176я73
Рубрики: Дискретная математика--задачи
Кл.слова (ненормированные):
функции алгебры логики -- ограниченно-детерминированные функции -- теория алгоритмов -- графы и сети -- теория кодирования -- комбинаторика -- булевы функции


Доп.точки доступа:
Сапоженко, Александр Антонович
Экземпляры всего: 50
ч.з. (3), аб. (47)
Свободны: ч.з. (3), аб. (46)
Найти похожие
8.
   У
   Д48

   
    Дискретная математика [Электронный ресурс] : учеб.-метод. комплекс для спец. 230201 - "Информационные системы и технологии" / АмГУ, ФМиИ ; сост. Н. П. Семичевская. - Благовещенск : Изд-во Амур. гос. ун-та, 2007. - 158 с. - Б. ц.
ББК 22.176я73
Рубрики: Дискретная математика
Кл.слова (ненормированные):
дискретная математика -- теория графов -- математическая логика -- теория алгоритмов

Перейти: http://irbis.amursu.ru/DigitalLibrary/AmurSU_Edition/1285.pdf

Доп.точки доступа:
Семичевская, Наталья Петровна \сост.\; Амурский государственный университет. Факультет математики и информатики
Экземпляры всего: 1
эл. б-ка АмГУ (1)
Свободны: эл. б-ка АмГУ (1)
Найти похожие
9.
   22.17
   С54

    Соболева, Татьяна Сергеевна.
    Дискретная математика [Текст] : учеб.: доп. Мин. обр. РФ / Т. С. Соболева, А. В. Чечкин. - М. : Академия, 2006. - 256 с. : рис., табл. - (Университетский учебник. Прикладная математика и информатика). - Библиогр.: с. 252. - ISBN 5-7695-2823-0 (в пер.) : 225.50 р.
ББК 22.176я73
Рубрики: Дискретная математика
Кл.слова (ненормированные):
теория множеств, понятия -- отображение множеств, понятие -- конечные множества -- комбинаторика -- бесконечные множества -- отношения на множествах -- теория графов, элементы -- плоские графы -- сети Петри -- алгебраические операции -- Булевы функции -- топологические пространства -- решетки -- логика высказываний -- законы логики высказываний -- тавтология -- логика предикатов -- исчисление предикатов -- аксиоматическая теория -- математическая кибернетика -- теория алгоритмов -- теория кодирования, элементы -- хемминговы коды -- математическая информатика -- ультраоператоры


Доп.точки доступа:
Чечкин, Александр Витальевич
Экземпляры всего: 10
ч.з. (3), аб. (7)
Свободны: ч.з. (3), аб. (7)
Найти похожие
10.
   У
   М34

   
    Математическая логика и теория алгоритмов [Текст] : учеб.-метод. комплекс для спец. 010101-Математика, 010500-Прикладная математика / АмГУ, ФМиИ ; сост. Н. В. Кван. - Благовещенск : Изд-во Амур. гос. ун-та, 2007. - 206 с. - 61.50 р.
ББК 22.12я73
Рубрики: Математика
   Математическая логика
Кл.слова (ненормированные):
алгебра логики -- булевы функции -- исчисление высказываний -- логика предикатов -- математические теории -- теория алгоритмов


Доп.точки доступа:
Кван, Наталья Владимировна \сост.\; Амурский государственный университет. Факультет математики и информатики
Экземпляры всего: 1
ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
11.
   22.12
   Ш24

    Шапорев, Сергей Дмитриевич.
    Математическая логика [Текст] : курс лекций и практ. занятий: учеб. пособие: рек. НМС / С.Д. Шапорев. - СПб. : БХВ-Петербург, 2007. - 410 с. : рис., табл. - Библиогр.: с. 405 . - Предм. указ.: с. 406 . - ISBN 978-5-94157-702-6 (в пер.) : 308.45 р.
ББК 22.12я73
Рубрики: Математика
   Математическая логика
Кл.слова (ненормированные):
алгебра логики -- алгебра высказываний -- исчисление высказываний -- логика предикатов -- исчисление предикатов -- теория алгоритмов

Экземпляры всего: 15
ч.з. (3), аб. (12)
Свободны: ч.з. (3), аб. (12)
Найти похожие
12.
   22.12
   Л13

    Лавров, Игорь Андреевич.
    Задачи по теории множеств, математической логике и теории алгоритмов [Текст] : [учеб. пособие] / И. А. Лавров, Л. Л. Максимова. - 5-е изд., испр. . - М. : Физматлит, 2006. - 256 с. - Библиогр.: с. 248 . - Предм. указ.: с. 250 . - ISBN 5-9221-0026-2 : 232.32 р.
ББК 22.12я73
Рубрики: Математика
   Математическая логика
Кл.слова (ненормированные):
теория множеств -- математическая логика -- теория алгоритмов


Доп.точки доступа:
Максимова, Лариса Львовна
Экземпляры всего: 2
ч.з. (2)
Свободны: ч.з. (2)
Найти похожие
13.
   22.12
   У77

    Успенский, Владимир Андреевич.
    Вводный курс математической логики [Текст] : [учеб. пособие] / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - М. : Физматлит, 2007. - 126 с. - Библиогр. : с. 122 . - Предм. указ. : с. 123 . - ISBN 978-5-9221-0278-0 : 142.78 р.
ББК 22.12я73
Рубрики: Математика
   Математическая логика
Кл.слова (ненормированные):
элементы теории множеств -- языки первого порядка -- элементы теории доказательств -- теорема Гёделя о полноте -- теория алгоритмов -- математическая логика


Доп.точки доступа:
Верещагин, Николай Константинович; Плиско, Валерий Егорович
Экземпляры всего: 4
аб. (4)
Свободны: аб. (4)
Найти похожие
14.
   22.12
   Ш96

    Шурыгин, Виктор Афанасьевич.
    Сложностный метод теории алгоритмов [Текст] / В.А. Шурыгин. - М. : ЛИБРОКОМ, 2009. - 194 с. - ISBN 978-5-397-00185-4 : 305.02 р.
ББК 22.12
Рубрики: Математика
   Математическая логика
Кл.слова (ненормированные):
теория алгоритмов -- алгорифмические проблемы -- проблемы распознавания -- инвариантная сложность -- нормальные алгорифмы -- подобия нормальных алгорифмов
Аннотация: Направление в теории алгоритмов, в котором размеры программ, задающих алгоритмы, используются как средство исследования алгоритмических проблем, было основано А.А.Марковым в начале 60-х годов XX в. Сложностный метод А.А.Маркова позволяет расширить область применимости теорий, исследующих или использующих неразрешимые алгоритмические проблемы. Примерно в это же время А.Н.Колмогоров для исследований оснований теории информации и теории вероятностей начал создавать теорию, основанную на использовании минимальных размеров кодов алгоритмов. Марковское и колмогоровское направления теории сложности алгоритмов различались определениями основных понятий и изначально имели разное предназначение, но в процессе их развития произошло их сближение, поэтому их можно рассматривать как начала общей теории, использующей специфические методы исследований. В предлагаемой книге даются изложение основ этой теории и некоторые ее приложения. Книга адресована, в первую очередь, математикам, чья специализация связана с теорией алгоритмов, но она может быть интересной и более широкому кругу читателей для ознакомления с одним из новых направлений в теории алгоритмов.

Экземпляры всего: 1
ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
15.
   22.12
   Ш65

    Шиханович, Юрий Александрович.
    Минимум по теории алгоритмов для нематематиков [Текст] : учеб. пособие / Ю.А. Шиханович. - М. : Науч. мир, 2009. - 159 с. - Указ. : с. 143 . - ISBN 978-5-91522-055-2 (в пер.) : 314.28 р.
Прил. : с. 131
ББК 22.12я73
Рубрики: Математика
   Математическая логика
Кл.слова (ненормированные):
сигнифика -- теория алгоритмов -- множества -- алгоритмы -- разрешимые множеств -- тьюринговые алгоритмы -- машины Тьюринга -- нормальные алгорифмы -- рекурсивнные функции
Аннотация: В предлагаемом учебном пособии изложены самые начала теории алгоритмов - базисные понятия теории алгоритмов: предписание (исходное неопределяемое понятие), перечислимое множество, алгоритм, вычислимая функция, разрешимое множество, и один из формальных универсальных языков для записи предписаний, работающих со словами (машины Тьюринга). Пособие предназначено для нематематиков, и для его чтения не требуется никаких предварительных знаний по так называемой "высшей" математике. С другой стороны, от читателя этого пособия требуется владение материалом книги Ю.А. Шихановича "Введение в математику" (М.: "Научный мир", 2005), которая есть и в Интернете (электронная библиотека www.iqlib.ru).

Перейти: http://www.iqlib.ru
Экземпляры всего: 1
ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
16.
   32.81
   М 15

    Макарова, Наталья Владимировна.
    Информатика [Текст] : учеб. : рек. УМО / Н. В. Макарова, В. Б. Волков. - СПб. : Питер, 2012. - 574 с. : рис. - (Учебник для вузов. Стандарт третьего поколения). - Библиогр. в конце глав. - ISBN 978-5-496-00001-7 (в пер.) : 378.00 р.
ББК 32.81я73
Рубрики: Радиоэлектроника
   Информатика
Кл.слова (ненормированные):
информатика -- информатизация общества -- управление знаниями -- логические основы информатики -- информационные технологии -- базы данных -- моделирование -- информационный менеджмент -- техническая база информатики -- представление данных в компьютере -- компьютер, история развития -- компьютерные сети -- теория алгоритмов -- программное обеспечение -- офисное программное обеспечение -- мультимедиа -- языки программирования -- информационная безопасность -- информационные системы


Доп.точки доступа:
Волков, Владимир Борисович
Экземпляры всего: 30
аб. (30)
Свободны: аб. (26)
Найти похожие
17.
   У
   Д 48

   
    Дискретная математика [Электронный ресурс] : учеб.-метод. комплекс дисц. для спец. 010101.65 / АмГУ, ФМиИ ; сост. Н. В. Кван. - Благовещенск : Изд-во Амур. гос. ун-та, 2012. - 102 с. - Б. ц.
ББК 22.176я73
Рубрики: Дискретная математика
Кл.слова (ненормированные):
дискретная математика -- теория графов -- математическая логика -- теория алгоритмов

Перейти: http://irbis.amursu.ru/DigitalLibrary/AmurSU_Edition/4256.pdf

Доп.точки доступа:
Кван, Наталья Владимировна \сост.\; Амурский государственный университет. Факультет математики и информатики
Экземпляры всего: 1
эл. б-ка АмГУ (1)
Свободны: эл. б-ка АмГУ (1)
Найти похожие
18.
   У
   Д 48

   
    Дискретная математика [Электронный ресурс] : учеб.-метод. комплекс дисц. для спец. 010501.65 / АмГУ, ФМиИ ; сост. Н. В. Кван. - Благовещенск : Изд-во Амур. гос. ун-та, 2012. - 95 с. - Б. ц.
ББК 22.176я73
Рубрики: Дискретная математика
Кл.слова (ненормированные):
дискретная математика -- теория графов -- математическая логика -- теория алгоритмов

Перейти: http://irbis.amursu.ru/DigitalLibrary/AmurSU_Edition/4376.pdf

Доп.точки доступа:
Кван, Наталья Владимировна \сост.\; Амурский государственный университет. Факультет математики и информатики
Экземпляры всего: 1
эл. б-ка АмГУ (1)
Свободны: эл. б-ка АмГУ (1)
Найти похожие
19.
   У
   М 34

   
    Математическая логика и теория алгоритмов [Электронный ресурс] : учеб.-метод. комплекс дисц. для спец. 230201.65 / АмГУ, ФМиИ ; сост. Н. П. Семичевская. - Благовещенск : Изд-во Амур. гос. ун-та, 2012. - 42 с. - Б. ц.
ББК 22.12я73
Рубрики: Математическая логика--теория алгоритмов
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов

Перейти: http://irbis.amursu.ru/DigitalLibrary/AmurSU_Edition/5350.pdf

Доп.точки доступа:
Семичевская, Наталья Петровна \сост.\; Амурский государственный университет. Факультет математики и информатики
Экземпляры всего: 1
эл. б-ка АмГУ (1)
Свободны: эл. б-ка АмГУ (1)
Найти похожие
20.
   32.81
   М 15

    Макарова, Наталья Владимировна.
    Информатика [Текст] : учеб. : рек. УМО / Н. В. Макарова, В. Б. Волков. - СПб. : Питер, 2011. - 574 с. - (Учебник для вузов) (Стандарт третьего поколения). - Библиогр. в конце глав. - ISBN 978-5-496-00001-7 (в пер.) : 380.00 р.
ББК 32.81я73
Рубрики: Радиоэлектроника
   Теория информации. Общая теория связи
Кл.слова (ненормированные):
информация, понятие -- меры информации -- качество информации -- информационные процессы -- кодирование информации -- информатизация общества -- информационная культура -- рынок информационных услуг -- информационная безопасность -- защита информации -- менеджмент информационной сферы -- компьютер, техническая база -- компьютерные сети -- теория алгоритмов -- программное обеспечение -- средства мультимедиа -- инструменты программирования


Доп.точки доступа:
Волков, Владимир Борисович
Экземпляры всего: 1
аб. (1)
Свободны: аб. (1)
Найти похожие
 1-20    21-24 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 01.07.2024
Число запросов 9192
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)