Поисковый запрос: (<.>KL=математическая логика<.>) |
Общее количество найденных документов : 125
Показаны документы с 1 по 20 |
|
1. 
| A911618-ОХФ
Герн, Б.
Новое изложение логики, основанное на элементарных курсах математики и физики [Текст] / Б. Герн. - Москва : Тип. Г. Лисснера и А. Гешеля, 1902 - . - Загл. в старой орфографии : Новое изложенiе логики, основанное на элементарныхъ курсахъ математики и физики.
Ч. 1 : Логика дедуктивная. Логика математики. - Москва : Тип. Г. Лисснера и А. Гешеля, 1902. - 76 с. - ISBN [Б. и.] (в пер.) : 26.00 р.
Прил. къ циркулярамъ по Моск. учеб. округу, изд. подъ ред. Вл. Исаенкова
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
математическая логика -- алгебра -- геометрия -- арифметика
Экземпляры всего: 1
ОХФ (1)
Найти похожие
|
2.
| A477479-ОХФ, A507130-ОХФ, A507626-ОХФ, A507630-ОХФ, A873322-ОХФ
Гильберт, Давид
Основания математики [Текст] : [в 2 т.] / Д. Гильберт, П. Бернайс. - Москва : Наука. Гл. ред. физ.-мат. лит. - (Математическая логика и основания математики).
[Т. 1] : Логические исчисления и формализация арифметики. - Москва : Наука. Гл. ред. физ.-мат. лит., 1979. - 557, [3] с. - ISBN [Б. и.] (в пер.) : 35.00 р.
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
математическая логика -- исчисления высказываний -- рекурсии
Доп. точки доступа:
Бернайс, Пауль
Экземпляры всего: 5
ОХФ (5)
Найти похожие
|
3.
| A563447-ОХФ, A873358-ОХФ
Справочная книга по математической логике: В 4 ч. [Текст] . - Москва : Наука. Гл. ред. физ.-мат. лит.
Ч. 1 : Теория моделей: Пер. с англ. / Под ред. Ершова Ю. Л. и др. - 1982. - 391, [1] с. - Библиогр. - ISBN Б. и. (в пер.) : 30.00 р.
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
математическая логика -- моделей теория
Экземпляры всего: 2
ОХФ (2)
Найти похожие
|
4.
| A565996-ОХФ, A568187-ОХФ, A873359-ОХФ
Справочная книга по математической логике: В 4 ч. [Текст] . - Москва : Наука. Гл. ред. физ.-мат. лит.
Ч. 2 : Теория множеств: Пер. с англ. / Под ред. Гришина В. Н. - 1982. - 374, [2] с. - Библиогр. - ISBN Б. и. (в пер.) : 30.00 р.
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
множеств теория -- математическая логика -- аксиометрическая теория множеств -- комбинаторика
Экземпляры всего: 3
ОХФ (3)
Найти похожие
|
5.
| A563558-ОХФ, A563559-ОХФ, A563560-ОХФ, A563561-ОХФ, A563562-ОХФ, A564825-ОХФ, A873323-ОХФ
Гильберт, Давид
Основания математики [Текст] : [в 2 т.] / Д. Гильберт, П. Бернайс. - Москва : Наука. Гл. ред. физ.-мат. лит. - (Математическая логика и основания математики).
[Т. 2] : Теория доказательств. - Москва : Наука. Гл. ред. физ.-мат. лит., 1982. - 652, [4] с. - ISBN [Б. и.] (в пер.) : 40.00 р.
Рубрики: математика--математический анализ
Кл.слова (ненормированные):
математическая логика -- формализм
Доп. точки доступа:
Бернайс, Пауль
Экземпляры всего: 7
ОХФ (7)
Найти похожие
|
6.
| A572345-ОХФ, A873360-ОХФ
Справочная книга по математической логике: В 4 ч. [Текст] . - Москва : Наука. Гл. ред. физ.-мат. лит.
Ч. 3 : Теория рекурсии: Пер. с англ. / Под ред. Ершова Ю. Л. - 1982. - 359, [1] с. - Библиогр. - ISBN Б. и. (в пер.) : 30.00 р.
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
рекурсии теория -- рекурсивные функции -- математическая логика -- алгоритмические проблемы
Экземпляры всего: 2
ОХФ (2)
Найти похожие
|
7.
| Учебные отделы, A591119-ОХФ, A591120-ОХФ, A591121-ОХФ, A591122-ОХФ, A591123-ОХФ, A593255-ОХФ, A595693-ОХФ, A873334-ОХФ,
Колмогоров, Андрей Николаевич (1903-1987).
Математическая логика: Дополнительные главы [Текст] : учеб. пособие для студентов вузов / А. Н. Колмогоров, А. Г. Драгалин. - Москва : Изд-во Моск. ун-та, 1984. - 117, [3] с. - Библиогр. - ISBN [Б. и.] : 20.00 р.
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
математическая логика -- множеств теория -- алгоритмов теория
Доп. точки доступа:
Драгалин, Альберт Григорьевич
Экземпляры всего: 27
ОХФ (8), ОУОЕН (19)
Найти похожие
|
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.
| A856987-ОХФ
Грэй, Питер.
Логика, алгебра и базы данных [Текст] / П. Грэй ; . - Москва : Машиностроение, 1989. - 360 с. - Библиогр. - ISBN 5-217-00178-X , 0-470-2025 (в пер.) : 3000.00 р.
Рубрики: вычислительная техника--базы и банки данных
Кл.слова (ненормированные):
математическая логика -- алгебра -- базы данных -- экспертные системы -- реляционное исчисление -- Кодасил концепция -- пролог
Экземпляры всего: 1
ОХФ (1)
Найти похожие
|
10.
| A880183-ОХФ
Самарин, Юрий Петрович.
Математика для студентов технических вузов [Текст] : учеб. пособие / Ю. П. Самарин, Г. А. Сахабиева. - Саратов : Изд-во Сарат. ун-та, Куйбышев. фил., 1990. - 254, [2] с. - Библиогр. - ISBN 5-292-00953-9 : 15.00 р.
Рубрики: математика--математика
Кл.слова (ненормированные):
множеств теория -- математическая логика -- линейная алгебра -- аналитическая геометрия -- математический анализ -- дифференциальное исчисление
Доп. точки доступа:
Сахабиева, Галина Александровна
Экземпляры всего: 1
ОХФ (1)
Найти похожие
|
11.
| A496338-ОХФ
Reports on Mathematical Logic [Текст] : научное издание. - Krakow : Jagiellonian Univ. Press.
N . 25. - 1991. - 149 p. - Bibliogr. - ISBN 83-233-0537-4 : 1000.00 р.
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
математическая логика
Экземпляры всего: 1
ОХФ (1)
Найти похожие
|
12.
| A844541-ОХФ
Вычислительные системы [Текст] : сб. науч. тр. - Новосибирск : [б. и.].
Вып. 139 : Теория вычислимости и языки спецификаций. - 1991. - 192 с. - ISBN 5-7623-0102-8 : 4.80 р.
Рубрики: математика--математическая логика
вычислительная техника--ЭВМ
Кл.слова (ненормированные):
математическая логика -- вычислимости теория -- языки спецификаций
Экземпляры всего: 1
ОХФ (1)
Найти похожие
|
13.
| Учебные отделы, A839289-ОХФ, A839290-ОХФ, A839381-ОХФ, A879628-ОХФ, A879629-ОХФ,
Игошин, Владимир Иванович.
Математическая логика и теория алгоритмов [Текст] : Учеб. пособ. для студентов физ.-мат. спец. пед. ин-тов / Владимир Иванович Игошин. - Саратов : Издательство Саратовского университета, 1991. - 255, [2] c. - Библиогр. - ISBN 5-292-00259-3 (в пер.) : 25.00 р.
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- исчисления высказываний -- логика предикатов -- булевы функции
Экземпляры всего: 24
ОХФ (5), ОУОЕН (19)
Найти похожие
|
14.
| A627886-ОХФ
Алгебра и логика [Текст] : сб. науч. тр. - Новосибирск : [б. и.].
Т. 31, N 1. - 1992. - 98 с. - Библиогр. - ISBN 5-7623-0396-2 : 15.00 р.
Рубрики: математика--алгебра
Кл.слова (ненормированные):
высшая алгебра -- математическая логика
Экземпляры всего: 1
ОХФ (1)
Найти похожие
|
15.
| A496339-ОХФ
Reports on Mathematical Logic [Текст] : научное издание. - Krakow : Jagiellonian Univ. Press.
N . 26. - 1992. - 95 p. - Bibliogr. - ISBN 83-233-0630-3 : 1000.00 р.
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
математическая логика
Экземпляры всего: 1
ОХФ (1)
Найти похожие
|
16.
| A846634-ОХФ
Модели, алгоритмы, программы [Текст] : сб. науч. тр. - Тверь : [б. и.], 1993. - 133 с. : ил. - Библиогр. - ISBN 5-230-08503-7 : 17.00 р.
Рубрики: математика--математика
Кл.слова (ненормированные):
математическая кибернетика -- математическая логика -- игр теория -- вероятностей теория -- вычислительная математика
Экземпляры всего: 1
ОХФ (1)
Найти похожие
|
17.
| A847444-ОХФ
Волгин, Леонид Иванович.
Комплементарная алгебра и моделирование нейронных структур [Текст] = Complementary Algebra and Simulation of Neural Structures / Л. И. Волгин ; . - Таллинн : АО "KLTK", 1993. - 47 с. : ил. - Библиогр. - 40.00 р.
Рубрики: медицина--физиология
математика--алгебра
Кл.слова (ненормированные):
нейробионика -- нейронные сети -- нервные сети -- булева алгебра -- многозначные логики -- математическая логика -- математическое моделирование -- комплементарная алгебра -- алгебра логики
Экземпляры всего: 1
ОХФ (1)
Найти похожие
|
18.
| A847877-ОХФ
Жоль, Константин Константинович.
Логика в лицах и символах [Текст] : науч.-попул. кн. / К. К. Жоль. - Москва : Педагогика-Пресс, 1993. - 256 с. : ил. - Библиогр. - ISBN 5-7155-0494-5 : 1000.00 р.
Рубрики: логика--логика
Кл.слова (ненормированные):
логика -- логика и математика -- логика и кибернетика -- логика и техника -- математическая логика
Экземпляры всего: 1
ОХФ (1)
Найти похожие
|
19.
| A496340-ОХФ
Reports on Mathematical Logic [Текст] : научное издание. - Krakow : Jagiellonian Univ. Press.
N . 27. - 1993. - 94 p. - Bibliogr. - ISBN 83-233-0738-5 : 1000.00 р.
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
математическая логика
Экземпляры всего: 1
ОХФ (1)
Найти похожие
|
20.
| 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)
Найти похожие
|
|
|
|
Электронный каталог
Стандартный (по одному полю)