Сводный каталог книг

w10=
Найдено документов в текущей БД: 83
   В1
   К 17

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


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

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


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

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

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


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

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

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


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

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

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


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

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

    Вероятность и индуктивная логика
/ Г. Кайберг ; пер. с англ. Б. Л. Лихтенфельда, послесл. и общ. ред. А. И. Ракитова. - М. : Прогресс, 1978. - 374 с. - (Логика и методология науки). - Пер. изд. : Probability and inductive logic / H. Kyburg. - 8000 экз. - 1.50 р., 8.50 р.
ГРНТИ
ББК Ю44


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Доп.точки доступа:
Лихтенфельд, Б. Л. \пер.\; Ракитов, А. И. \авт. послесл., ред.\; Kyburg, H.
Экземпляры всего: 1
ИФ-КФ (1), ИВМ-Фонд
Свободны: ИФ-КФ (1)
   В1
   В 44

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


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

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


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

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


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

    Современная математика
/ Р. Фор, А. Кофман, М. Дени-Папен ; пер. с фр. Е. В. Гайдукова и Н. Н. Родман, под ред. А. Н. Колмогорова. - М. : Мир, 1966. - 271 с. - Пер. изд. : Mathématiques nouvelles / R. Faure, A. Kaufmann, M. Denis-Papin. - 0.95 р.
ГРНТИ
ББК В1я22я7 + В126я22я7 + В14я22я7 + В152я22я7 + В161.5я22я7


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

Доп.точки доступа:
Кофман, Арнольд; Дени-Папен, М.; Гайдуков, Е. В. \пер.\; Родман, Н. Н. \пер.\; Колмогоров, А. Н. \ред. пер.\; Faure, R. ; Kaufmann, A. ; Denis-Papin, M.
Экземпляры всего: 1
ИФ-КФ (1)
Свободны: ИФ-КФ (1)
   В1
   А 79

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


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

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


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

    Упорядоченные множества
/ Л. Беран ; пер. с чеш. В. Н. Саллия ; под ред. Л. А. Скорнякова. - М. : Наука, 1981. - 63 с. - (Популярные лекции по математике ; вып. 55). - Пер. изд. : Uspořadane množiny / L. Beran. - Praha, 1978. - 0.15 р.
ГРНТИ
ББК В126


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

    Игра и логика. 85 логич. задач
/ Д. Бизам, Я. Герцег ; пер. с венг. [и предисл.] Ю. А. Данилова. - М. : Мир, 1975. - 359 с. : ил. - Пер. изд. : Jatek és logika. 85 feladatban / G. Bizam, J. Herczeg. - Budapest, 1972. - 1.15 р.
ГРНТИ
ББК В12я91


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
Доп.точки доступа:
Герцег, Янош; Данилов, Ю. А. \пер.\; Bizam, G. ; Herczeg, J.
Экземпляры всего: 1
ИФ-КФ (1)
Свободны: ИФ-КФ (1)
   В1
   В 44

    В поисках бесконечности
/ Н. Я. Виленкин ; [отв. ред. А. С. Солодовников] ; Акад. наук СССР. - М. : Наука, 1983. - 160 с. : рис. - (Наука и технический прогресс / Акад. наук СССР). - 43000 экз. - Б. ц.
ГРНТИ
ББК В126я91


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
Доп.точки доступа:
Солодовников, А. С. \ред.\; Академия наук СССР
Экземпляры всего: 1
ИФ-КФ (1)
Свободны: ИФ-КФ (1)
   В1
   Г 12
В12 / Г 12-ИВМ-Фонд
В12 / Г 12-

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

Аннотация: Сборник возник как пособие для практических занятий по курсу дискретной математики. Он содержит как упражнения, предназначенные для первоначального ознакомления с основными понятиями и фактами дискретной математики, так и задачи повышенной трудности, рассчитанные на такого читателя, который обладает достаточной математической культурой и специальной подготовкой. Книга будет полезна студентам университетов и других вузов, в которых изучаются дискретная математика и математическая логика.

Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Сапоженко, Александр Антонович
Экземпляры всего: 1
ИФ-КФ (1), ИВМ-Фонд
Свободны: ИФ-КФ (1)
   В1
   С 50
В12 / С 50-ИХХТ-АБ

    Принцесса или тигр?
/ Р. М. Смаллиан ; пер. с англ. И. Е. Зино ; под ред. Ю. И. Манина. - М. : Мир, 1985. - 221 с. - 0.55 р., 0.55 р.
ГРНТИ
ББК В1я191 + В12я9


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
Доп.точки доступа:
Зино, И. Е. \пер.\; Манин, Ю. И. \ред.\
Экземпляры всего: 2
ИФ-КФ (1), ИХХТ-АБ (1)
Свободны: ИФ-КФ (1), ИХХТ-АБ (1)
   В1
   Х 47
В144.1,0 / Х 47-ИВМ-Фонд

    Цепные дроби
/ А. Я. Хинчин. - Издание 4-е, стер. - М. : Наука, Гл. ред. физ.-мат. лит., 1978. - 112 с. - 42000 экз. - 0.15 р., 0.15 р.
ГРНТИ
УДК
ББК В134


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 2
ИФ-КФ (1), ИВМ-Фонд (1)
Свободны: ИФ-КФ (1), ИВМ-Фонд (1)
   D2
   М 74
В 25 / М 74-ИВМ-Фонд

    Модульный анализ
: (сб. науч. тр.) / Акад. наук СССР, Сиб. отд-ние, Ин-т теор. и прикл. механики ; под ред. Ю. И. Шокина. - Новосибирск : [б. и.], 1978. - 114 с. : ил. - Библиогр. в конце ст. - 500 экз. - 0.40 р., 0.40 р.
ГРНТИ
ББК В25я43

Аннотация: В настоящем сборнике помещены работы, отражающие один из наиболее актуальных апектов развития прикладной матеатики - модульный анализ алгоритмов. В представленных работах анализируются комплексы программ для решения задач аэроупругости, цунами, течений в каналах сложной конфигурации, приводятся методы обработки информайии при численном моделировании задач механики сплошной среды. Две работы посвящены численным результатам при использовании метода фиктивных областей. Большая часть публикуемых работ выполнена сотрудниками ИТПМ СО АН СССР и представляет собой результаты исследований, проведенных в последние годы. Данный сборник представляет интерес для специалистов, занимающихся численными методами решения задач математической физики, а также студентов и аспирантов, специализирующихся в области вычислительной и прикладной математики.

Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Шокин, Ю. И. \ред.\; Академия наук СССРСибирское отделение АН СССР; Институт теоретической и прикладной механики Сибирского отделения АН СССР
Экземпляры всего: 2
ИФ-КФ (1), ИВМ-Фонд (1)
Свободны: ИФ-КФ (1), ИВМ-Фонд (1)
   В1
   Л646

    Теорема Пифагора
[Текст] : Монография / Пер. с нем. В.С. Бермана; под ред. И.М. Яглома. - Москва : Физматгиз, 1960. - 114 с. : ил. - Пер. изд. : Der Pythagoreische Lehrsatz : Mit Einem Ausblick auf das Fermatsche Problems / W. Lietzmann. - 1951. - 8.50 р.
ГРНТИ
ББК В1


Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Доп.точки доступа:
Lietzmann, W.
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)