Главная
Авторизация
Фамилия
Пароль
 

Базы данных


Каталог книг и брошюр библиотеки ИФ СО РАН - результаты поиска

Вид поиска

Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=27.03$<.>)
Общее количество найденных документов : 19
Показаны документы с 1 по 10
 1-10    11-19 
1.

Вид документа : Однотомное издание
Шифр издания : В1/К 17
Автор(ы) : Калужнин, Лев Аркадьевич
Заглавие : Что такое математическая логика
Выходные данные : М.: Наука, 1964
Колич.характеристики :151 с
Примечания : Библиогр. :
ГРНТИ : 02.21 + 27.03.19
ББК : В12 + Ю4
Предметные рубрики: Логика-- Математика
Экземпляры :КФ(1)
Свободны : КФ(1)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : В1/Х 47
Автор(ы) : Хинчин, Александр Яковлевич
Заглавие : Цепные дроби . -Издание 4-е, стер.
Выходные данные : М.: Наука, Гл. ред. физ.-мат. лит., 1978
Колич.характеристики :112 с
Цена : 0.15 р.
ГРНТИ : 27.03.17
ББК : В134
Экземпляры :КФ(1)
Свободны : КФ(1)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : В1/Б 48
Автор(ы) : Беран, Ладислав
Заглавие : Упорядоченные множества
Выходные данные : М.: Наука, 1981
Колич.характеристики :63 с
Серия: Популярные лекции по математике; Вып. 55
Перевод издания: Beran L. Uspořadane množiny. -Praha, 1978
Цена : 0.15 р.
ГРНТИ : 27.03.33
ББК : В126
Экземпляры :КФ(1)
Свободны : КФ(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : В1/Б 64
Автор(ы) : Биркгоф, Гаррет
Заглавие : Теория структур : пер. с англ.
Выходные данные : М.: Изд-во иностр. лит., 1952
Колич.характеристики :407 с
Примечания : Библиогр.: с. 370-398 - Предм. указ. :
ГРНТИ : 27.17.21 + 27.03.66
ББК : В144.4
Экземпляры :КФ(1)
Свободны : КФ(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : В1/Р 60
Автор(ы) : Роджерс Х., Сикорский, Роман
Заглавие : Теория рекурсивных функций и эффективная вычислимость
Выходные данные : М.: Мир, 1972
Колич.характеристики :624 с
Перевод издания: Rogers, Hartley Theory of rekursive and effective computability. -1967
Примечания : Библиогр.: с. 587-589 :
ГРНТИ : 27.03.19
Экземпляры :КФ(1)
Свободны : КФ(1)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : В1/Г 12
Автор(ы) : Гаврилов, Гарий Петрович, Сапоженко, Александр Антонович
Заглавие : Сборник задач по дискретной математике : учеб. пособие для вузов по спец. "Прикладная математика"
Выходные данные : М.: Наука, 1977
Колич.характеристики :368 с.: ил.
Примечания : Библиогр.: с. 358-359 (36 назв.)
Цена : 0.84 р.
ГРНТИ : 27.03.15
ББК : В12я73
Содержание : Булевы функции, способы их задания и основные свойства ; Замкнутые классы и полнота ; K-значные логики ; Графы и сети ; Элементы теории кодирования ; Конечные автоматы ; Элементы теории алгоритмов ; Элементы комбинаторики
Экземпляры :КФ(1)
Свободны : КФ(1)
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : В1/В 44
Автор(ы) : Виленкин, Наум Яковлевич
Заглавие : Рассказы о множествах . -2-е изд. испр. и доп.
Выходные данные : М.: Наука, Гл. ред. физ.-мат. лит., 1969
Колич.характеристики :159 с
Цена : 0.25 р.
ГРНТИ : 27.03.15
ББК : В126
Предметные рубрики: Множеств теория-- Научно-популярная литература
Экземпляры :КФ(1)
Свободны : КФ(1)
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : В1/С 61
Автор(ы) : Соминский И. С., Головина Л. И., Яглом, Исаак Моисеевич
Заглавие : О математической индукции
Выходные данные : М.: Наука, 1967
Колич.характеристики :144 с
Цена : 0.24 р.
ГРНТИ : 27.03
ББК : В14
Предметные рубрики: Логика математическая
Экземпляры :КФ(1)
Свободны : КФ(1)
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : В1/А 79
Автор(ы) : Аракелян, Грант Бабкенович
Заглавие : О доказательстве в математике (методологический анализ)
Выходные данные : Ереван: Изд-во АН АрмССР, 1979
Колич.характеристики :116 с
Коллективы : Академия наук Армянской ССР, Институт философии и права Армянской ССР :
ГРНТИ : 27.03.55
ББК : В128в
Содержание : Проблема доказательства в содержательной математике ; Истина и доказательство. Доказательство в формальной математике ; Доказательство в системе унифицированной математики ; Об эволюции понимания сущности математического доказательства
Экземпляры :КФ(1)
Свободны : КФ(1)
Найти похожие
10.

Вид документа : Монографическая серия
Шифр издания : В1/У 47
Автор(ы) : Улам С.
Заглавие : Нерешенные математические задачи
Выходные данные : М.: Наука, 1964
Колич.характеристики :168 с
Серия: Современные проблемы математики
Перевод издания: Ulam S. M. A collection of mathematical problems
Примечания : Библиогр.: с. 163-168 :
ГРНТИ : 27.03.15 + 27.17 + 27.19 + 27.21 + 27.25
ББК : В1
Содержание : Теория множеств ; Алгебраические задачи ; Метрические пространства ; Топологические пространства ; Топологические группы ; Некоторые вопросы анализа ; Физические системы ; Вычислительные машины как эвристическое средство исследования
Экземпляры :КФ(1)
Свободны : КФ(1)
Найти похожие
 1-10    11-19 
 

Другие библиотеки

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