Базы данных


Книги МБУ ЦСМБ- результаты поиска

Вид поиска
Книги МБУ ЦСМБ
Систематическая картотека статей
Фонд редких книг
ЛитРес - библиотека электронных книг
Область поиска
 Найдено в других БД:Систематическая картотека статей (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=МАТЕМАТИЧЕСКАЯ ЛОГИКА<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.
   22.12
   Н 64

    Никольская, Инна Ивановна.
    Математическая логика : учебник для техникумов / И. Л. Никольская. - Москва : Высшая школа, 1981. - 127 с. : табл. - 0.25 р. - Текст : непосредственный.
ББК 22.12я723

Рубрики: Физико-математические науки--Математика--Основания математики. Математическая логика--Учебные издания для специализированных учебных заведений

Кл.слова (ненормированные):
ТЕОРЕТИЧЕСКИЙ МАТЕРИАЛ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Экземпляры всего: 4
АБ-Центральная Б-ка (1), Ф16-Библ.№23 (1), Ф21-Библ.№29 (1), ХР-Центральная Б-ка (1)
Свободных экз: просьба уточнить по телефону.

Найти похожие
2.
   92
   Э 68


    Энциклопедия для детей / ред. М. Д. Аксенова. - Москва : Аванта+, 1999.
   Т. 11 : Математика. - 1999. - 688 с. : ил. - ISBN 5-89501-018-0 : 180.00 р., 300.00 р.
ББК 92 + 22.1

Рубрики: Литература универсального содержания--Справочные издания--Энциклопедии

   Естественные науки--Физико-математические науки--Математика--Энциклопедии

Кл.слова (ненормированные):
АКСИОМЫ -- ГЕОМЕТРИЯ -- ДОКАЗАТЕЛЬСТВА -- ИНТЕГРАЛЫ -- ИСТОРИЯ МАТЕМАТИКИ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МАТЕМАТИЧЕСКИЙ АНАЛИЗ -- МНОЖЕСТВА -- СЛУЧАЙНЫЕ ВЕЛИЧИНЫ
Аннотация: В этом томе содержатся сведения по самым разным разделам современной математики. Это и справочное пособие для школьников, и популярная книга для чтения, которую отличают полнота содержания и доступность изложения.
Доп.точки доступа: Аксенова, М. Д. \ред.\
Экземпляры всего: 14
Ф5-Библ.№5 (1), Ф7-Библ.№8 (1), Ф9-Библ.№10 (1), Ф11-Библ.№13 (1), Ф12-Библ.№14 (1), Ф13-Библ.№15 (1), Ф14-Библ.№16 (1), Ф16-Библ.№23 (1), Ф22-Библ.№31 (2), Ф23-Библ.№32 (1), Ф30-Библ.№46 (1), Ф31-Библ.№49 (1), ЧЗ1-Центральная Б-ка (1)
Свободных экз: просьба уточнить по телефону.

Найти похожие
3.
   22.12я73
   Е80

    Ершов, Юрий Леонидович.
    Математическая логика : учебное пособие для математических специальностей вузов / Ю. Л. Ершов, Е. А. Палютин. - 2-е изд., испр. и доп. - Москва : Наука, 1987. - 336 с. ; 21. - Предм. указ.: с. 335-336. - 30000 экз.. - (В пер.) : 1.10 р. - Текст : непосредственный.
ББК 22.12я73

Рубрики: Физико-математические науки--Математика--Основания математики. Математическая логика--Учебные издания для высших учебных заведений

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- УЧЕБНЫЕ ПОСОБИЯ ДЛЯ ВУЗОВ
Аннотация: В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.
Доп.точки доступа: Палютин, Евгений Андреевич
Экземпляры всего: 2
ЮО-Библ.№41 (1), АБ-Центральная Б-ка (1)
Свободны: АБ-Центральная Б-ка (1)

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