МУ "Централизованная библиотечная система" г.Лыткарино

Главная

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

Описание

Шлюз Z39.50

Базы данных

Электронный каталог (книги,диски,ноты) - результаты поиска

Вид поиска

Электронный каталог (периодические издания)

Электронный каталог (книги,диски,ноты)

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

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

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

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

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

   22.12
   У 77

    Успенский, Владимир Андреевич.
    Вводный курс математической логики [Текст] / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - М. : Физматлит, 2002. - 125 с. - ISBN 5-9221-0278-8 : 30.00 р.

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

Доп.точки доступа:
Верещагин, Николай Константинович; Плиско, Валерий Егорович
Экземпляры всего: 1
ЦБ (1)
Свободны: ЦБ (1)
Найти похожие

   22.12я73
   З-13

    Заварыкин, Валерий Михайлович.
    Техника вычислений и алгоритмизация [Текст] : учеб. пособие для пед. вузов / В. М. Заварыкин, В. Г. Житомирский, М. П. Лапчик. - М. : Просвещение, 1987. - 156 с. : ил. - 4.00 р.

ББК 22.12я73
Рубрики: Естественные науки--Математика
ТЕХНИКА. ТЕХНИЧЕСКИЕ НАУКИ--Информатика
Кл.слова (ненормированные):
Бейсик -- алгоритмизация -- алгоритмы -- математическая логика -- микрокалькуляторы -- основания математики -- оценка погрешностей -- погрешности -- программирование -- техника вычислений -- учебные пособия для вузов -- эвм -- язык Бейсик

Доп.точки доступа:
Житомирский, Владимир Габриэлович; Лапчик, Михаил Павлович
Экземпляры всего: 1
ЦБ (1)
Свободны: ЦБ (1)
Найти похожие

   22.12я73
   К 60

    Колмогоров, Андрей Николаевич.
    Математическая логика : Дополнительные главы : учебное пособие для студентов вузов / А. Н. Колмогоров, А. Г. Драгалин. - Москва : Изд-во Московского ун-та, 1984. - 120 с. - 0.25 р.

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

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

   22.12
   Б 59

    Бизам, Дьердь.
    Многоцветная логика : 175 логических задач / Д. Бизам, Я. Герцег ; пер. с венг. Ю. А. Данилов. - Москва : Мир, 1978. - 435 с. : ил. - (в пер.) : 1.50 р.

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

Доп.точки доступа:
Герцег, Янош; Данилов, Юлий Александрович \пер. с венг.\
Экземпляры всего: 1
ГДЮБ (1)
Свободны: ГДЮБ (1)
Найти похожие

   22.1
   Н 16

    Нагибин, Федор Федорович.
    Математическая шкатулка : пособие для учащихся 4-8 кл. средней школы / Ф. Ф. Нагибин, Е. С. Канин. - 4-е изд., перераб. и доп. - Москва : Просвещение, 1984. - 160 с. : ил. - 0.55 р.

ББК 22.1
Рубрики: Математика--Общие вопросы математики
Кл.слова (ненормированные):
4 класс -- 5 класс -- 6 класс -- 7 класс -- 8 класс -- алгебра -- геометрия -- математическая логика -- математические викторины -- математические игры -- математические развлечения -- пособия для школ -- числовые множества

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

   22.1
   Н 64

    Никольская, Инна Львовна.
    Учимся рассуждать и доказывать : книга для учащихся 6-10 классов средней школы / И. Л. Никольская, Е. Е. Семенов. - Москва : Просвещение, 1989. - 192 с. - ISBN 5-09-000591-5 (в пер.) : 4.18 р.

ББК 22.1
Рубрики: Естественные науки--Математика
Кл.слова (ненормированные):
математическая логика -- занимательная математика -- логика -- логическое мышление

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

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

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