Поисковый запрос: (<.>KL=математическая логика<.>) |
Общее количество найденных документов : 125
Показаны документы с 1 по 20 |
|
>1.
| A197786-ОХФ
Drake, Frank R. Intermediate Set Theory [Текст] : научное издание / Frank R. Drake, D. Singh. - Chichester a. o. : Wiley, 1996. - 234 p. - Biibliogr. - ISBN 0-471-96496-4 : 20.00 р.
Рубрики: математика--теория множеств
Кл.слова (ненормированные): множеств теория -- промежуточных множеств теория -- математическая логика -- тригонометрические множества
Доп. точки доступа: Singh, D.
Экземпляры всего: 1 ОХФ (1) Найти похожие
|
>2.
| A496618-ОХФ
Fuzzy Logic [Текст] : научное издание. - Chichester a. o. : Wiley, 1996. - 256, [4] p. : fig. - Bibliogr. - ISBN 0-471-96281-3 : Б. ц.
Рубрики: математика--математическая логика
Кл.слова (ненормированные): математическая логика -- пограничные методы -- логические технологии -- управляющие системы -- пограничный контроль -- пограничная логика
Экземпляры всего: 1 ОХФ (1) Найти похожие
|
>3.
| A197248-ОХФ
Hilbert, Alfred. Mathematik [Текст] : справочное издание / Alfred Hilbert. - 2. Aufl. - Leipzig : Fachbuchverl., 1989. - 672 S. : Bild. - (Nachschlagebucher fur Grundlagenfacher). - ISBN 3-343-00248-8 : 70.00 р.
Рубрики: математика--математика
Кл.слова (ненормированные): математическая логика -- множеств теория -- числа -- уравнения -- неравенства -- реальные функции -- векторное исчисление -- матричное исчисление -- вероятностей теория -- описательная статистика -- элементарная геометрия
Экземпляры всего: 1 ОХФ (1) Найти похожие
|
>4.
| A497105-ОХФ
Instituto de Matematicas: Memorias del 50 Aniversario 1942-1992 [Текст] : научное издание. - S. l. : Publ. del inst. de matematicas, [1994]. - 364 p. : fot. - Bibliogr. - ISBN 968-36-3531-8 : 50.00 р.
Рубрики: математика--математика--Мексика--Мехико, 20 в., 1942-1992 гг.
Кл.слова (ненормированные): алгебра -- комбинаторика -- геометрия -- математическая логика -- вероятностей теория -- топология -- персоналии -- научно-исследовательские институты (НИИ)
Экземпляры всего: 1 ОХФ (1) Найти похожие
|
>5.
| A497693-ОХФ
Logic in Computer Science [Текст] / ed. by Z. Ognjanović. - Beograd : Matematički institut SANU, 2009. - 215, [1] p. - (Zbornik radova ; 12 (20)). - Bibliogr.: p. 208-215. - ISBN 978-86-80593-40-1 : 25.00 р.
Рубрики: вычислительная техника--информационные технологии
математика--математическая логика
Кл.слова (ненормированные): математическая логика -- компьютерные науки
Доп. точки доступа:
Ognjanović, Zoran
Экземпляры всего: 1 ОХФ (1) Найти похожие
|
>6.
| A497107-ОХФ
Poincare, Henri. Een nacht vol opwinding [Текст] : een keuze uit de filosofische essays / Henri Poincare. - Utrecht : Epsilon Uitgaven, 1998. - 152, [4] blz. с. : portr. - (Fondslijst Epsilon Uitgaven ; 41). - ISBN 90-5041-048-0 : 25.00 р.
Рубрики: философия--философия Франции--Франция, 19-20 вв., 1854-1912 гг.
Кл.слова (ненормированные): персоналии -- философия естествознания -- математика -- математическая логика -- рассуждения -- ум -- случайность -- опыт -- образование -- будущее
Экземпляры всего: 1 ОХФ (1) Найти похожие
|
>7.
| A496847-ОХФ
Presic, Slavisa B. m-M Calculus [Текст] : научное издание / Slavisa B. Presic. - Beograd : Matematicki inst., 1996. - 84 p. - (Posebna izdanja ; knj. 18). - Bibliogr. - ISBN 86-80593-19-2 : 15.00 р.
Рубрики: математика--математическая логика--вычислительная математика
Кл.слова (ненормированные): математическая логика -- алгебра -- численные методы -- системы уравнений -- исчисления
Экземпляры всего: 1 ОХФ (1) Найти похожие
|
>8.
| A496338-ОХФ
Reports on Mathematical Logic [Текст] : научное издание. - Krakow : Jagiellonian Univ. Press. N . 25. - 1991. - 149 p. - Bibliogr. - ISBN 83-233-0537-4 : 1000.00 р.
Рубрики: математика--математическая логика
Кл.слова (ненормированные): математическая логика
Экземпляры всего: 1 ОХФ (1) Найти похожие
|
>9.
| A496339-ОХФ
Reports on Mathematical Logic [Текст] : научное издание. - Krakow : Jagiellonian Univ. Press. N . 26. - 1992. - 95 p. - Bibliogr. - ISBN 83-233-0630-3 : 1000.00 р.
Рубрики: математика--математическая логика
Кл.слова (ненормированные): математическая логика
Экземпляры всего: 1 ОХФ (1) Найти похожие
|
>10.
| A496340-ОХФ
Reports on Mathematical Logic [Текст] : научное издание. - Krakow : Jagiellonian Univ. Press. N . 27. - 1993. - 94 p. - Bibliogr. - ISBN 83-233-0738-5 : 1000.00 р.
Рубрики: математика--математическая логика
Кл.слова (ненормированные): математическая логика
Экземпляры всего: 1 ОХФ (1) Найти похожие
|
>11.
| A940903-ОХФ-МИОН, A941121-ОХФ-МИОН
Tieszen, Richard. Phenomenology, Logic, and the Philosophy of Mathematics [Текст] / R. Tieszen. - Cambridge (NY) : Cambridge Univ. Press, 2005. - X, 357, [1] p. : fig. - Bibliogr.: p. 337-348. - Index: p. 349-357. - ISBN 0-521-83782-0 (в пер.) : 2925.00 р., 2925.00 р.
Рубрики: философия--философские системы--философия науки
логика--логика
Кл.слова (ненормированные): феноменология -- логика -- математика -- философия математики -- математическая логика -- символическая логика -- математическая интуиция -- трансцендентальная феноменология -- геометрия -- конструктивизм -- персоналии
Экземпляры всего: 2 ОХФ-МИОН (2) Найти похожие
|
>12.
| 7936/P-ОХФ
Tupailo, Sergei. Hilbert's Epsilon-Symbol in Predicative Subsystems of Analysis [Текст] : dis. for the degree of Dr of Philosophy (in Mathematics) / Sergei Tupailo. - Tartu : Univ. Press., 1996. - 17 p., Publ. - (Dissertationes Mathematicae Univ. Tartuensis ; 13). - Bibliogr. - ISBN 9985-56-177-5 : Б. ц. Рез. на эстон. яз.
Рубрики: математика--математическая логика
Кл.слова (ненормированные): математическая логика -- доказательства теории -- эпсилон-символ
Экземпляры всего: 1 ОХФ (1) Найти похожие
|
>13.
| Учебные отделы, A908411-ОХФ, A908412-ОХФ-ЧЗ-4,
Акимов, Олег Евгеньевич. Дискретная математика. Логика, группы, графы [Текст] / О. Е. Акимов. - 2-е изд., доп. - Москва : Лаб. Базовых Знаний, 2003. - 376 с. : рис. - (Технический университет. Математика). - ISBN 5-93208-025-6 (в пер.) : 127.60 р., 110.00 р., 163.02 р.
Рубрики: математика--комбинаторный анализ--теория графов
Кл.слова (ненормированные): дискретная математика -- математическая логика -- группы -- графы
Экземпляры всего: 16 ОХФ (1), ОХФ-ЧЗ-4 (1), ОУОЕН (14) Найти похожие
|
>14.
| A903016-ОХФ
Актуальные проблемы современной математики [Текст] : сб. науч. тр. - Новосибирск : Изд-во НИИ МИОО НГУ. Т. 3. - 1997. - 203, [1] с. : ил. - Библиогр. - ISBN 5-88119-075-0 : 45.00 р.
Рубрики: математика--математика
Кл.слова (ненормированные): математика -- алгебра -- математическая логика -- вероятностей теория -- уравнения с частными производными -- математическая статистика -- графов теория -- вычислительная математика
Экземпляры всего: 1 ОХФ (1) Найти похожие
|
>15.
| A627886-ОХФ
Алгебра и логика [Текст] : сб. науч. тр. - Новосибирск : [б. и.]. Т. 31, N 1. - 1992. - 98 с. - Библиогр. - ISBN 5-7623-0396-2 : 15.00 р.
Рубрики: математика--алгебра
Кл.слова (ненормированные): высшая алгебра -- математическая логика
Экземпляры всего: 1 ОХФ (1) Найти похожие
|
>16.
| A862953-ОХФ
Александрова, Регина Александровна. Элементы теории множеств и математической логики [Текст] : практикум / Р. А. Александрова, А. М. Потапова ; . - Калининград : [б. и.], 1997. - 65, [3] c. : ил. - Библиогр. - ISBN 5-88874-059-4 : 5000.00 р.
Рубрики: математика--теория множеств--математическая логика
Кл.слова (ненормированные): множеств теория -- математическая логика
Доп. точки доступа: Потапова, Алевтина Михайловна
Экземпляры всего: 1 ОХФ (1) Найти похожие
|
>17.
| Учебные отделы,
Аматова, Галина Михайловна. Математика. Упражнения и задачи [Текст] : учеб. пособие для студентов высш. пед. учеб. заведений / Г. М. Аматова, М. А. Аматов. - Москва : Изд. центр "Академия", 2008. - 330, [6] с. : граф. - (Высшее профессиональное образование. Педагогические специальности). - ISBN 978-5-7695-3958-9 (в пер.) : 419.00 р. Рекомендовано Учеб.-метод. об-нием по специальностям пед. образования в качестве учеб. пособия для студентов вузов, обучающихся по специальности "Педагогика и методика начального образования"
Рубрики: математика--математика
Кл.слова (ненормированные): множества -- математическая логика -- комбинаторика -- целые неотрицательные числа -- системы счисления -- делимости теория -- уравнения -- неравенства -- функции -- геометрия -- величины
Доп. точки доступа: Аматов, Михаил Александрович
Экземпляры всего: 3 ОУООПН-ЧЗ 13 (1), ОУООПН-АБ 3 (2) Найти похожие
|
>18.
| Учебные отделы,
Аматова, Галина Михайловна Математика [Текст] : учеб. пособие для студентов высш. пед. учеб. заведений : в 2 кн. / Г. М. Аматова, М. А. Аматов. - Москва : Изд. центр "Академия". - (Высшее профессиональное образование). - ISBN 978-5-7695-4001-1. Кн. 1. - Москва : Изд. центр "Академия", 2008. - 248, [8] с. - ISBN 978-5-7695-3999-2 (Кн. 1) (в пер.) : 308.00 р. Рекомендовано Учеб.-метод. об-нием по специальностям пед. образования в качестве учеб. пособия для студентов вузов, обучающихся по специальности "Педагогика и методика начального образования"
Рубрики: математика--математика
Кл.слова (ненормированные): множества -- математическая логика -- комбинаторика -- вероятностей теория -- целые неотрицательные числа -- системы счисления -- делимости теория
Доп. точки доступа:
Аматов, Михаил Александрович
Экземпляры всего: 3 ОУООПН-ЧЗ 13 (1), ОУООПН-АБ 3 (2) Найти похожие
|
>19.
| A907943-ОХФ, A907944-ОХФ, A908153-ОХФ, A908154-ОХФ
Андерсон, Джеймс А. Дискретная математика и комбинаторика [Текст] = Discrete Mathematics with Combinatorics / Джеймс А. Андерсон ; . - Москва ; Санкт-Петербург ; Киев : Изд. дом "Вильямс", 2003. - 957, [3] с. - ISBN 5-8459-0498-6 (рус.) (в пер.). - ISBN 0-13-086998-8 (англ.) : 310.310 р.
Рубрики: математика--комбинаторный анализ--теория графов
Кл.слова (ненормированные): дискретная математика -- комбинаторика -- математическая логика -- множеств теория -- графов теория -- алгоритмы -- чисел теория -- рекурсия -- алгебраические структуры -- производящие функции -- сети -- кодов теория
Экземпляры всего: 4 ОХФ (4) Найти похожие
|
>20.
| Учебные отделы, A889397-ОХФ-ЧЗ-4,
Асеев, Георгий Георгиевич. Дискретная математика [Текст] : учеб. пособие / Г. Г. Асеев, О. М. Абрамов, Д. Э. Ситников. - Ростов-на-Дону : Феникс ; Харьков : Торсинг, 2003. - 141, [3] с. : ил. - (Высшее образование) (Учебники). - Библиогр.: с. 138-139. - Алф. указ.: с. 140-142. - ISBN 5-222-03775-4 (Феникс) (в пер.). - ISBN 966-693-257-1 (Торсинг) : 31.20 р.
Рубрики: математика--комбинаторный анализ--теория графов
Кл.слова (ненормированные): дискретная математика -- математическая логика -- комбинаторика -- графов теория
Доп. точки доступа: Абрамов, Олег Мартович
Ситников, Дмитрий Эдуардович
Экземпляры всего: 2 ОХФ-ЧЗ-4 (1), ОУОЕН (1) Найти похожие
|
|
|