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

Базы данных


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

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

    Калужнин, Лев Аркадьевич.
    Что такое математическая логика / Л. А. Калужнин. - М. : Наука, 1964. - 151 с. - Библиогр. - 0.21 р.
ГРНТИ
02.21
27.03.19
ББК В12 + Ю4
Рубрики:
Логика--Математика

Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН
Экземпляры всего: 1
КФ (1)
Свободны: КФ (1)}
Найти похожие
2.
   В1
   П 47

    Пойа, Дьердь.
    Математика и правдоподобные рассуждения . Т. 1 : Индукция и аналогия в математике ; Т. 2 : Схемы правдоподобных умозаключений. \b Т. 1\b0 : Индукция и аналогия в математике ; \b Т. 2\b0 : Схемы правдоподобных умозаключений / Дьердь Пойа ; пер. И. А. Вайнштейн, ред., авт. предисл. С. А. Яновская. - М. : Изд-во иностр. лит., 1957. - 535 с. : ил., табл. + 21 см. - Библиогр. - Пер. изд. : Mathematics and plausible reasoning / G. Polya. - Prinseton; New Jersey, 1954. - Б. ц.
ГРНТИ
27.03
ББК В12
Рубрики:
Математическая логика
   Математика--Наука и философия
   Творчество научное--Методы

Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН

Доп.точки доступа:
Вайнштейн, И. А. \пер.\; Яновская, С. А. \ред. пер., авт. предисл.\; Polya, G.
Экземпляры всего: 1
КФ (1)
Свободны: КФ (1)}
Найти похожие
3.
   В1
   П 47

    Пойа, Дьердь.
    Математика и правдоподобные рассуждения . Т. 1 : Индукция и аналогия в математике ; Т. 2 : Схемы правдоподобных умозаключений. \b Т. 1\b0 : Индукция и аналогия в математике ; \b Т. 2\b0 : Схемы правдоподобных умозаключений / Дьердь Пойа ; пер. И. А. Вайнштейн, ред. пер, авт. предисл. С. А. Яновская. - 2-е изд., испр. - М. : Наука, 1975. - 463 с. : ил., табл. - Пер. изд. : Mathematics and plausible reasoning. - 1954. - 1.71 р.
ГРНТИ
27.03
ББК В12
Рубрики:
Математическая логика
   Математика--Наука и философия
   Творчество научное--Методы

Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН

Доп.точки доступа:
Вайнштейн, И. А. \пер.\; Яновская, С. А. \ред. пер, авт. предисл.\
Экземпляры всего: 1
КФ (1)
Свободных экз. нет}
Найти похожие
4.
   В1
   Б 79

    Болтянский, Владимир Григорьевич.
    Лекции и задачи по элементарной математике / В. Г. Болтянский, Ю. В. Сидоров, М. И. Шабунин. - М. : Наука, Гл. ред. физ.-мат. лит., 1971. - 592 с. - 100000 экз. - 0.88 р.
ГРНТИ
27.03.15
ББК В10я73
Рубрики:
Математика элементарная--Учебники и учебные пособия

Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН

Доп.точки доступа:
Сидоров, Юрий Викторович; Шабунин, Михаил Иванович
Экземпляры всего: 1
КФ (1)
Свободны: КФ (1)}
Найти похожие
5.
   В1
   С 61

    Соминский, И. С.
    О математической индукции / И. С. Соминский, Л. И. Головина, И. М. Яглом. - М. : Наука, 1967. - 144 с. - 0.24 р.
ГРНТИ
27.03
ББК В14
Рубрики:
Логика математическая

Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН

Доп.точки доступа:
Головина, Л. И.; Яглом, Исаак Моисеевич
Экземпляры всего: 1
КФ (1)
Свободны: КФ (1)}
Найти похожие
6.
   В1
   В 44

    Виленкин, Наум Яковлевич.
    Рассказы о множествах / Н. М. Виленкин. - 2-е изд. испр. и доп. - М. : Наука, Гл. ред. физ.-мат. лит., 1969. - 159 с. - 100000 экз. - 0.25 р.
ГРНТИ
27.03.15
ББК В126
Рубрики:
Множеств теория--Научно-популярная литература

Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН
Экземпляры всего: 1
КФ (1)
Свободны: КФ (1)}
Найти похожие
7.
   В1
   C92

    Cselogovits, I. J.
    Theory of alinear duality. Selfcontradictions of linear and non-linear systems / I. J. Cselogovits ; Hungar. Nat. History Museum. - Budapest : [s. n.], 1965. - Б. ц.
Перевод заглавия: Теория линейной двойственности. Внутренние противоречия линейных и нелинейных систем
   Перевод заглавия: Теория линейной двойственности. Внутренние противоречия линейных и нелинейных систем
ГРНТИ
27.03.19
ББК В12


Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН
Доп.точки доступа:
Hungarian Natural History Museum
Экземпляры всего: 1
Музей (1)
Свободны: Музей (1)}
Найти похожие
8.
   В1
   У 47

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


Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН
Доп.точки доступа:
Ulam, S. M.
Экземпляры всего: 1
КФ (1)
Свободны: КФ (1)}
Найти похожие
9.
   В1
   А 79

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


Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН
Доп.точки доступа:
Аветисян, С. А. \ред.\; Академия наук Армянской ССРИнститут философии и права Армянской ССР
Экземпляры всего: 1
КФ (1)
Свободны: КФ (1)}
Найти похожие
10.
   В1
   Б 18

    Байиф, Жан-Клод.
    Логические задачи / Ж. -К. Байиф ; пер. с фр. Ю. Н. Сударева по ред. И. М. Яглома. - М. : Мир, 1983. - 172 с. : рис. - Пер. изд. : Les casse-tete logiques de Baillif. - Paris, 1979. - 50000 экз. - 0.45 р.
ГРНТИ
27.03.19
ББК В12я91


Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН
Доп.точки доступа:
Сударев, Ю. Н. \пер.\; Яглом, Исаак Моисеевич \ред. пер.\
Экземпляры всего: 1
КФ (1)
Свободны: КФ (1)}
Найти похожие
 1-10    11-19 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор

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

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