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

Главная

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

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

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

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

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

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : 22.12/У 77
Автор(ы) : Успенский, Владимир Андреевич, Верещагин, Николай Константинович, Плиско, Валерий Егорович
Заглавие : Вводный курс математической логики
Выходные данные : М.: Физматлит, 2002
Колич.характеристики :125 с
ISBN, Цена 5-9221-0278-8: 30.00, 30.00, р.
ББК : 22.12
Предметные рубрики: Естественные науки-- Математика
Математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--теория множеств--логика высказываний--кванторы--теория доказательств--теорема гёделя о полноте--теория алгоритмов
Экземпляры :ЦБ(1)
Свободны : ЦБ(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 22.12я73/З-13
Автор(ы) : Заварыкин, Валерий Михайлович, Житомирский, Владимир Габриэлович, Лапчик, Михаил Павлович
Заглавие : Техника вычислений и алгоритмизация : учеб. пособие для пед. вузов
Выходные данные : М.: Просвещение, 1987
Колич.характеристики :156 с.: ил.
Цена : 4.00, 4.00, р.
ББК : 22.12я73
Предметные рубрики: Естественные науки-- Математика
ТЕХНИКА. ТЕХНИЧЕСКИЕ НАУКИ-- Информатика
Ключевые слова (''Своб.индексиров.''): бейсик--алгоритмизация--алгоритмы--математическая логика--микрокалькуляторы--основания математики--оценка погрешностей--погрешности--программирование--техника вычислений--учебные пособия для вузов--эвм--язык бейсик
Экземпляры :ЦБ(1)
Свободны : ЦБ(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 22.12я73/К 60
Автор(ы) : Колмогоров, Андрей Николаевич, Драгалин, Альберт Григорьевич
Заглавие : Математическая логика : Дополнительные главы : учебное пособие для студентов вузов
Выходные данные : Москва: Изд-во Московского ун-та, 1984
Колич.характеристики :120 с
Цена : 0.25, 0.25, р.
ББК : 22.12я73
Предметные рубрики: Естественные науки-- Математика
Ключевые слова (''Своб.индексиров.''): математическая логика--множеств теория--алгоритмов теория
Экземпляры :ЦБ(1)
Свободны : ЦБ(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 22.12/Б 59
Автор(ы) : Бизам, Дьердь, Герцег, Янош
Заглавие : Многоцветная логика : 175 логических задач
Выходные данные : Москва: Мир, 1978
Колич.характеристики :435 с.: ил.
Цена : 1.50, 1.50, р.
ББК : 22.12
Предметные рубрики: Естественные науки-- Математика
Ключевые слова (''Своб.индексиров.''): математическая логика
Экземпляры :ГДЮБ(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, 4.18, р.
ББК : 22.1
Предметные рубрики: Естественные науки-- Математика
Ключевые слова (''Своб.индексиров.''): математическая логика--занимательная математика--логика--логическое мышление
Экземпляры :ДБДК(1)
Свободны : ДБДК(1)
Найти похожие

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

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