Библиотека Амурского Государственного Университета

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

Область поиска

Найдено в других БД:

БД "Статьи" (9)

Труды АМГУ (1)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=математические теории<.>)

Общее количество найденных документов : 3
Показаны документы с 1 по 3

   У
   М34


    Математическая логика и теория алгоритмов [Электронный ресурс] : учеб.-метод. комплекс по дисц. для спец. 010101 Математика; 010501 - Прикладная математика / АмГУ, ФМиИ ; сост. Н. В. Кван. - Благовещенск : Изд-во Амур. гос. ун-та, 2007. - 205 с. - Б. ц.

ББК 22.12я73
Рубрики: Математическая логика--теория алгоритмов
Кл.слова (ненормированные):
алгебра логики -- булевы функции -- исчисление высказываний -- логика предикатов -- математические теории -- основы теории алгоритмов

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

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

   У
   М34


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

ББК 22.12я73
Рубрики: Математика
Математическая логика
Кл.слова (ненормированные):
алгебра логики -- булевы функции -- исчисление высказываний -- логика предикатов -- математические теории -- теория алгоритмов

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

   22.12
   Л65

    Лихтарников, Леонид Моисеевич.
    Математическая логика [Текст] : курс лекций. Задачник-практикум и решения: учеб. пособие / Л. М. Лихтарников, Т. Г. Сукачева. - 4-е изд., стер. - СПб. : Лань, 2009. - 277 с. - Библиогр. : с. 273 . - ISBN 978-5-8114-0082-9 (в пер.) : 304.48 р.

ББК 22.12я73
Рубрики: Математика
Математическая логика
Кл.слова (ненормированные):
алгебра логики -- исчисление высказываний -- логика предикатов -- математические теории -- алгоритмы

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

Тематический навигатор

Статистика за 18.08.2024
Число запросов	30991
Число посетителей	1
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)