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

Базы данных


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

Виды поиска

Область поиска
в найденном
В текущей базе данных найдено документов :38
 В других БД по вашему запросу найдено:ЭБС "ЛАНЬ" (6)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=теория алгоритмов<.>)
Общее количество найденных документов : 38
Показаны документы с 1 по 20
 1-20    21-38 
1.

Вид документа : Однотомное издание
Шифр издания : 510/Х 20
Автор(ы) : Харин Н. Н.
Заглавие : Математическая логика и теория множеств : о соотношении абстрактного и конкретного
Выходные данные : М.: Росвузиздат, 1963
Колич.характеристики :192 с. ; 22 см
Примечания : Библиогр.: с. 191-192
Цена : 0.90 р.
ГРНТИ : 27.03
УДК : 510.6
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): теория множеств--абстрактное мышление--конкретное мышление--теория множеств--логика--теория алгоритмов
Найти похожие

2.

Вид документа : Продолжающееся издание
Шифр издания : 62-50/К 38
Автор(ы) : Мак-Вильямс Дж., Ху Т. С., Хартманис Дж., Стирнз Р. Е.
Заглавие : Кибернетический сборник: новая серия/ Акад. наук. СССР, Науч. сов. по кибернетике (Москва); ред.: А. А. Ляпунов, О. Б. Лупанов. Вып. 4 : сб. переводов
Выходные данные : М.: Изд-во "Мир", 1967
Колич.характеристики :228 с.: черт.; 22 см
Коллективы : Акад. наук. СССР, Науч. сов. по кибернетике
Примечания : Библиогр. в конце ст.
Цена : 1.08 р.
ГРНТИ : 28.01
УДК : 62-50
Предметные рубрики: Кибернетика
Ключевые слова (''Своб.индексиров.''): теория кодирования--линейное программирование--теория алгоритмов--вычисление алгоритмов--марковские цепи--полумарковские процессы--математическая лингвистика
Найти похожие

3.

Вид документа : Однотомное издание
Шифр издания : 621.391/Д 93
Автор(ы) : Дьяченко В. Ф., Лазарев В. Г., Саввин Г. Г.
Заглавие : Управление на сетях связи : научное издание
Выходные данные : М.: Изд-во "Наука", 1967
Колич.характеристики :223 с.: черт.; 21 см
Коллективы : Ин-т пробл. передачи информ. (Москва), Акад. наук СССР (Москва)
Примечания : Библиогр.: с. 218-221 (86 назв.)
Цена : 0.81 р.
УДК : 621.391
Ключевые слова (''Своб.индексиров.''): теория алгоритмов--сети связи--автоматическое управление сетями--управляющие устройства--запись алгоритмов--способы управления --централизованный способ--децентрализованный способ
Найти похожие

4.

Вид документа : Однотомное издание
Шифр издания : 62-50(075)/Н 27
Автор(ы) : Напалков А. В.
Заглавие : Эвристическое программирование : учеб. пособие
Выходные данные : Ростов н/Д: Издательство РГУ, 1971
Колич.характеристики :127 с. ; 20 см
Примечания : Библиогр.: с. 126
Цена : 0.70 р.
ГРНТИ : 50.43
УДК : 62-50(075)
Предметные рубрики: Автоматика
Ключевые слова (''Своб.индексиров.''): задачи программирования--теория программирования--информационные задачи--теория алгоритмов--описание алгоритмов--теория композиции--теория "порождения"
Аннотация: В пособии излагаются основные задачи и общие принципы построения теории эвристического программирования, а также рассматриваются некоторые принципы переработки информации, лежащие в основе интеллектуальной деятельности.
Найти похожие

5.

Вид документа : Продолжающееся издание
Шифр издания : 62-50/К 38
Автор(ы) : Касами Т., Клейтмен Д., Ротшильд Б., Гильберт Н., Поллак Г. О.
Заглавие : Кибернетический сборник: новая серия/ под ред.: А. А. Ляпунова, О. Б. Лупанова. Вып. 8 : сб. пер.
Выходные данные : М.: Изд-во "Мир", 1971
Колич.характеристики :244 с.: ил., черт.; 22 см
Примечания : Библиогр. в конце ст.
Цена : 1.64 р.
ГРНТИ : 28.01
УДК : 62-50
Предметные рубрики: Кибернетика
Ключевые слова (''Своб.индексиров.''): теория кодирования--теория графов--теория автоматов--теория алгоритмов--множество чисел--теории второго порядка--проблемы эквивалентности
Аннотация: Восьмой выпуск серии кибернетических сборников посвящен математическим вопросам кибернетики. В нем содержатся статьи по теории кодирования, теории графов, теории автоматов (детерминированных и вероятностных), теории алгоритмов.
Найти похожие

6.

Вид документа : Продолжающееся издание
Шифр издания : 62-50/К 38
Автор(ы) : Слоен Н. Д., Кердок А. М., Юстесен Й., Рой-Чоудхури Д. К.
Заглавие : Кибернетический сборник: новая серия/ под ред.: А. А. Ляпунова, О. Б. Лупанова. Вып. 10 : сб. пер.
Выходные данные : М.: Изд-во "Мир", 1973
Колич.характеристики :244 с.: ил., черт.; 22 см
Примечания : Библиогр. в конце ст.
Цена : 1.54 р.
ГРНТИ : 28.01
УДК : 62-50
Предметные рубрики: Кибернетика
Ключевые слова (''Своб.индексиров.''): теория кодирования--теория графов--синтез управляющих систем--теория алгоритмов--математическая лингвистика--конструктивные коды--искусственный интеллект--машинный перевод
Аннотация: В сборнике представлены работы по теории кодирования, теории графов, синтезу управляющих систем, теории алгоритмов и по математической лингвистике, машинному переводу, искусственному интеллекту.
Найти похожие

7.

Вид документа : Однотомное издание
Шифр издания : 519(076)/Л 13
Автор(ы) : Лавров И. А., Максимова Л. Л.
Заглавие : Задачи по теории множеств математической логике и теории алгоритмов : учеб. пособие
Выходные данные : М.: Наука: Физматлит, 1975
Колич.характеристики :240 с. ; 20 см
Цена : 0.90 р.
ГРНТИ : 27.03.01.33
УДК : 519.5(076)
Предметные рубрики: Математика-- Математическая логика
Математика-- Теория алгоритмов
Ключевые слова (''Своб.индексиров.''): теория множеств--бинарные отношения--кардинальные числа--математическая логика--теория алгоритмов--предикаты--фильтрованные произведения
Аннотация: В книге систематически изложены основы теории множеств, математической логики и теории алгоритмов в форме задач. Книга предназначена для активного изучения математической логики и смежных в ней наук. Сборник состоит из трех частей: "Теории множеств", "Математическая логика" и "Теория алгоритмов". Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. Сборник рассчитан как учебное пособие для математических факультетов университетов и педагогических институтов. Он может использоваться также в технических вузах при изучении кибернетических специальностей.
Найти похожие

8.

Вид документа : Однотомное издание
Шифр издания : 22.18
Автор(ы) : Криницкий, Николай Андреевич
Заглавие : Алгоритмы вокруг нас
Выходные данные : Москва: Наука, 1977
Колич.характеристики :223 с
Коллективы : Академия Наук СССР (М.)
Серия: Проблемы науки и технического прогресса
Цена : 0.80 р.
ГРНТИ : 27.47.21
ББК : 22.18
Предметные рубрики: Математика-- Математическая кибернетика
Ключевые слова (''Своб.индексиров.''): эвм--алгоритм евклида--алгоритмы--алгорифмы маркова--антиномии--арифметизация математики--вычислительная математика--математическое обеспечение--машины тьюринга--неразрешимые проблемы--нотация бекуса--прикладная математика--программирование--решето эратосфена--создание алгоритмов--теория алгоритмов--языки
Аннотация: Книга посвящена разделу современной прикладной математике - теории алгоритмов.
Найти похожие

9.

Вид документа : Однотомное издание
Шифр издания : 519/К 89
Автор(ы) : Кузнецов О. П.
Заглавие : Дискретная математика для инженера
Выходные данные : М.: Энергия, 1980
Колич.характеристики :344 с.: ил.; 21см
Цена : 1.40 р.
ГРНТИ : 27.41.41
УДК : 519.1
ББК : 32.815
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): функции--булевы алгебры--теория алгоритмов--предикаты--математика--алгебра--комбинаторный анализ--комбинаторика--теория автоматов--теория графов--дискретная математика--теория множеств--алгебра логики
Аннотация: В книге излагаются основные понятия теории множеств, общей алгебры, алгебры логики, комбинаторики и теории графов, составляющих аппарат дискретной математики.
Найти похожие

10.

Вид документа : Однотомное издание
Шифр издания : 22.12
Автор(ы) : Лавров, Игорь Андреевич, Максимова, Лариса Львовна
Заглавие : Задачи по теории множеств, математической логике и теории алгоритмов. . -2-е изд.
Выходные данные : Москва: Наука, 1984
Колич.характеристики :224 с
Цена : 0.90 р.
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): алгоритмы--задачи--логика предикатов--математическая логика--машины тьюринга--нумерации клини--нумерации поста--предикаты--теория алгоритмов--теория множеств
Найти похожие

11.

Вид документа : Однотомное издание
Шифр издания : 22.18
Автор(ы) : Криницкий, Николай Андреевич
Заглавие : Алгоритмы вокруг нас . -2-е изд.
Выходные данные : Москва: Наука, 1984
Колич.характеристики :223 с.: схем
Серия: Проблемы науки и технического прогресса
Цена : 1.00 р.
ББК : 22.18
Предметные рубрики: Математика-- Математическая кибернетика
Ключевые слова (''Своб.индексиров.''): автоматизация процессов--информационные системы--математическое обеспечение--прикладная математика--программирование--создание алгоритмов--теория алгоритмов--формальные языки--электронные вычислительные машины и программирование
Аннотация: Книга посвящена разделу современной прикладной математике - теории алгоритмов. Рассматриваются ее наиболее важные приложения в области электронных вычислительных машин, программирования, автоматизации процессов управления.
Найти похожие

12.

Вид документа : Однотомное издание
Шифр издания : 22.12
Автор(ы) : Мендельсон, Эллиот
Заглавие : Введение в математическую логику . -3-е изд.
Выходные данные : Москва: Наука, 1984
Колич.характеристики :320 с
Примечания : Библиогр.: с. 296-319
Цена : 1.80 р.
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): аксиоматическая теория множеств--алгорифмы маркова--алгорифмы тьюринга--логика высказываний--логика предикатов--математическая логика--теорема хартогса--теория алгоритмов--формализованная арифметика--формальная арифметика--элементарные теории
Найти похожие

13.

Вид документа : Однотомное издание
Шифр издания : 22.18
Автор(ы) : Ивани, Антал, Смелянский, Руслан Леонидович
Заглавие : Элементы теоретического программирования : учеб. пособие для вузов
Выходные данные : Москва: Издательство Московского государственного университета, 1985
Колич.характеристики :192 с
Цена : 00.30 р.
ББК : 22.18
Предметные рубрики: Математика-- Математическая кибернетика
Ключевые слова (''Своб.индексиров.''): алгоритмы маркова--математическая кибернетика--математическое программирование--многопроцессорные системы--операторные схемы--память (матем.)--структура управления--структурное программирование--теоретическое программирование--теория алгоритмов--теория вероятности--учебное пособия для вузов
Найти похожие

14.

Вид документа : Однотомное издание
Шифр издания : 22.12
Автор(ы) : Успенский, Владимир Андреевич, Семенов, Алексей Львович
Заглавие : Теория алгоритмов: основные открытия и приложения
Выходные данные : Москва: Наука, 1987
Колич.характеристики :288 с
Серия: Библиотечка программиста
Примечания : Библиогр.: с. 245
Цена : 1.20 р.
ББК : 22.12
Предметные рубрики: Математика-- Теория функций
Ключевые слова (''Своб.индексиров.''): алгоритмы--машины тьюринга--машины шенхаге--проблема сводимости поста--теория алгоритмов
Аннотация: Дается обзор важнейших достижений теории алгоритмов с момента зарождения этой теории.
Найти похожие

15.

Вид документа : Однотомное издание
Шифр издания : 22.12
Автор(ы) : Колмогоров, Андрей Николаевич
Заглавие : Теория информации и теория алгоритмов : [сборник статей]
Выходные данные : Москва: Наука, 1987
Колич.характеристики :304 с
Цена : 1.60 р.
ББК : 22.12
Предметные рубрики: Математика-- Общие вопросы математики
Ключевые слова (''Своб.индексиров.''): статьи--теория алгоритмов--теория информации
Аннотация: Включены работы по теории информации и теории алгоритмов и их приложениям к различным областям знания.
Найти похожие

16.

Вид документа : Однотомное издание
Шифр издания : 22.12я73/Е 80
Автор(ы) : Ершов, Юрий Леонидович, Палютин, Евгений Андреевич
Заглавие : Математическая логика : учеб. пособие для вузов . -2-е изд., испр. и доп.
Выходные данные : Москва: Наука, 1987
Колич.характеристики :336 с
Цена : 20 р.
ББК : 22.12я73
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): алгоритмы--теория алгоритмов--теория доказательств--теория множеств--учебники для вузов--учебные пособия для вузов
Аннотация: В книге изложены основные классические исчисления математической логики.
Найти похожие

17.

Вид документа : Однотомное издание
Шифр издания : 22.17
Автор(ы) : Кузнецов, Олег Петрович, Адельсон-Вельский, Георгий Максимович
Заглавие : Дискретная математика для инженера . -2-е изд., перераб. и доп.
Выходные данные : Москва: Энергоатомиздат, 1988
Колич.характеристики :480 с.: ил.
Примечания : Библиогр.:с.473-475
Цена : 1.80 р.
ББК : 22.17
Предметные рубрики: Математика-- Теория вероятностей-- Комбинаторный анализ
Ключевые слова (''Своб.индексиров.''): автоматы--булева алгебра--грамматики--графы--дискретная математика--инженеры--комбинаторные задачи--линейное программирование--логика--машины тьюринга--множества--отношения--предикаты--теория алгоритмов--формальные теории--функции--язык логики предикатов--языки
Найти похожие

18.

Вид документа : Однотомное издание
Шифр издания : 519/К 89
Автор(ы) : Кузнецов О. П.
Заглавие : Дискретная математика для инженера . -2-е изд., перераб. и доп.
Выходные данные : М.: Энергоатомиздат, 1988
Колич.характеристики :480 с.: ил.; 21см
ISBN, Цена 5-283-01563-7: 1.80 р.
ГРНТИ : 27.41.41
УДК : 519.1
ББК : 32.815
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): функции--булевы алгебры--теория алгоритмов--предикаты--математика--алгебра--комбинаторный анализ--линейное программирование--комбинаторика--теория автоматов--теория графов--дискретная математика--теория множеств--алгебра логики
Аннотация: В книге излагаются основные понятия теории множеств, общей алгебры, алгебры логики, комбинаторики и теории графов, составляющих аппарат дискретной математики. По сравнению с изданием 1980 г. переработана глава по сложности вычислений, добавлен раздел о раскраске графов, включены новые главы по теории формальных языков и линейному программированию.
Найти похожие

19.

Вид документа : Продолжающееся издание
Шифр издания : 519/В 35
Заглавие : Вероятностные методы и кибернетика. Вып. 24
Выходные данные : Казань: Изд-во Казан. ун-та, 1990
Колич.характеристики :112 с. ; 20см
Примечания : Библогр.в конце статей
Цена : 1.20 р.
ГРНТИ : 27.43.15 + 28.01
УДК : 519.21+007
Предметные рубрики: Математика-- Теория вероятностей
Кибернетика
Ключевые слова (''Своб.индексиров.''): индексы--индексы множеств--иерархия ершова--синтез--синтез программ--многогранники--случайные процессы--случайные коды--математика--теория вероятностей--кибернетика--коды--преобразования--вероятностные методы--математическая логика--детерминированные автоматы--вероятностные автоматы--теория алгоритмов--система программирования
Аннотация: Сборник содержит статьи по традиционным темам исследований кафедры теоретической кибернетики: детерминированным и вероятностным автоматам, математической логике, теории алгоритмов и теории формальных спецификаций систем программирования.
Найти похожие

20.

Вид документа : Однотомное издание
Шифр издания : 1/К 85
Автор(ы) : Крылов С. М.
Заглавие : Формальная технология в философии, технике, биоэволюции и социологии
Выходные данные : Самара: Самар. гос. техн. ун-т, 1997
Колич.характеристики :180 с.: ил.; 21см
Коллективы : Самарский гос. техн. ун-т
Примечания : Библиогр.список:с.177-178(33 назв.)
ISBN, Цена 5-7964-0008-8: 12000р. р.
ГРНТИ : 02 + 81 + 34
УДК : 1+62+57+316
Предметные рубрики: Философия-- Современная философия
Ключевые слова (''Своб.индексиров.''): формальная технология--теория алгоритмов--универсальные технологические системы--аксиоматика формальной технологии--философия--социология--биоэволюция
Аннотация: Рассматриваются фундаментальные понятия и наиболее важные результаты нового научного направления, объединяющего в себе основы теории алгоритмов, математики и технологии. Излагаются проблемы аксиоматики формальной технологии, вводятся основные типы операций и исследуются свойства различных технологий, специализированных и универсальных технологических систем, в том числе информационных систем различного назначения. Для широкого круга специалистов в различных областях науки и техники.
Найти похожие

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

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