Choice of metadata University Online Library
Page 1, Results: 10
Report on unfulfilled requests: 0
1.
Подробнее
Непейвода, Н. Н.
Прикладная логика [Электронный ресурс] : учебное пособие / Н. Н. Непейвода. - 2-е изд., испр. и доп. - Новосибирск : Издательство Новосибирского университета, 2000. - 521 с. : ил. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - Библиогр.: с. 479 - 481. - ISBN 5-7615-0490-1 : Б. ц.
ББК 22.12я73
Кл.слова (ненормированные):
Учебник для высшей школы
Аннотация: Данное пособие является элементарным введением в язык современной математики и методы современной математической логики. Его можно использовать совместно с обучающими программами высокого уровня. Рекомендуется для студентов и аспирантов специальностей: "Математика", "Прикладная математика", "Структурная прикладная лингвистика", "Философия", "Когнитивная психология".
Доп.точки доступа:
Актуальная, литература
Непейвода, Н. Н.
Прикладная логика [Электронный ресурс] : учебное пособие / Н. Н. Непейвода. - 2-е изд., испр. и доп. - Новосибирск : Издательство Новосибирского университета, 2000. - 521 с. : ил. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - Библиогр.: с. 479 - 481. - ISBN 5-7615-0490-1 : Б. ц.
| УДК |
Кл.слова (ненормированные):
Учебник для высшей школы
Аннотация: Данное пособие является элементарным введением в язык современной математики и методы современной математической логики. Его можно использовать совместно с обучающими программами высокого уровня. Рекомендуется для студентов и аспирантов специальностей: "Математика", "Прикладная математика", "Структурная прикладная лингвистика", "Философия", "Когнитивная психология".
Доп.точки доступа:
Актуальная, литература
2.
Подробнее
Абрамов, С. А.
Лекции о сложности алгоритмов [Электронный ресурс] : учебное пособие / С. А. Абрамов. - Москва : МЦНМО, 2009. - 253 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-94057-433-0 : Б. ц.
ББК 22.12
Аннотация: В книге излагаются основные (начальные) разделы теории сложности алгоритмов. Различаются алгебраическая и битовая сложности, каждая из которых рассматривается в худшем случае и в среднем. Ряд основных понятий теории сложности, как-то: оценки снизу и сверху, нижняя граница сложности алгоритмов некоторого класса, оптимальный алгоритм и т.д., рассматривается не только в обычном функциональном, но и в асимптотическом смысле: асимптотические оценки, асимптотическая нижняя граница, оптимальность по порядку сложности и т.д. Показывается, что при исследовании существования алгоритма решения задачи, имеющего «не очень высокую» сложность, важную роль может играть сводимость одной задачи к другой. Изложение сопровождается анализом сложности большого числа алгоритмов арифметики, сортировки и поиска, вычислительной геометрии, теории графов и др. Для студентов, специализирующихся в области математики и информатики.
Доп.точки доступа:
Пиксел
Абрамов, С. А.
Лекции о сложности алгоритмов [Электронный ресурс] : учебное пособие / С. А. Абрамов. - Москва : МЦНМО, 2009. - 253 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-94057-433-0 : Б. ц.
| УДК |
Аннотация: В книге излагаются основные (начальные) разделы теории сложности алгоритмов. Различаются алгебраическая и битовая сложности, каждая из которых рассматривается в худшем случае и в среднем. Ряд основных понятий теории сложности, как-то: оценки снизу и сверху, нижняя граница сложности алгоритмов некоторого класса, оптимальный алгоритм и т.д., рассматривается не только в обычном функциональном, но и в асимптотическом смысле: асимптотические оценки, асимптотическая нижняя граница, оптимальность по порядку сложности и т.д. Показывается, что при исследовании существования алгоритма решения задачи, имеющего «не очень высокую» сложность, важную роль может играть сводимость одной задачи к другой. Изложение сопровождается анализом сложности большого числа алгоритмов арифметики, сортировки и поиска, вычислительной геометрии, теории графов и др. Для студентов, специализирующихся в области математики и информатики.
Доп.точки доступа:
Пиксел
3.
Подробнее
Гасанов, Э. Э.
Теория хранения и поиска информации [Электронный ресурс] : монография / Э. Э. Гасанов, В. Б. Кудрявцев. - Москва : Физматлит, 2002. - 143 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-0235-3 : Б. ц.
ББК 22.181.2 + 22.126
Аннотация: Вводится новый вид представления баз данных, называемый информационно-графовой моделью данных, обобщающий известные ранее модели. Рассматриваются основные типы задач поиска информации в базах данных и исследуются проблемы сложности решения этих задач применительно к информационно-графовой модели. Разработан математический аппарат решения этих задач, основанный на методах теории сложности управляющих систем, теории вероятностей, а также на оригинальных методах характеристических носителей графа, оптимальной декомпозиции и снижения размерности. Для математиков, специалистов по кибернетике и информатике и инженеров как научная монография и новый технологический аппарат, а также как учебное пособие для студентов и аспирантов, специализирующихся в области математической кибернетики, дискретной математики и математической информатики.
Доп.точки доступа:
Кудрявцев, В. Б.
Физматлит
Гасанов, Э. Э.
Теория хранения и поиска информации [Электронный ресурс] : монография / Э. Э. Гасанов, В. Б. Кудрявцев. - Москва : Физматлит, 2002. - 143 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-0235-3 : Б. ц.
Аннотация: Вводится новый вид представления баз данных, называемый информационно-графовой моделью данных, обобщающий известные ранее модели. Рассматриваются основные типы задач поиска информации в базах данных и исследуются проблемы сложности решения этих задач применительно к информационно-графовой модели. Разработан математический аппарат решения этих задач, основанный на методах теории сложности управляющих систем, теории вероятностей, а также на оригинальных методах характеристических носителей графа, оптимальной декомпозиции и снижения размерности. Для математиков, специалистов по кибернетике и информатике и инженеров как научная монография и новый технологический аппарат, а также как учебное пособие для студентов и аспирантов, специализирующихся в области математической кибернетики, дискретной математики и математической информатики.
Доп.точки доступа:
Кудрявцев, В. Б.
Физматлит
4.
Подробнее
Порецкий, П. С.
О способах решения логических равенств и об обратном способе математической логики [Электронный ресурс] : научная литература / П. С. Порецкий. - [Б. м.] : б.и., 1884. - 157 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 9785998987472 : Б. ц.
ББК 22.12
Аннотация: Религиозная литература XIX века.
Доп.точки доступа:
Директ-Медиа
Порецкий, П. С.
О способах решения логических равенств и об обратном способе математической логики [Электронный ресурс] : научная литература / П. С. Порецкий. - [Б. м.] : б.и., 1884. - 157 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 9785998987472 : Б. ц.
Аннотация: Религиозная литература XIX века.
Доп.точки доступа:
Директ-Медиа
5.
Подробнее
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов [Электронный ресурс] : учебное пособие / И. А. Лавров, Л. Л. Максимова. - 5-е изд., испр. - Москва : Физматлит, 2002. - 258 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - Библиогр.: с. 248-249. - ISBN 5-9221-0026-2 : Б. ц.
ББК 22.12я73
Кл.слова (ненормированные):
Учебник для высшей школы
Аннотация: В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук.Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу.3-е издание книги вышло в 1995 г.Сборник может быть использован как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики. Для математиков-алгебраистов, логиков и кибернетиков.
Доп.точки доступа:
Максимова, Л. Л.
Физматлит
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов [Электронный ресурс] : учебное пособие / И. А. Лавров, Л. Л. Максимова. - 5-е изд., испр. - Москва : Физматлит, 2002. - 258 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - Библиогр.: с. 248-249. - ISBN 5-9221-0026-2 : Б. ц.
| УДК |
Кл.слова (ненормированные):
Учебник для высшей школы
Аннотация: В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук.Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу.3-е издание книги вышло в 1995 г.Сборник может быть использован как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики. Для математиков-алгебраистов, логиков и кибернетиков.
Доп.точки доступа:
Максимова, Л. Л.
Физматлит
6.
Подробнее
Успенский, В. А.
Вводный курс математической логики [Электронный ресурс] : учебное пособие / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - Москва : Физматлит, 2007. - 126 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-0278-0 : Б. ц.
ББК 22.12
Аннотация: В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций.Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики.
Доп.точки доступа:
Верещагин, Н. К.
Плиско, В. Е.
Физматлит
Успенский, В. А.
Вводный курс математической логики [Электронный ресурс] : учебное пособие / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - Москва : Физматлит, 2007. - 126 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-0278-0 : Б. ц.
| УДК |
Аннотация: В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций.Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики.
Доп.точки доступа:
Верещагин, Н. К.
Плиско, В. Е.
Физматлит
7.
Подробнее
Марченков, С. С.
Булевы функции [Электронный ресурс] : методическое пособие / С. С. Марченков. - Москва : Физматлит, 2002. - 72 с. - (Популярные лекции по математике). - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 5-9221-0253-2 : Б. ц.
ББК 22.124
Аннотация: Брошюра знакомит читателя с булевыми функциями — одним из важнейших классов дискретных функций. В ней излагаются основные понятия теории булевых функций, доказывается критерий функциональной полноты и рассматриваются вопросы сложности реализации булевых функций.Брошюра предназначена для школьников старших классов и студентов первых курсов.
Доп.точки доступа:
Физматлит
Марченков, С. С.
Булевы функции [Электронный ресурс] : методическое пособие / С. С. Марченков. - Москва : Физматлит, 2002. - 72 с. - (Популярные лекции по математике). - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 5-9221-0253-2 : Б. ц.
| УДК |
Аннотация: Брошюра знакомит читателя с булевыми функциями — одним из важнейших классов дискретных функций. В ней излагаются основные понятия теории булевых функций, доказывается критерий функциональной полноты и рассматриваются вопросы сложности реализации булевых функций.Брошюра предназначена для школьников старших классов и студентов первых курсов.
Доп.точки доступа:
Физматлит
8.
Подробнее
Марченков, С. С.
Рекурсивные функции [Электронный ресурс] : методическое пособие / С. С. Марченков. - Москва : Физматлит, 2007. - 60 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-0825-6 : Б. ц.
ББК 22.127
Аннотация: Брошюра знакомит читателя с алгоритмически вычислимыми функциями натурального аргумента - рекурсивными функциями. Вначале изучается простейший тип рекурсивных функций - примитивно рекурсивные функции. Затем происходит расширение круга вычислимых функций: рассматриваются частично определенные вычислимые функции, а также всюду определенные вычислимые функции, не являющиеся примитивно рекурсивными. В заключение определяются абстрактные вычислительные устройства - машины Тьюринга, и класс функций, вычислимых на машинах Тьюринга, связывается с классом частично рекурсивных функций. Для школьников старших классов и студентов вузов, знакомящихся с основами теории алгоритмов.
Доп.точки доступа:
Физматлит
Марченков, С. С.
Рекурсивные функции [Электронный ресурс] : методическое пособие / С. С. Марченков. - Москва : Физматлит, 2007. - 60 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-0825-6 : Б. ц.
Аннотация: Брошюра знакомит читателя с алгоритмически вычислимыми функциями натурального аргумента - рекурсивными функциями. Вначале изучается простейший тип рекурсивных функций - примитивно рекурсивные функции. Затем происходит расширение круга вычислимых функций: рассматриваются частично определенные вычислимые функции, а также всюду определенные вычислимые функции, не являющиеся примитивно рекурсивными. В заключение определяются абстрактные вычислительные устройства - машины Тьюринга, и класс функций, вычислимых на машинах Тьюринга, связывается с классом частично рекурсивных функций. Для школьников старших классов и студентов вузов, знакомящихся с основами теории алгоритмов.
Доп.точки доступа:
Физматлит
9.
Подробнее
Марченков, С. С.
S-классификация функций трёхзначной логики [Электронный ресурс] : монография / С. С. Марченков. - Москва : Физматлит, 2001. - 80 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 5-9221-0152-8 : Б. ц.
ББК 22.12
Аннотация: S-классификация, базирующаяся на операциях суперпозиции и перехода к двойственным функциям для подстановок из полной симметрической группы, является единственной эффективной классификацией множества функций многозначной логики. Книга посвящена систематическому изложению 5-классифика-ции множества функций трехзначной логики. Дается описание всех 48 5-замкну-тых классов трехзначной логики. В каждом из классов строится конечный базис по суперпозиции. Приводится предикатное определение всех 5-замкнутых классов с помощью конечного числа предикатов некоторого стандартного вида.Для научных работников и преподавателей высшей школы, специализирующихся в области дискретной математики.
Доп.точки доступа:
Физматлит
Марченков, С. С.
S-классификация функций трёхзначной логики [Электронный ресурс] : монография / С. С. Марченков. - Москва : Физматлит, 2001. - 80 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 5-9221-0152-8 : Б. ц.
| УДК |
Аннотация: S-классификация, базирующаяся на операциях суперпозиции и перехода к двойственным функциям для подстановок из полной симметрической группы, является единственной эффективной классификацией множества функций многозначной логики. Книга посвящена систематическому изложению 5-классифика-ции множества функций трехзначной логики. Дается описание всех 48 5-замкну-тых классов трехзначной логики. В каждом из классов строится конечный базис по суперпозиции. Приводится предикатное определение всех 5-замкнутых классов с помощью конечного числа предикатов некоторого стандартного вида.Для научных работников и преподавателей высшей школы, специализирующихся в области дискретной математики.
Доп.точки доступа:
Физматлит
10.
Подробнее
Балюкевич, Э. Л.
Математическая логика и теория алгоритмов: учебно-практическое пособие [Электронный ресурс] : учебное пособие / Э. Л. Балюкевич, Л. Ф. Ковалева. - Москва : Евразийский открытый институт, 2009. - 189 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-374-00220-1 : Б. ц.
ББК 22.12я73
Кл.слова (ненормированные):
Учебник для высшей школы
Аннотация: Данное пособие рассчитано на читателя, впервые знакомящегося с математической логикой – формальным математическим аппаратом, изучающим различные способы логических рассуждений, а также с теорией алгоритмов.
Доп.точки доступа:
Ковалева, Л. Ф.
Евразийский, открытый
Балюкевич, Э. Л.
Математическая логика и теория алгоритмов: учебно-практическое пособие [Электронный ресурс] : учебное пособие / Э. Л. Балюкевич, Л. Ф. Ковалева. - Москва : Евразийский открытый институт, 2009. - 189 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-374-00220-1 : Б. ц.
| УДК |
Кл.слова (ненормированные):
Учебник для высшей школы
Аннотация: Данное пособие рассчитано на читателя, впервые знакомящегося с математической логикой – формальным математическим аппаратом, изучающим различные способы логических рассуждений, а также с теорией алгоритмов.
Доп.точки доступа:
Ковалева, Л. Ф.
Евразийский, открытый
Page 1, Results: 10