Базы данных


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

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


    (Свободных экземпляров нет)
Вид документа : Однотомное издание
Шифр издания : 22.12/Н 64
Автор(ы) : Никольская, Инна Ивановна
Заглавие : Математическая логика : учебник для техникумов
Выходные данные : Москва: Высшая школа, 1981
Колич.характеристики :127 с.: табл.
Цена : 0.25 р.
ББК : 22.12я723
Предметные рубрики: Физико-математические науки-- Математика-- Основания математики. Математическая логика
Ключевые слова (''Своб.индексиров.''): теоретический материал--математическая логика
Экземпляры : всего 3: АБ-Центральная Б-ка(1), Ф16-Библ.№23(1), Ф21-Библ.№29(1), ХР-Центральная Б-ка(1)
Найти похожие
2.


    (Свободных экземпляров нет)
Вид документа : Многотомное издание
Шифр издания : 92/Э 68
Автор(ы) :
Заглавие : Энциклопедия для детей/ ред. М. Д. Аксенова. Т. 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
Цена : 1.10 р.
ББК : 22.12я73
Предметные рубрики: Физико-математические науки-- Математика-- Основания математики. Математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--учебные пособия для вузов
Аннотация: В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.
Экземпляры : всего 1: ЮО-Библ.№41(1), АБ-Центральная Б-ка(1)
Свободны : АБ-Центральная Б-ка(1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)