Главная Упрощенный режим Описание Шлюз 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)
Найти похожие

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
Предметные рубрики: Дискретная математика
Экземпляры : всего : ч.з.(1), аб.(1)
Свободны : ч.з.(1), аб.(1)
Найти похожие

4.

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

5.

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

6.

Вид документа : Многотомное издание
Шифр издания : 32.973/К53
Автор(ы) : Кнут, Дональд Е.
Заглавие : Искусство программирования для ЭВМ: моногр.: пер. с англ./ Д. Кнут ; ред. К. И. Бабенко. Т. 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
Предметные рубрики: Дискретная математика-- задачи
Экземпляры : всего : ч.з.(3), аб.(47)
Свободны : ч.з.(3), аб.(46)
Найти похожие

8.

Вид документа : Однотомное издание
Шифр издания : У/Д48
Заглавие : Дискретная математика : учеб.-метод. комплекс для спец. 230201 - "Информационные системы и технологии"
Выходные данные : Благовещенск: Изд-во Амур. гос. ун-та, 2007
Колич.характеристики :158 с
Коллективы : Амурский государственный университет. Факультет математики и информатики
Цена : Б.ц.
ББК : 22.176я73
Предметные рубрики: Дискретная математика
Ключевые слова (''Своб.индексиров.''): дискретная математика--теория графов--математическая логика--теория алгоритмов
Экземпляры :эл. б-ка АмГУ(1)
Свободны : эл. б-ка АмГУ(1)
Перейти: http://irbis.amursu.ru/DigitalLibrary/AmurSU_Edition/1285.pdf
Найти похожие

9.

Вид документа : Однотомное издание
Шифр издания : 22.17/С54
Автор(ы) : Соболева, Татьяна Сергеевна, Чечкин, Александр Витальевич
Заглавие : Дискретная математика : учеб.: доп. Мин. обр. РФ
Выходные данные : М.: Академия, 2006
Колич.характеристики :256 с.: рис., табл.
Серия: Университетский учебник. Прикладная математика и информатика
Примечания : Библиогр.: с. 252
ISBN (в пер.), Цена 5-7695-2823-0: 225.50 р.
ББК : 22.176я73
Предметные рубрики: Дискретная математика
Экземпляры : всего : ч.з.(3), аб.(7)
Свободны : ч.з.(3), аб.(7)
Найти похожие

10.

Вид документа : Однотомное издание
Шифр издания : У/М34
Заглавие : Математическая логика и теория алгоритмов : учеб.-метод. комплекс для спец. 010101-Математика, 010500-Прикладная математика
Выходные данные : Благовещенск: Изд-во Амур. гос. ун-та, 2007
Колич.характеристики :206 с
Коллективы : Амурский государственный университет. Факультет математики и информатики
Цена : 61.50 р.
ББК : 22.12я73
Предметные рубрики: Математика
Математическая логика
Ключевые слова (''Своб.индексиров.''): алгебра логики--булевы функции--исчисление высказываний--логика предикатов--математические теории--теория алгоритмов
Экземпляры :ч.з.(1)
Свободны : ч.з.(1)
Найти похожие

11.

Вид документа : Однотомное издание
Шифр издания : 22.12/Ш24
Автор(ы) : Шапорев, Сергей Дмитриевич
Заглавие : Математическая логика : курс лекций и практ. занятий: учеб. пособие: рек. НМС
Выходные данные : СПб.: БХВ-Петербург, 2007
Колич.характеристики :410 с.: рис., табл.
Примечания : Библиогр.: с. 405 . - Предм. указ.: с. 406
ISBN (в пер.), Цена 978-5-94157-702-6: 308.45 р.
ББК : 22.12я73
Предметные рубрики: Математика
Математическая логика
Ключевые слова (''Своб.индексиров.''): алгебра логики--алгебра высказываний--исчисление высказываний--логика предикатов--исчисление предикатов--теория алгоритмов
Экземпляры : всего : ч.з.(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)
Найти похожие

13.

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

14.

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

15.

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

16.

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

17.

Вид документа : Однотомное издание
Шифр издания : У/Д 48
Заглавие : Дискретная математика : учеб.-метод. комплекс дисц. для спец. 010101.65
Выходные данные : Благовещенск: Изд-во Амур. гос. ун-та, 2012
Колич.характеристики :102 с
Коллективы : Амурский государственный университет. Факультет математики и информатики
Цена : Б.ц.
ББК : 22.176я73
Предметные рубрики: Дискретная математика
Ключевые слова (''Своб.индексиров.''): дискретная математика--теория графов--математическая логика--теория алгоритмов
Экземпляры :эл. б-ка АмГУ(1)
Свободны : эл. б-ка АмГУ(1)
Перейти: http://irbis.amursu.ru/DigitalLibrary/AmurSU_Edition/4256.pdf
Найти похожие

18.

Вид документа : Однотомное издание
Шифр издания : У/Д 48
Заглавие : Дискретная математика : учеб.-метод. комплекс дисц. для спец. 010501.65
Выходные данные : Благовещенск: Изд-во Амур. гос. ун-та, 2012
Колич.характеристики :95 с
Коллективы : Амурский государственный университет. Факультет математики и информатики
Цена : Б.ц.
ББК : 22.176я73
Предметные рубрики: Дискретная математика
Ключевые слова (''Своб.индексиров.''): дискретная математика--теория графов--математическая логика--теория алгоритмов
Экземпляры :эл. б-ка АмГУ(1)
Свободны : эл. б-ка АмГУ(1)
Перейти: http://irbis.amursu.ru/DigitalLibrary/AmurSU_Edition/4376.pdf
Найти похожие

19.

Вид документа : Однотомное издание
Шифр издания : У/М 34
Заглавие : Математическая логика и теория алгоритмов : учеб.-метод. комплекс дисц. для спец. 230201.65
Выходные данные : Благовещенск: Изд-во Амур. гос. ун-та, 2012
Колич.характеристики :42 с
Коллективы : Амурский государственный университет. Факультет математики и информатики
Цена : Б.ц.
ББК : 22.12я73
Предметные рубрики: Математическая логика-- теория алгоритмов
Ключевые слова (''Своб.индексиров.''): математическая логика--теория алгоритмов
Экземпляры :эл. б-ка АмГУ(1)
Свободны : эл. б-ка АмГУ(1)
Перейти: http://irbis.amursu.ru/DigitalLibrary/AmurSU_Edition/5350.pdf
Найти похожие

20.

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

 1-20    21-24 
 
Статистика
за 18.08.2024
Число запросов 25250
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)