Сайт ИнЕУ Упрощенный режим О Библиотеке Руководство пользователя
Авторизация
Логин
Пароль
 

Базы данных


Книжный фонд - результаты поиска

Вид поиска
Книжный фонд
Статьи
Электронные библиотеки
Периодические издания
Магистерские диссертации
Полнотекстовые электронные издания
Сайты журналов
Труды ученых ИнЕУ
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>S=Математика -- математическая логика<.>
Общее количество найденных документов : 20
Показаны документы с 1 по 10
 1-10    11-20  
1.

Вид документа : Однотомное издание
Шифр издания : 22.12/А46
Автор(ы) : Александров П.С.
Заглавие : Введение в теорию множеств и общую топологию : Учебное пособие для вузов
Выходные данные : М.: Наука, 1977
Колич.характеристики :368 с.: ил.
Цена : 1.00, 1.00, р.
ББК : 22.12 + 22.152
Предметные рубрики: Математика-- математическая логика
Геометрия-- топология
Ключевые слова (''Своб.индексиров.''): теория множеств--топология--упорядоченное--бесконечность--число--пространство--метрическое--компактное--спектр--проекционный--абсолют
Экземпляры : всего : чзт(1), аб(2)
Свободны : чзт(1), аб(2)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 22.12/А87
Автор(ы) : Архангельский А.В.
Заглавие : Канторовская теория множеств
Выходные данные : М.: МГУ, 1988
Колич.характеристики :112с.
ISBN, Цена 5211000803: 20.00, 20.00, р.
ББК : 22.12
Предметные рубрики: Математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): канторовская теория множеств--комбинаторная--арифметика--сравнение--мощность--точка--цепь--ординал--теорема
Экземпляры : всего : чзт(1), аб(1)
Свободны : чзт(1), аб(1)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 22.12/Е80
Автор(ы) : Ершов Ю.Л., Палютин Е.А.
Заглавие : Математическая логика : Учебное пособие для вузов
Выходные данные : М.: Наука, 1987
Колич.характеристики :336с.
Цена : 2.00, 2, р.
ББК : 22.12
Предметные рубрики: Математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): высказывание--математическая логика--исчисление--множество--истинность--предикат--модель--доказательство--алгоритм--функция--рекурсивная
Экземпляры : всего 5: чзт(1), аб(1)
Свободны : чзт(1), аб(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 22.12/Х20
Автор(ы) : Харин Н.Н., Харапинский Я.Л.
Заглавие : Математическая логика и теория множеств (о соотношении абстрактного и конкретного)
Выходные данные : М.: Росвузиздат, 1963
Колич.характеристики :192с.
Цена : 1.00, 1.00, р.
ББК : 22.12
Предметные рубрики: Математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика и теория множеств (о соотношении абстрактного и конкретного)
Экземпляры :чзт(1)
Свободны : чзт(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 22.1я92/Г 20
Автор(ы) : Гарднер М.
Заглавие : Математические чудеса и тайны. Математические фокусы и головоломки
Выходные данные : М.: Наука, 1977
Колич.характеристики :128 с.: ил.
Цена : 2.00, 2.00, р.
ББК : 22.1я92
Предметные рубрики: Математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): головоломка--фокусы с картами--предсказание--кости игральные--домино--календарь--часы--спички--монеты--доска шахматная--кольцо резиновое
Экземпляры :чзт(1)
Свободны : чзт(1)
Найти похожие
6.

Вид документа :
Шифр издания : 22.12/И 26
Автор(ы) : Игошин В.И.
Заглавие : Математическая логика и теория алгоритмов : учебное пособие для вузов . -3-е изд., стер.
Выходные данные : М.: Академия, 2008
Колич.характеристики :448 с.
ISBN, Цена 9785765207: 3100.00, 3100.00, р.
ББК : 22.12
Предметные рубрики: Математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--теория алгоритма--булевы функции--исчисление--аксиома--логика предикатов
Экземпляры : всего : чзт(4)
Свободны : чзт(4)
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : 22.12/Ж64
Автор(ы) : Жетпісов Қ.
Заглавие : Математикалық логика және дискретті математика : оқулық
Выходные данные : Алматы, 2011
Колич.характеристики :264 с
ISBN, Цена 978-601-217-186-0: 494, 494, р.
ББК : 22.12
Предметные рубрики: Математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): высшая математика--математическая логика--комбинаторный анализ--дискретная математика--теория графов
Экземпляры : всего : чзт(5), аб(12)
Свободны : чзт(5), аб(12)
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : 22.12/С-15
Автор(ы) : Сакс Д.Е.
Заглавие : Теория насыщенных моделей
Выходные данные : М.: Мир, 1976
Колич.характеристики :192 с.
Цена : 1.00, 1.00, р.
ББК : 22.12
Предметные рубрики: Математика-- математическая логика
Книги в дар
Ключевые слова (''Своб.индексиров.''): теория насыщенных моделей--подсистема--эквивалентность элементарная--мономорфизм--предел--сигнатура--поле замкнутое--модель счетная--теорема вота--теорема чэна--теорема кейслера--производная кантора-бендиксона--производная морли--замыкание дифференциальное
Экземпляры :чзт(1)
Свободны : чзт(1)
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : 22.12/Г45
Автор(ы) : Гжегорчик А.
Заглавие : Популярная логика. Общедоступный очерк логики предложений . -2-е изд., испр.
Выходные данные : М.: Наука, 1972
Колич.характеристики :112 с.
Цена : 1.00, 1.00, р.
ББК : 22.12
Предметные рубрики: Математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): логика--закон--эквивалентность--таблица--множества--предложение--язык--умозаключение
Экземпляры :чзт(1)
Свободны : чзт(1)
Найти похожие
10.


    (Свободных экземпляров нет)
Вид документа : Однотомное издание
Шифр издания : 22.12/М34
Автор(ы) : Хомутенко Л.Г.
Заглавие : Математическая логика : Опорный конспект лекций
Выходные данные : Павлодар: ПаУ, 2004
Колич.характеристики :60с.
Цена : б/ц, б/ц,
ББК : 22.12
Предметные рубрики: Математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгебра высказываний--множество--теория доказательств--булевы функции--формула--соответствия--предиката--кванторы
Экземпляры : всего 16:
Найти похожие
 1-10    11-20  
 
Стандартный
По словарю
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)