|
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
Автор(ы) : Пойа, Дьердь
Заглавие : Математика и правдоподобные рассуждения
Выходные данные : М.: Изд-во иностр. лит., 1957 Колич.характеристики :535 с.:
ил., табл.
+ 21 см
Перевод издания: Polya G. Mathematics and plausible reasoning. -Prinseton; New Jersey, 1954
Примечания : Библиогр.
Цена : Б.ц.
ГРНТИ : 27.03 ББК : В12 Предметные рубрики: Математическая логика Математика-- Наука и философия Творчество научное-- Методы
Экземпляры :КФ(1) Свободны : КФ(1) Найти похожие
|
3. ![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/printer.jpg)
|
(Свободных экземпляров нет)
Вид документа : Однотомное издание Шифр издания : В1/П 47
Автор(ы) : Пойа, Дьердь
Заглавие : Математика и правдоподобные рассуждения
. -2-е изд., испр. Выходные данные : М.: Наука, 1975 Колич.характеристики :463 с.:
ил., табл.
Перевод издания: Mathematics and plausible reasoning. -1954
Цена : 1.71 р.
ГРНТИ : 27.03 ББК : В12 Предметные рубрики: Математическая логика Математика-- Наука и философия Творчество научное-- Методы
Экземпляры :КФ(1) Найти похожие
|
4. ![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : В1/Б 79
Автор(ы) : Болтянский, Владимир Григорьевич, Сидоров, Юрий Викторович, Шабунин, Михаил Иванович
Заглавие : Лекции и задачи по элементарной математике
Выходные данные : М.: Наука, Гл. ред. физ.-мат. лит., 1971 Колич.характеристики :592 с
Цена : 0.88 р.
ГРНТИ : 27.03.15 ББК : В10я73 Предметные рубрики: Математика элементарная-- Учебники и учебные пособия
Экземпляры :КФ(1) Свободны : КФ(1) Найти похожие
|
5. ![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : В1/С 61
Автор(ы) : Соминский И. С., Головина Л. И., Яглом, Исаак Моисеевич
Заглавие : О математической индукции
Выходные данные : М.: Наука, 1967 Колич.характеристики :144 с
Цена : 0.24 р.
ГРНТИ : 27.03 ББК : В14 Предметные рубрики: Логика математическая
Экземпляры :КФ(1) Свободны : КФ(1) Найти похожие
|
6. ![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : В1/В 44
Автор(ы) : Виленкин, Наум Яковлевич
Заглавие : Рассказы о множествах
. -2-е изд. испр. и доп. Выходные данные : М.: Наука, Гл. ред. физ.-мат. лит., 1969 Колич.характеристики :159 с
Цена : 0.25 р.
ГРНТИ : 27.03.15 ББК : В126 Предметные рубрики: Множеств теория-- Научно-популярная литература
Экземпляры :КФ(1) Свободны : КФ(1) Найти похожие
|
7. ![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : В1/C92
Автор(ы) : Cselogovits I. J.
Заглавие : Theory of alinear duality. Selfcontradictions of linear and non-linear systems
Выходные данные : Budapest, 1965 Коллективы :
Hungarian Natural History Museum
:
ГРНТИ : 27.03.19 ББК : В12
Экземпляры :Музей(1) Свободны : Музей(1) Найти похожие
|
8. ![](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) Найти похожие
|
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/Б 18
Автор(ы) : Байиф, Жан-Клод
Заглавие : Логические задачи
Выходные данные : М.: Мир, 1983 Колич.характеристики :172 с.:
рис.
Перевод издания: Les casse-tete logiques de Baillif. -Paris, 1979
Цена : 0.45 р.
ГРНТИ : 27.03.19 ББК : В12я91
Экземпляры :КФ(1) Свободны : КФ(1) Найти похожие
|
11. ![](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) Найти похожие
|
12. ![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : В12/Б 59
Автор(ы) : Бизам, Дьердь, Герцег, Янош
Заглавие : Игра и логика. 85 логич. задач
Выходные данные : М.: Мир, 1975 Колич.характеристики :359 с.:
ил.
Перевод издания: Bizam G. Jatek és logika. 85 feladatban/ G. Bizam, J. Herczeg. -Budapest, 1972
Цена : 1.15 р.
ГРНТИ : 27.03.19 ББК : В12я91
Экземпляры :КФ(1) Свободны : КФ(1) Найти похожие
|
13. ![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : В1/В 44
Автор(ы) : Виленкин, Наум Яковлевич
Заглавие : В поисках бесконечности
Выходные данные : М.: Наука, 1983 Колич.характеристики :160 с.:
рис.
Коллективы :
Академия наук СССР Серия: Наука и технический прогресс
:
ГРНТИ : 27.03.33 ББК : В126я91
Экземпляры :КФ(1) Свободны : КФ(1) Найти похожие
|
14. ![](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) Найти похожие
|
15. ![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : В1/Х 47
Автор(ы) : Хинчин, Александр Яковлевич
Заглавие : Цепные дроби
. -Издание 4-е, стер. Выходные данные : М.: Наука, Гл. ред. физ.-мат. лит., 1978 Колич.характеристики :112 с
Цена : 0.15 р.
ГРНТИ : 27.03.17 ББК : В134
Экземпляры :КФ(1) Свободны : КФ(1) Найти похожие
|
16. ![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : D2/М 74
Заглавие : Модульный анализ
: (сб. науч. тр.)
Выходные данные : Новосибирск, 1978 Колич.характеристики :114 с.:
ил
Коллективы :
Академия наук СССР, Сибирское отделение АН СССР, Институт теоретической и прикладной механики Сибирского отделения АН СССР
Примечания : Библиогр. в конце ст
Цена : 0.40 р.
ГРНТИ : 27.03.17 + 27.41.17 + 30.03.15 ББК : В25я43
Экземпляры :КФ(1) Свободны : КФ(1) Найти похожие
|
17. ![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/printer.jpg)
|
Вид документа : Монографическая серия Шифр издания : В1/П 29
Автор(ы) : Петер, Роза
Заглавие : Игра с бесконечностью. Математика для математиков
: пер. с венг.
Выходные данные : М.: Просвещение, 1968 Колич.характеристики :271 с
Серия: Математическое просвещение
Перевод издания: Peter Rozsa Das rpielmit dem unendlichen. -Leipzig, 1963
:
ГРНТИ : 27.03 ББК : В12я91
Экземпляры :КФ(1) Свободны : КФ(1) Найти похожие
|
18. ![](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) Найти похожие
|
19. ![](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) Найти похожие
|
|
|
![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/search_navy.gif) Стандартный ![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/search_navy.gif) Расширенный ![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/search_navy.gif) Профессиональный ![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/search_navy.gif) Распределенный ![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/search_navy.gif) По словарю ![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/search_navy.gif) ГРНТИ-навигатор ![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/search_navy.gif) УДК-навигатор ![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/search_navy.gif) Тематический навигатор
Другие библиотеки
![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/db_orange.gif) Центральная Научная Библиотека КНЦ СО РАН
![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/db_orange.gif) Библиотека института биофизики
![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/db_orange.gif) Библиотека института химии и химический технологии
![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/db_orange.gif) Библиотека института вычислительного моделирования
![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/db_orange.gif) Библиотека института леса
![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/db_orange.gif) Библиотека СФУ
![](http://irbiscorp.spsl.nsc.ru/webirbis-htdocs/images/db_orange.gif) Краевая научная библиотека
|
|
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий (Ассоциация ЭБНИТ)
|
|