Поисковый запрос: (<.>R=27.03$<.>) |
Общее количество найденных документов : 19
Показаны документы с 1 по 10 |
|
1. ![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : В1/К 17
Автор(ы) : Калужнин, Лев Аркадьевич
Заглавие : Что такое математическая логика
Выходные данные : М.: Наука, 1964 Колич.характеристики :151 с
Примечания : Библиогр.
:
ГРНТИ : 02.21 + 27.03.19 ББК : В12 + Ю4 Предметные рубрики: Логика-- Математика
Экземпляры :КФ(1) Свободны : КФ(1) Найти похожие
|
2. ![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : В1/Х 47
Автор(ы) : Хинчин, Александр Яковлевич
Заглавие : Цепные дроби
. -Издание 4-е, стер. Выходные данные : М.: Наука, Гл. ред. физ.-мат. лит., 1978 Колич.характеристики :112 с
Цена : 0.15 р.
ГРНТИ : 27.03.17 ББК : В134
Экземпляры :КФ(1) Свободны : КФ(1) Найти похожие
|
3. ![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : В1/Б 48
Автор(ы) : Беран, Ладислав
Заглавие : Упорядоченные множества
Выходные данные : М.: Наука, 1981 Колич.характеристики :63 с
Серия: Популярные лекции по математике; Вып. 55
Перевод издания: Beran L. Uspořadane množiny. -Praha, 1978
Цена : 0.15 р.
ГРНТИ : 27.03.33 ББК : В126
Экземпляры :КФ(1) Свободны : КФ(1) Найти похожие
|
4. ![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : В1/Б 64
Автор(ы) : Биркгоф, Гаррет
Заглавие : Теория структур
: пер. с англ.
Выходные данные : М.: Изд-во иностр. лит., 1952 Колич.характеристики :407 с
Примечания : Библиогр.: с. 370-398 - Предм. указ.
:
ГРНТИ : 27.17.21 + 27.03.66 ББК : В144.4
Экземпляры :КФ(1) Свободны : КФ(1) Найти похожие
|
5. ![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : В1/Р 60
Автор(ы) : Роджерс Х., Сикорский, Роман
Заглавие : Теория рекурсивных функций и эффективная вычислимость
Выходные данные : М.: Мир, 1972 Колич.характеристики :624 с
Перевод издания: Rogers, Hartley Theory of rekursive and effective computability. -1967
Примечания : Библиогр.: с. 587-589
:
ГРНТИ : 27.03.19
Экземпляры :КФ(1) Свободны : КФ(1) Найти похожие
|
6. ![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : В1/Г 12
Автор(ы) : Гаврилов, Гарий Петрович, Сапоженко, Александр Антонович
Заглавие : Сборник задач по дискретной математике
: учеб. пособие для вузов по спец. "Прикладная математика"
Выходные данные : М.: Наука, 1977 Колич.характеристики :368 с.:
ил.
Примечания : Библиогр.: с. 358-359 (36 назв.)
Цена : 0.84 р.
ГРНТИ : 27.03.15 ББК : В12я73 Содержание : Булевы функции, способы их задания и основные свойства ; Замкнутые классы и полнота ; K-значные логики ; Графы и сети ; Элементы теории кодирования ; Конечные автоматы ; Элементы теории алгоритмов ; Элементы комбинаторики
Экземпляры :КФ(1) Свободны : КФ(1) Найти похожие
|
7. ![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : В1/В 44
Автор(ы) : Виленкин, Наум Яковлевич
Заглавие : Рассказы о множествах
. -2-е изд. испр. и доп. Выходные данные : М.: Наука, Гл. ред. физ.-мат. лит., 1969 Колич.характеристики :159 с
Цена : 0.25 р.
ГРНТИ : 27.03.15 ББК : В126 Предметные рубрики: Множеств теория-- Научно-популярная литература
Экземпляры :КФ(1) Свободны : КФ(1) Найти похожие
|
8. ![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : В1/С 61
Автор(ы) : Соминский И. С., Головина Л. И., Яглом, Исаак Моисеевич
Заглавие : О математической индукции
Выходные данные : М.: Наука, 1967 Колич.характеристики :144 с
Цена : 0.24 р.
ГРНТИ : 27.03 ББК : В14 Предметные рубрики: Логика математическая
Экземпляры :КФ(1) Свободны : КФ(1) Найти похожие
|
9. ![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : В1/А 79
Автор(ы) : Аракелян, Грант Бабкенович
Заглавие : О доказательстве в математике (методологический анализ)
Выходные данные : Ереван: Изд-во АН АрмССР, 1979 Колич.характеристики :116 с
Коллективы :
Академия наук Армянской ССР, Институт философии и права Армянской ССР
:
ГРНТИ : 27.03.55 ББК : В128в Содержание : Проблема доказательства в содержательной математике ; Истина и доказательство. Доказательство в формальной математике ; Доказательство в системе унифицированной математики ; Об эволюции понимания сущности математического доказательства
Экземпляры :КФ(1) Свободны : КФ(1) Найти похожие
|
10. ![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/printer.jpg)
|
Вид документа : Монографическая серия Шифр издания : В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) Найти похожие
|
|
|