Набебин, Алексей Александрович. Логика и Пролог в дискретной математике [Текст] : монография / А. А. Набебин. - М. : Изд-во МЭИ, 1996. - 450 с. : ил. - Библиогр.:с.435-440. - ISBN 5-7046-0162-6 : Б. ц.
Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Хенл, Джеймс М.. Введение в теорию множеств [Текст] : монография / Дж. М. Хенл. - М. : Радио и связь, 1993. - 103,/1/ с. : ил. - ISBN 5-256-00485-9 : Б. ц.
Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
К 90 Кулпешов, Б. Ш. О слабо о-минимальных структурах, теории которых N -категоричны [Текст] : депонированная рукопись / Б.Ш. Кулпешов; М-во науки-АН Респ.Казахстан.Ин-т проблем информатики и упр. - Алматы : [б. и.], 1996. - 19 с. - Библиогр.:с.19. - Б. ц. Деп.в КазгосИНТИ 24.02.97,N7461
Экземпляры всего: 1 ЦСПВ (1) Свободны: ЦСПВ (1) |
Ostebee, A. Calculus from Graphical,Numerical,and Symbolic Points of View [Text] : vol.1 / A. Ostebee, P. Zorn. - Prelim.ed. - San Diego ; N.Y.etc. : Saunders College Publishing, 1994. - 490 p. - ISBN 0-03-098731-8 : 400 тг.
Кл.слова (ненормированные): Графические -- Цифровые -- Символические -- Геометрия -- Алгебра -- Тригонометрия Доп.точки доступа: Zorn, P. Экземпляры всего: 1 ИЛ (1) Свободны: ИЛ (1) |
М 91 Мустафин, Т. Г. Обобщение условия Йонсона и описание обобщенно йонсоновских теорий булевых алгебр [Текст] : депонированная рукопись / Т.Г. Мустафин; Нац.АН и М-во образования Респ.Казахстан.Ин-т приклад.математики. - Караганда : [б. и.], 1993. - 64 c. - Библиогр.в конце текста. - Б. ц. Деп.в КазгосИНТИ 27.10.93,N4453
Экземпляры всего: 1 ЦСПВ (1) Свободны: ЦСПВ (1) |
К 21 Каратабанова, Сорейя Жубаниязовна. Нижние оценки алгоритмической сложности и структура семантических классов предложений.01.01.06-математическая логика,алгебра и теория чисел [Текст] : автореф.дис.на соиск.учен.степ.канд.физико-мат.наук / Сорейя Жубаниязовна Каратабанова. - Алматы, 1999. - 18 с. -
Экземпляры всего: 1 ЦСПВ (1) Свободны: ЦСПВ (1) |
Заде, Л. Понятие лингвистической переменной и его применение к принятию приближенных решений [Текст] : пер.с англ. / Л. Заде; Под ред.Н.Н.Моисеева, С.А.Орловского. - М. : Мир, 1976. - 165 с. : ил. - (Математика. Новое в зарубежной науке). - Б. ц.
Доп.точки доступа: Моисеева, Н.Н. \ред.\ Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
Л 13 Лавров, И. А. Задачи по теории множеств, математической логике и теории алгоритмов [Текст] : учебное пособие / И.А. Лавров, Л.Л. Максимова. - 2-е изд. - М. : Наука, 1984. - 223 с. - Библиогр.:с.214-215(39 назв.). - Б. ц.
Математическая логика Доп.точки доступа: Максимова, Л.Л. Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
Нечеткие множества и теория возможностей: Последние достижения [Текст] : пер.с англ. / Под ред.Р.Р.Ягера. - М. : Радио и связь, 1986. - 405 с. : ил. - Библиогр.в конце ст. - Б. ц.
Доп.точки доступа: Ягер, Рональд Р. \ред.\ Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Клини, Стефан Коул. Математическая логика [Текст] : пер.с англ. / Стефан Коул Клини; Под ред.Г.Е.Минца. - М. : Мир, 1973. - 480 с. - Библиогр.:с.451-465. - Б. ц.
Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
Кейслер, Г. Дж. Теория моделей [Текст] : пер.с англ. / Г.Дж. Кейслер, Чень-чуньЧэн; Под ред.Ю.Л.Ершова и А.Д.Тайманова. - М. : Мир, 1977. - 614 с. - Библиогр.:с.592-604. - Б. ц.
Доп.точки доступа: Чэн, Чень-чунь Экземпляры всего: 5 ХР (5) Свободны: ХР (5) |
Рузавин, Георгий Иванович. Философские проблемы оснований математики [Текст] : монография / Г.И.Рузавин; АН СССР.Ин-т философии. - М. : Наука, 1983. - 302 с. - Б. ц.
Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Справочная книга по математической логике [Текст] : в 4-х ч.: пер.с англ. / Под ред.Дж.Барвайса. - М. : "Наука", 1982 - . Ч.2 : Теория множеств. - 375 с. - Библиогр.:с.360-364. - Б. ц.
Множеств теория Доп.точки доступа: Барвайс, Дж. \ред.\ Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
Справочная книга по математической логике [Текст] : пер.с англ. / Под ред.Ю.Л.Ершова. - М. : "Наука", 1982 - . Ч.1 : Теория моделей : дж.Барвайс, Х.Дж.Кейслер, П.Эклоф и др. / Дж. Барвайс. - 392 с. : ил. - Библиогр.в конце глав. - Б. ц.
Доп.точки доступа: Ершов, Ю.Л. \ред.\; Барвайс, Дж. Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
Грин, Д. Х. Математические методы анализа алгоритмов [Текст] : монография / Д.Х. Грин, Д.Э.Кнут; пер.с англ.Б.Б.Походзея ; Под ред.Ю.В.Матиясевича. - М. : Мир, 1987. - 119 с. - Библиогр.:с.111-113. - Б. ц.
Доп.точки доступа: Кнут, Д.Э. Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Блехман, Илья Израилевич. Механика и прикладная математика: Логика и особенности прикладной математики [Текст] : монография / И.И.Блехман, А.Д.Мышкис, Я.Г.Пановко. - 2-е изд., испр. и доп. - М. : Наука, 1990. - 356 с. : ил. - Библиогр.:с.329-350. - ISBN 5-02-014002-3 : Б. ц.
Математика прикладная Кл.слова (ненормированные): кинематика -- размерность -- движение Доп.точки доступа: Мышкис, Анатолий Дмитриевич; Пановко, Яков Гилелевич Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
Богомолов, Н. В. Практические занятия по математике [Текст] : учеб.пособие для сред.спец.учеб.заведений / Н.В. Богомолов. - 3-е изд., перераб. и доп. - М. : Высш.шк., 1990. - 495 с. : ил. - ISBN 5-06-005003-8 : Б. ц.
Кл.слова (ненормированные): арифметика -- алгебра -- геометрия -- анализ Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Дюбуа, Дидье. Теория возможностей: Приложения к представлению знаний в информатике [Текст] : пер.с франц. / Д. Дюбуа, А. Прад ; ред. С. А. Орловский. - М. : Радио и связь, 1990. - 286 с. : ил. - Библиогр. в конце глав. - ISBN 5-256-00184-1 : Б. ц.
Кл.слова (ненормированные): основания -- логика Доп.точки доступа: Прад, Анри; Орловский, С.А. \ред.\ Экземпляры всего: 4 ХР (4) Свободны: ХР (4) |
Архангельский, А. В. Канторовская теория множеств [Текст] / А.В. Архангельский. - М. : Изд-во МГУ, 1988. - 110 с. : ил. - Библиогр.:с.112(19 назв.). - ISBN 5-211-00080-3 : Б. ц.
Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Клейн, Ф. Лекции о развитии математики в XIX столетии [Текст] : в 2-х т.: пер.с нем. / Ф. Клейн. - М. : Наука, 1989 - . Т.1. - 1989. - 453 с. : ил. - ISBN 5-02-013920-3 : Б. ц.
Кл.слова (ненормированные): наука -- арифметика Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |