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

Базы данных


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

Виды поиска

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

Вид документа : Однотомное издание
Шифр издания : 22.1я73
Автор(ы) : Гамова, Алла Николаевна
Заглавие : Математическая логика и теория алгоритмов : учеб. пособие для вузов
Выходные данные : Саратов: Издательство Саратовского национального государственного университета имени Н. Г. Чернышевского, 1999
Колич.характеристики :76 с
ISBN, Цена 5-292-02362-0: 10.00 р.
ББК : 22.1я73
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): алгоритмы--математическая логика--пособия для вузов--теория алгоритмов
Найти похожие

2.

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

3.

Вид документа : Однотомное издание
Шифр издания : 22.12я73
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Задачи и упражнения по математической логике и теории алгоритмов : учеб. пособие для вузов . -2-е изд., стереотип.
Выходные данные : Москва: Академия, 2006
Колич.характеристики :304 с
Серия: Высшее профессиональное образование
ISBN, Цена 5-7695-2914-8: 50 р.
ББК : 22.12я73
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): алгебра высказываний--булевы функции--задачи--логика предикатов--пособия для вузов--теория алгоритмов--упражнения--учебники для вузов--учебные пособия для вузов--формализованное исчисление высказываний
Аннотация: Содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов.
Найти похожие

4.

Вид документа : Однотомное издание
Шифр издания : 519(075)/К 89
Автор(ы) : Кузнецов О. П.
Заглавие : Дискретная математика для инженера : научное издание . -5-е изд., стер.
Выходные данные : СПб.; М.; Краснодар: Лань, 2007
Колич.характеристики :400 с.: ил.; 20 см
Серия: Учебники для вузов. Специальная литература
Примечания : Библиогр.: с. 388-389 (50 назв.)
ISBN, Цена 978-5-8114-0570-1: 280.06 р.
ГРНТИ : 27.41.41.01.33
УДК : 519.1(075.8)
ББК : 22.176
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): математика--дискретная математика--теория множеств--теория графов--теория алгоритмов--теория автоматов--логика
Найти похожие

5.

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

6.

Вид документа : Однотомное издание
Шифр издания : 510(075)/Б 87
Автор(ы) : Бредихин Д. А.
Заглавие : Элементы теории множеств, алгебры и дискретной математики : учеб. пособие для всех спец. втузов
Выходные данные : Саратов: СГТУ, 1998
Колич.характеристики :80 с. ; 20 см
Коллективы : Саратовский гос. техн. ун-т
ISBN, Цена 5-7433-0471-8: 5.50 р.
ГРНТИ : 27.17.01.33 + 27.15.01.33 + 27.41.41.01.33
УДК : 510.2+512+519.1(075.8)
Предметные рубрики: Математика-- Алгебра
Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): теория множеств--алгебра--логика--дискретная математика--теория графов--теория алгоритмов--теория конечных автоматов
Аннотация: Изложены основы теории множеств, современной алгебры, логики и дискретной математики, включая теории графов, алгоритмов и конечных автоматов. Указанные разделы математики включены в новый госстандарт для технических вузов.
Найти похожие

7.

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

8.

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

9.

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

10.

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

11.

Вид документа : Однотомное издание
Шифр издания : 519(075)/Г 52
Автор(ы) : Глаголев В. В.
Заглавие : Методы дискретной математики : учеб. пособие
Выходные данные : Тула: ТГУ, 2000
Колич.характеристики :232 с.: ил.; 20см
Коллективы : Тульский гос. ун-т
ISBN, Цена 5767902798: 20.00 р.
ГРНТИ : 27.41.41.01.33
УДК : 519.1(075.8)
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): дискретная математика--комбинаторика--теория графов--булевы функции--конечные автоматы--формальные языки--теория алгоритмов
Аннотация: Излагаются основные разделы дискретной математики, сформировавшиеся к настоящему времени: комбинаторика, теория графов, булевы функции и их реализации, конечные автоматы, формальные языки, элементы теории алгоритмов. Для студентов.
Найти похожие

12.

Вид документа : Однотомное издание
Шифр издания : 519(075)/К 89
Автор(ы) : Кузнецов О. П.
Заглавие : Дискретная математика для инженера : учебник . -3-е изд., перераб. и доп.
Выходные данные : СПб.: Лань, 2004
Колич.характеристики :400 с.: ил.; 21 см
Серия: Учебники для вузов. Специальная литература
Примечания : Библиогр.: с. 388-389 (50 назв.)
ISBN, Цена 5-8114-0570-7: 132.66 р.
ГРНТИ : 27.41.41.01.33
УДК : 519.1(075.8)
ББК : 22.176
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): математика--дискретная математика--алгебра--графы--логика--теория алгоритмов--формальные системы--формальные языки--формальные грамматики--автоматы--множества--функции--отношения
Аннотация: В книге анализируются содержание, специфика и смена социокультурных парадигм.
Найти похожие

13.

Вид документа : Однотомное издание
Шифр издания : 519(075)/А 60
Автор(ы) : Аляев Ю. А., Тюрин С. Ф.
Заглавие : Дискретная математика и математическая логика : учебник
Выходные данные : М.: Финансы и статистика, 2006
Колич.характеристики :368 с.: ил.; 21 см
Примечания : Библиогр.: с. 355-357 (41 назв.). - Гриф: допущено УМО по образованию в обл. прикладной информатики в качестве учебника для студ. вузов, обучающихся по спец. "Прикладная информатика (по областям)" и др. экон. спец.
ISBN, Цена 5-279-03045-7: 260.00 р.
ГРНТИ : 27.41.41.01.33 + 27.03.01.33
УДК : 519.1+510.6(075.8)
ББК : 22.176 + 22.12
Предметные рубрики: Математика-- Дискретная математика
Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): математика--дискретная математика--математическая логика--теория множеств--элементы комбинаторики--теория графов--теория кодирования--логические исчисления--теория алгоритмов--теория нечетких множеств--алгебра--булевы алгебры--неклассические логики
Аннотация: Рассматриваются основные темы дискретной математики и математической логики. Сложные вопросы математики рассматриваются на простых примерах.
Найти похожие

14.

Вид документа : Однотомное издание
Шифр издания : 519(075)/К 89
Автор(ы) : Кузнецов О. П.
Заглавие : Дискретная математика для инженера : учебник . -4-е изд., стер.
Выходные данные : СПб.: Лань, 2005
Колич.характеристики :400 с.: ил.; 21 см
Примечания : Библиогр.: с. 388-389 (50 назв.)
ISBN, Цена 5-8114-0570-7: 177.65 р.
ГРНТИ : 27.41.41.01.33
УДК : 519.1(075.8)
ББК : 22.176
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): математика--дискретная математика--теория множеств--логика--теория графов--теория алгоритмов--формальные системы--теория автоматов--алгебра--языки--грамматики
Аннотация: Изложены основные понятия теории множеств, общей алгебры, логики, теории графов, теории алгоритмов и формальных систем, теории автоматов.
Найти похожие

15.

Вид документа : Однотомное издание
Шифр издания : 51(075)/Ш 24
Автор(ы) : Шапорев С. Д.
Заглавие : Математическая логика : курс лекций и практ. занятий: учеб пособие
Выходные данные : СПб.: БХВ-Петербург, 2005
Колич.характеристики :416 с.: ил.; 24 см
Примечания : Библиогр.: с. 405 (26 назв.). - Гриф: допущено научно-метод. советом по математике вузов Северо-Запада в качестве учеб. пособия для студ. вузов, обуч. по спец. 220200 "Автоматизир. системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях"
ISBN, Цена 5-94157-702-8: 153.51 р.
ГРНТИ : 27.03.01.33
УДК : 510.6(075.8)
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): математика--математическая логика--алгебра логики--логика предикатов--теория алгоритмов
Аннотация: Рассматриваются алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов.
Найти похожие

16.

Вид документа : Однотомное издание
Шифр издания : 510(07)/М 92
Автор(ы) : Муха Ю. П., Авдеюк О. А.
Заглавие : Математическая логика и теория алгоритмов : учеб. пособие
Выходные данные : Волгоград: РПК "Политехник", 2005
Колич.характеристики :92 с.: табл.; 20 см
Коллективы : Волгоградский гос. техн. ун-т
Примечания : Библиогр.: с. 92 (10 назв.)
ISBN, Цена 5-230-04465-5: 80.00 р.
ГРНТИ : 27.03.01.33
УДК : 510.6+510.5(07)
ББК : 22.1
Предметные рубрики: Математика-- Математическая логика
Математика-- Теория алгоритмов
Ключевые слова (''Своб.индексиров.''): математика--математическая логика--теория алгоритмов--логика высказываний--логика предикатов--алгебра логики
Аннотация: Излагаются основные положения математической логики и теории алгоритмов. Особое внимание уделяется алгебре логики, методам минимизации переключательных функций, синтезу и анализу логических схем.
Найти похожие

17.

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

18.

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

19.

Вид документа : Однотомное издание
Шифр издания : 519(075)/Г 16
Автор(ы) : Галушкина Ю. И., Марьямов А. Н.
Заглавие : Конспект лекций по дискретной математике : с упражнениями и контрольными работами
Выходные данные : М.: Айрис пресс, 2007
Колич.характеристики :176 с.: рис.; 24 см
Серия: Высшее образование
Примечания : Библиогр.: с. 174 (8 назв.)
ISBN, Цена 978-5-8112-2599-6: 100.00 р.
ГРНТИ : 27.41.41.01.33
УДК : 519.1(075.8)
ББК : 22.176
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): математическая логика--множества--отображения--комбинаторный анализ--логика предикатов--теория графов--теория кодирования--теория автоматов--теория алгоритмов
Аннотация: В книге в доступной форме изложены разделы, традиционно изучаемые в курсе дискретной математики. Книга рассчитана на студентов нематематических вузов, желающих ознакомиться с методами дискретной математики. Математическая подготовка, необходимая для чтения этой книги, ограничивается программой математики средней школы
Найти похожие

20.

Вид документа : Однотомное издание
Шифр издания : 519(075)/П 47
Автор(ы) : Поздняков С. Н., Рыбин С. В.
Заглавие : Дискретная математика : учеб.
Выходные данные : М.: ИЦ "Академия", 2008
Колич.характеристики :448 с.: ил.; 22 см
Серия: Высшее профессиональное образование
Примечания : Гриф: допущено М-вом образования и науки РФ в качестве учеб. для студ. вузов, обуч. по напр. подгот. " Информатика и вычислительная техника", "Информационные системы", "Информационная безопасность"
ISBN, Цена 978-5-7695-3105-7: 423.50 р.
ГРНТИ : 27.41.41.01.33
УДК : 519.1(075.8)
ББК : 22.176
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): целочисленные алгоритмы--рекуррентные уравнения--теория множеств --многочлены--графы--бинарные отношения--математическая логика--теория алгоритмов
Аннотация: В учебнике рассмотрены комбинаторика, теория графов, приведены сведения из теории чисел и многочленов, даны общие математические понятие, как отношения, поля, кольца, группы, изложен материал по многочленам нескольких переменных, которые играют большую роль в автоматизации математических вычислений, а также материал по математической логике и теории алгоритмов.
Найти похожие

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

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