Поисковый запрос: (<.>R=27.03.19$<.>) |
Общее количество найденных документов : 23
Показаны документы с 1 по 10 |
|
1. ![](http://irbis.prometeus.sbras.ru/irbis64r_11/images/printer.jpg)
|
Вид документа : Продолжающееся издание Шифр издания : Пр50/Пр50/242
Заглавие : Математическая логика и алгебра
: Сб ст.
Выходные данные : М.: Наука: Наука/Интерпериодика,Б.г.2003 Колич.характеристики :205 c.
; [1] л. портр
Серия: Труды Математического института имени В.А. Стеклова/ Российская академия наук, ISSN 0371-9685; Т.242
Цена : 141 р.
ГРНТИ : 27.03.19 + 27.17 + 27.01.09 ББК : В12я43 + В152я43 + В1д(2)Новиков,П.С. Предметные рубрики: Математическая логика Высшая алгебра Новиков Петр Сергеевич-- математик
Экземпляры :02(1) Свободны : 02(1) Найти похожие
|
2. ![](http://irbis.prometeus.sbras.ru/irbis64r_11/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : З 973.2/М545
Заглавие : Методы предикатного программирования
: Сб. науч. работ
Параллельн. заглавия :The predicate programming methods Выходные данные : Новосибирск: ИСИ, 2003 Колич.характеристики :62 с.
; 21 см
Коллективы :
Институт систем информатики им. А.П. Ершова (Новосибирск)
Примечания : Библиогр. в конце ст
Цена : Б.ц.
ГРНТИ : 50.05.03 + 27.03.17 + 27.03.19 УДК : 004.42(082) ББК : З 973.2-018я43 + В127я43 + В123я43 Предметные рубрики: Программное обеспечение ЭВМ Предикаты-- рекурсивные Предикаты-- исчисление Ключевые слова (''Своб.индексиров.''): компьютеры персональные - программирование
Экземпляры :02(1) Свободны : 02(1) Найти похожие
|
3. ![](http://irbis.prometeus.sbras.ru/irbis64r_11/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : В12/Д721
Автор(ы) : Драгалин, Альберт Григорьевич
Заглавие : Конструктивная теория доказательств и нестандартный анализ
: монография
Выходные данные : М.: Едиториал УРСС, 2003 Колич.характеристики :543 с
Примечания : Текст рус., англ. - Имен. указ.: с. 530-543Библиогр. в конце разд
ISBN, Цена 5-354-00387-3: 189 р.
ГРНТИ : 27.03.19 + 27.01.09 УДК : 510.6 ББК : В12я44 + В1д(2)Драгалин,А.Г. Предметные рубрики: Доказательств теория Нестандартный анализ Интуиционистская логика-- математическая Драгалин Альберт Григорьевич-- математик Ключевые слова (''Своб.индексиров.''): математическая логика
Экземпляры :02(1) Свободны : 02(1) Найти похожие
|
4. ![](http://irbis.prometeus.sbras.ru/irbis64r_11/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : В12/Д482
Заглавие : Дискретный анализ и исследование операций
: [Материалы рос. конф., Новосибирск, 24-28 июня 2002]
Выходные данные : Новосибирск, 2002 Колич.характеристики :253 с
Примечания : В надзаг.: Ин-т математики им. С.Л. Соболева СО РАН. - Библиогр. в конце некоторых докл
ISBN, Цена 5-86134-108-7: 75 р.
ГРНТИ : 27.03.19 + 27.47.19 ББК : В12я431 + В173я431 Предметные рубрики: Дискретный анализ Исследование операций Графов теория Математическое программирование, линейное, нелинейное; Игр теория Дескрипторы: конф.рос
Экземпляры :02(1) Свободны : 02(1) Найти похожие
|
5. ![](http://irbis.prometeus.sbras.ru/irbis64r_11/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : В12/К608
Автор(ы) : Колмогоров, Андрей Николаевич, Драгалин, Альберт Григорьевич
Заглавие : Математическая логика
: [Учеб. пособие для мат. специальностей]
Выходные данные : М.: Едиториал УРСС, 2004 Колич.характеристики :238 с.
; 22 см
Серия: Классический университетский учебник
Примечания : Указ. имен. и предм.: с. 229-236Библиогр.: с. 115, 228
ISBN, Цена 5-354-00389-X В пер.: 75 р.
ГРНТИ : 27.03.19 УДК : 510.6(075.8) ББК : В12я73 Предметные рубрики: Математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика
Экземпляры :02(1) Свободны : 02(1) Найти похожие
|
6. ![](http://irbis.prometeus.sbras.ru/irbis64r_11/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : В12/В24
Автор(ы) : Ашихмин В.Н., Гитман М.Б., Келлер И.Э., Наймарк О.Б., Стобов В.Ю.
Заглавие : Введение в математическое моделирование
: учеб. пособие:[для вузов по направлению 511200 "Математика. Прикладная математика"
Выходные данные : М.: Логос, 2004 Колич.характеристики :439 с.:
ил.; 22 см.
Серия: Новая университетская библиотека
Примечания : Предм. указ.: с. 436-437Библиогр.: с. 431-435
ISBN, Цена 5-94010-272-7 В пер.: 288.53 р.
ГРНТИ : 27.47 + 27.03.19 УДК : 519.8(075.8) ББК : В122я73 Предметные рубрики: Математическое моделирование-- теория Ключевые слова (''Своб.индексиров.''): математическое моделирование
Экземпляры :02(1) Свободны : 02(1) Найти похожие
|
7. ![](http://irbis.prometeus.sbras.ru/irbis64r_11/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : В12/Е804
Автор(ы) : Ершов, Юрий Леонидович
Заглавие : Математическая логика
: учебное пособие для математических специальностей вузов
. -2-е изд., испр. и доп. Выходные данные : Москва: Наука, 1987 Колич.характеристики :336 с
Примечания : Предм. указ.: с. 335-336
Цена : Б.ц.
ГРНТИ : 27.03.19 ББК : В12я73
Экземпляры :02(1) Свободны : 02(1) Найти похожие
|
8. ![](http://irbis.prometeus.sbras.ru/irbis64r_11/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : В12/Е804
Автор(ы) : Ершов, Юрий Леонидович, Палютин, Евгений Андреевич
Заглавие : Математическая логика
: учебное пособие для вузов
Выходные данные : Москва: Наука, 1979 Колич.характеристики :320 с
Примечания : Указ. предм. и обозначений: с. 335-336
Цена : Б.ц.
ГРНТИ : 27.03.19 ББК : В12я73-1
Экземпляры :02(1) Свободны : 02(1) Найти похожие
|
9. ![](http://irbis.prometeus.sbras.ru/irbis64r_11/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : В16/К945
Автор(ы) : Кусраев, Анатолий Георгиевич, Кутателадзе, Семен Самсонович
Заглавие : Введение в булевозначный анализ
: монография
Выходные данные : М.: Наука, 2005 Колич.характеристики :525 с.:
ил.; 24 см.
Примечания : Указ.: с. 227-512Библиогр.: с. 468-487. - Ч. текста англ.
ISBN, Цена 5-02-033710-2 В пер: 210 р.
ГРНТИ : 27.23 + 27.39 + 27.03.19 УДК : 517.98 ББК : В162 + В12 Предметные рубрики: булевозначный анализ-- операторов нестандартный анализ Ключевые слова (''Своб.индексиров.''): математический анализ--функции (мат.) булевы
Экземпляры :02(1) Свободны : 02(1) Найти похожие
|
10. ![](http://irbis.prometeus.sbras.ru/irbis64r_11/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : В12/К493
Автор(ы) : Клини, Стивен Коул
Заглавие : Математическая логика
: монография
. -2-е изд., стер. Выходные данные : М.: Едиториал УРСС, печ. 2004 Колич.характеристики :480 с.
; 22 см.
Примечания : Указ. авт. и предм.: с. 470-478. - Библиогр.: с. 451-465
ISBN, Цена 5-354-01011-X: 303.75 р.
ГРНТИ : 27.03.19 УДК : 510.6 ББК : В12 Предметные рубрики: Математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика
Экземпляры :02(1) Свободны : 02(1) Найти похожие
|
|
|