Поисковый запрос: (<.>KL=математическая логика<.>) |
Общее количество найденных документов : 125
Показаны документы с 1 по 20 |
|
>1.
| 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) Найти похожие
|
>2.
| A496618-ОХФ
Fuzzy Logic [Текст] : научное издание. - Chichester a. o. : Wiley, 1996. - 256, [4] p. : fig. - Bibliogr. - ISBN 0-471-96281-3 : Б. ц.
Рубрики: математика--математическая логика
Кл.слова (ненормированные): математическая логика -- пограничные методы -- логические технологии -- управляющие системы -- пограничный контроль -- пограничная логика
Экземпляры всего: 1 ОХФ (1) Найти похожие
|
>3.
| 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) Найти похожие
|
>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.
| 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) Найти похожие
|
>6.
| 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) Найти похожие
|
>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.
| 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) Найти похожие
|
>9.
| 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) Найти похожие
|
>10.
| A496338-ОХФ
Reports on Mathematical Logic [Текст] : научное издание. - Krakow : Jagiellonian Univ. Press. N . 25. - 1991. - 149 p. - Bibliogr. - ISBN 83-233-0537-4 : 1000.00 р.
Рубрики: математика--математическая логика
Кл.слова (ненормированные): математическая логика
Экземпляры всего: 1 ОХФ (1) Найти похожие
|
>11.
| A496339-ОХФ
Reports on Mathematical Logic [Текст] : научное издание. - Krakow : Jagiellonian Univ. Press. N . 26. - 1992. - 95 p. - Bibliogr. - ISBN 83-233-0630-3 : 1000.00 р.
Рубрики: математика--математическая логика
Кл.слова (ненормированные): математическая логика
Экземпляры всего: 1 ОХФ (1) Найти похожие
|
>12.
| A496340-ОХФ
Reports on Mathematical Logic [Текст] : научное издание. - Krakow : Jagiellonian Univ. Press. N . 27. - 1993. - 94 p. - Bibliogr. - ISBN 83-233-0738-5 : 1000.00 р.
Рубрики: математика--математическая логика
Кл.слова (ненормированные): математическая логика
Экземпляры всего: 1 ОХФ (1) Найти похожие
|
>13.
| A903016-ОХФ
Актуальные проблемы современной математики [Текст] : сб. науч. тр. - Новосибирск : Изд-во НИИ МИОО НГУ. Т. 3. - 1997. - 203, [1] с. : ил. - Библиогр. - ISBN 5-88119-075-0 : 45.00 р.
Рубрики: математика--математика
Кл.слова (ненормированные): математика -- алгебра -- математическая логика -- вероятностей теория -- уравнения с частными производными -- математическая статистика -- графов теория -- вычислительная математика
Экземпляры всего: 1 ОХФ (1) Найти похожие
|
>14.
| A627886-ОХФ
Алгебра и логика [Текст] : сб. науч. тр. - Новосибирск : [б. и.]. Т. 31, N 1. - 1992. - 98 с. - Библиогр. - ISBN 5-7623-0396-2 : 15.00 р.
Рубрики: математика--алгебра
Кл.слова (ненормированные): высшая алгебра -- математическая логика
Экземпляры всего: 1 ОХФ (1) Найти похожие
|
>15.
| Учебные отделы, A997145-ОХФ, A997146-ОХФ, A997147-ОХФ,
Розен, Виктор Владимирович Введение в дискретную математику [Текст] : учебное пособие для студентов, изучающих курс дискретной математики и смежные дисциплины : 2 ч. / В. В. Розен, Ю. А. Бродская ; Сарат. нац. исслед. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 2016 - . - ISBN 978-5-292-04411-6. Ч. 1. - Саратов : Издательство Саратовского университета, 2016. - 90, [2] с. : ил. - ). - Библиогр.: с. 89 (13 назв.). - ISBN 978-5-292-04407-9 (ч. 1) : 233.59 р., 233.76 р.
Рубрики: математика--комбинаторный анализ--теория графов
Кл.слова (ненормированные): дискретная математика -- математическая логика -- математические структуры -- логика высказываний -- логика предикатов -- бинарные отношения -- универсальная алгебра -- полугруппы -- кольца
Доп. точки доступа:
Бродская, Юлия Анатольевна
Экземпляры всего: 38 ОХФ (3), ОУОЕН (35) Найти похожие
|
>16.
| A962559-ОХФ, A962560-ОХФ-ЧЗ-4
Успенский, Владимир Андреевич. Вводный курс математической логики [Текст] : [учеб. пособие] / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - Москва : ФИЗМАТЛИТ, 2004. - 125, [3] с. - Библиогр.: с. 122 (15 назв.). - Предм. указ.: с. 123-125. - ISBN 5-9221-0278-8 : 95.37 р. На обл. авт. не указаны
Рубрики: математика--математическая логика
Кл.слова (ненормированные): математическая логика -- множеств теория -- алгоритмов теория -- доказательств теория -- Геделя теорема
Доп. точки доступа: Верещагин, Николай Константинович
Плиско, Валерий Егорович
Экземпляры всего: 2 ОХФ (1), ОХФ-ЧЗ-4 (1) Найти похожие
|
>17.
| A973606-ОХФ-ЧЗ-4
Успенский, Владимир Андреевич. Вводный курс математической логики [Текст] : учеб. пособие / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - Москва : ФИЗМАТЛИТ, 2007. - 125, [3] с. - Библиогр.: с. 122 (15 назв.). - Предм. указ.: с. 123-125. - ISBN 978-5-9221-0278-0 : 106.20 р. На обл. авт. не указан
Рубрики: математика--математическая логика
Кл.слова (ненормированные): математическая логика -- множеств теория -- алгоритмов теория -- доказательств теория -- Геделя теорема
Доп. точки доступа: Верещагин, Николай Константинович
Плиско, Валерий Егорович
Экземпляры всего: 1 ОХФ-ЧЗ-4 (1) Найти похожие
|
>18.
| A844541-ОХФ
Вычислительные системы [Текст] : сб. науч. тр. - Новосибирск : [б. и.]. Вып. 139 : Теория вычислимости и языки спецификаций. - 1991. - 192 с. - ISBN 5-7623-0102-8 : 4.80 р.
Рубрики: математика--математическая логика
вычислительная техника--ЭВМ
Кл.слова (ненормированные): математическая логика -- вычислимости теория -- языки спецификаций
Экземпляры всего: 1 ОХФ (1) Найти похожие
|
>19.
| Учебные отделы, 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) Найти похожие
|
>20.
| Учебные отделы,
Спирина, М. С. Дискретная математика [Текст] : учеб. для студентов / М. С. Спирина, П. А. Спирин. - 5-е изд., стер. - Москва : Академия, 2009. - 368 с. - (Среднее профессиональное образование). - ISBN 978-5-7695-6209-9 (в пер.) : 399.00 р.
Рубрики: математика--комбинаторный анализ--теория графов
Кл.слова (ненормированные): математика -- дискретная математика -- математическая логика Аннотация: Учебник содержит теоретический материал по традиционным темам дискретной математики и некоторые вопросы классической логики.
Доп. точки доступа: Спирин, П. А.
Экземпляры всего: 5 ОУООПН-ЧЗ 13 (1), ОУООПН-АБ 3 (4) Найти похожие
|
|
|