Поисковый запрос: (<.>K=МАТЕМАТИЧЕСКАЯ ЛОГИКА<.>) |
Общее количество найденных документов : 53
Показаны документы с 1 по 10 |
|
| 1. | ФТИ
Лавров, И. А.
Задачи по теории множеств, математичсекой логике и теории алгоритмов [Текст] / И. А. Лавров, Л. Л. Максимова. - 3-е изд. - М. : Физматлит, 1995. - 255 с. : ил.. - Библиогр.: с. 248-249. - ISBN 5-02-014844-Х.
ББК Мт I-1 Мт VI-1
Кл.слова (ненормированные):
ТЕОРИЯ МНОЖЕСТВ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- АЛГОРИТМЫ -- МАТЕМАТИЧЕСКИЙ АНАЛИЗ
Доп.точки доступа: Максимова, Л.Л.
Найти похожие
| |
| 2. | ФТИ
Аракелян, Г. Б.
Основания физической теории [Текст] : монография / Г.Б. Аракелян ; НАН Армении. Ин-т философии и права. - Ереван : [б. и.], 1997. - 229 с.
Рубрики: ФИЗИКА
Кл.слова (ненормированные):
Философские вопросы физики -- методологические вопросы физики -- Математическая логика
Найти похожие
| |
| 3. | ФТИ
Непейвода, Н. Н.
Прикладная логика [Текст] : учеб. пособие / Н.Н. Непейвода,. - 2-е изд., испр. и доп. - Новосибирск : Изд-во Новосиб. ун-та, 2000. - 490 с. : ил. - Библиогр.: с. 479-481. - Предм. указ.: с. 482-490 . - ISBN 5-7615-0490-1.
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МАТЕМАТИЧЕСКАЯ ЛИНГВИСТИКА -- ЛОГИКА
Найти похожие
| |
| 4. | ФТИ
Математическая логика и алгебра [Текст] : сб. ст.: к 100-летию со дня рождения П.С. Новикова / под ред. С.И. Адяна. - М. : Наука - МАИК Наука/Интерпериодика, 2003. - 207 с. : ил. - (Тр. мат. ин-та им. В.А. Стеклова / РАН ; т. 242). - Библиогр.: в конце ст. - ISBN 5-02-032604-6.
ББК Мт I.2 Мт III;082
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- АЛГЕБРА; СБОРНИКИ
Доп.точки доступа: Адян, С.И. \ред.\
Найти похожие
| |
| 5. | ФТИ
Акимов, О. Е.
Дискретная математика: логика, группы, графы [Текст] : научное издание / О.Е. Акимов. - 2-е изд., и доп. - М. : Лаб. базовых знаний, 2003. - 376 с. : ил. - (Технический Университет). - ISBN 5-93208-025-6.
ББК Мт I-2 Мт III-1 Мт VII-2 Мт XI-4
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- алгебра -- теория групп -- ТЕОРИЯ ГРАФОВ -- МАТЕМАТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Найти похожие
| |
| 6. | ФТИ
Реньи, А.
Диалоги о математике [Текст] / А. Реньи; пер. с англ. Д.Б. Гнеденко, Е.А. Масловой; под ред. Б.В. Гнеденко. - 2-е изд., стереотип. - М. : Едиториал УРСС, 2004. - 96 с.. - ISBN 5-354-00536-1.
ББК Мт I-1
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
ОСНОВАНИЯ МАТЕМАТИКИ -- ФИЛОСОФИЯ -- ИСТОРИЯ НАУКИ -- ПОПУЛ. МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ИСТОРИЯ МАТЕМАТИКИ -- МЕТОДОЛОГИЯ НАУКИ -- МЕТАФИЗИКА -- ОНТОЛОГИЯ -- ГНОСЕОЛОГИЯ -- ИСТОРИЯ ФИЛОСОФИИ -- НАУКОВЕДЕНИЕ
Доп.точки доступа: Гнеденко, Б.В. \ред.\; Гнеденко, Д.Б. \пер.\; Маслова, Е.А. \пер.\
Найти похожие
| |
| 7. | ФТИ
ФТИ(Ш)
ФТИ(Ш)
Колмогоров, А. Н.
Математическая логика [Текст] : учеб. пособие / А.Н. Колмогоров, А.Г. Драгалин. - 2-е изд., стер. - М. : Едиториал УРСС, 2005. - 240 с.. - (Классический университетский учебник). - ISBN 5-354-01003-9.
ББК Мт I-2;07
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Доп.точки доступа: Драгалин, А.Г.
Найти похожие
| |
| 8. | ФТИ
ФТИ(Ш)
Горбатов, В. А.
Дискретная математика [Текст] : учеб. для студентов втузов / В.А. Горбатов, А.В. Горбатов, М.В. Горбатова. - М. : АСТ ; М. : Астрель, 2003. - 447 с. : ил. - (Высшая школа) ISBN 5-17-019257-6 (АСТ) . - ISBN 5-271-06991-5 (Астрель)
ББК Мт I-2 Мт II-0 Мт VII-2
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЭЛЕМЕНТАРНАЯ ТЕОРИЯ ЧИСЕЛ -- ТЕОРИЯ ГРАФОВ
Доп.точки доступа: Горбатов, А.В.; Горбатова, М.В.
Найти похожие
| |
| 9. | ФТИ
ФТИ(Ш)
Андерсон, Дж. А.
Дискретная математика и комбинаторика [Текст] / Дж.А. Андерсон; [пер. с англ. М.М. Беловой]. - М. и др. : Вильямс, 2004. - 960 с. : ил. - Предм.-имен. указ.: с. 942-953. - ISBN 5-8459-0498-6 (рус.).
ББК Мт I-2 Мт II-0 Мт VII-2 Мт XI-4
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЭЛЕМЕНТАРНАЯ ТЕОРИЯ ЧИСЕЛ -- ТЕОРИЯ ГРАФОВ -- МАТЕМАТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Доп.точки доступа: Белова, М.М. \пер. с англ.\
Найти похожие
| |
| 10. | ФТИ
ФТИ(Ш)
Бирюков, Б. В.
Жар холодных числ и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики [Текст] / Б.В. Бирюков, В.Н. Тростников. - 3-е изд., перераб. и доп. - М. : Едиториал УРСС, 2004. - 232 с.. - ISBN 5-354-00310-5.
ББК Мт I-2
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- КИБЕРНЕТИКА -- ИНФОРМАТИКА
Доп.точки доступа: Тростников, В.Н.
Найти похожие
| |
|
|
|
Электронный каталог (ЭК) Библиотеки Российской академии наук (БАН)
Описание ЭК