Skip to content 
el cat en
База данных: Electronic catalog FEFU
Page 1, Results: 5
Отмеченные записи: 0
1.
Подробнее
Драгалин, Альберт Григорьевич.
Математический интуиционизм. Введение в теорию доказательств / А. Г. Драгалин. - Москва : Наука, 1979. - 256 c. : ил. - (Математическая логика и основания математики). - Библиогр. : с. 240-250.
Рубрики: математическая логика
теория доказательств (математика)
Кл.слова (ненормированные):
Черча тезис -- реализуемости метод -- интуиционистский анализ -- математический интуиционизм -- основания математики -- алгебраические модели -- псевдобулевы алгебры -- интуиционистская логика предикатов -- исчислений секвенций -- конструктивная теория доказательств -- арифметические теории -- аксиоматическая теория множеств -- интуиционизм математический -- интуиционистская логика математическая -- интуиционистская логика
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Драгалин, Альберт Григорьевич.
Математический интуиционизм. Введение в теорию доказательств / А. Г. Драгалин. - Москва : Наука, 1979. - 256 c. : ил. - (Математическая логика и основания математики). - Библиогр. : с. 240-250.
| УДК |
Рубрики: математическая логика
теория доказательств (математика)
Кл.слова (ненормированные):
Черча тезис -- реализуемости метод -- интуиционистский анализ -- математический интуиционизм -- основания математики -- алгебраические модели -- псевдобулевы алгебры -- интуиционистская логика предикатов -- исчислений секвенций -- конструктивная теория доказательств -- арифметические теории -- аксиоматическая теория множеств -- интуиционизм математический -- интуиционистская логика математическая -- интуиционистская логика
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
2.
Подробнее
Крылов, Сергей Михайлович.
Неокибернетика. Алгоритмы, математика эволюции и технологии будущего / С. М. Крылов. - Москва : URSS : [ЛКИ], [2008]. - 288 с. : ил. - Библиогр. : с. 284 - 288.. - ISBN 9785382006512
ББК 32.81 + 14
Рубрики: кибернетика--эволюция технологий--монографии
системные исследования--теории систем--кибернетика--монографии
Кл.слова (ненормированные):
формальная технология -- метафизика -- технологии -- эволюционные технологии -- функциональность (кибернетика) -- кибернетика -- квантование -- эволюция живой материи -- эволюция систем -- больших систем теория -- сложные системы -- биоподобные системы -- технологические системы -- универсальные технологические системы -- Черча тезис -- познания теория -- социальные системы (развитие) -- технологии будущего
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Крылов, Сергей Михайлович.
Неокибернетика. Алгоритмы, математика эволюции и технологии будущего / С. М. Крылов. - Москва : URSS : [ЛКИ], [2008]. - 288 с. : ил. - Библиогр. : с. 284 - 288.. - ISBN 9785382006512
Рубрики: кибернетика--эволюция технологий--монографии
системные исследования--теории систем--кибернетика--монографии
Кл.слова (ненормированные):
формальная технология -- метафизика -- технологии -- эволюционные технологии -- функциональность (кибернетика) -- кибернетика -- квантование -- эволюция живой материи -- эволюция систем -- больших систем теория -- сложные системы -- биоподобные системы -- технологические системы -- универсальные технологические системы -- Черча тезис -- познания теория -- социальные системы (развитие) -- технологии будущего
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
3.
Подробнее
Колмогоров, Андрей Николаевич.
Математическая логика : учебное пособие для математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; Московский государственный университет. ; Московский государственный университет. - Москва : Едиториал УРСС, 2004. - 238 c. : ил. - (Классический университетский учебник). - Библиогр. : с. 228.. - ISBN 535400389X
Рубрики: математическая логика--учебные издания для вузов
множеств теория--учебные издания для вузов
Кл.слова (ненормированные):
Геделя теорема -- теория алгорифмов -- теория множеств -- логические законы (математика) -- семантика языка (математика) -- исчисление предикатов (математика) -- логико-математические языки -- булева алгебра -- исчисление высказываний -- математические структуры -- применение алгебры логики -- логика предикатов -- Тьюринга машины -- теория доказательств -- язык теории множеств -- Черча тезис
Доп.точки доступа:
Драгалин, Альберт Григорьевич
Московский государственный университет
Экземпляры всего: 3
Абонемент учебной и научной литературы (1), Ч/З о. Русский (2)
Свободны: Абонемент учебной и научной литературы (1), Ч/З о. Русский (2)
Колмогоров, Андрей Николаевич.
Математическая логика : учебное пособие для математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; Московский государственный университет. ; Московский государственный университет. - Москва : Едиториал УРСС, 2004. - 238 c. : ил. - (Классический университетский учебник). - Библиогр. : с. 228.. - ISBN 535400389X
| УДК |
Рубрики: математическая логика--учебные издания для вузов
множеств теория--учебные издания для вузов
Кл.слова (ненормированные):
Геделя теорема -- теория алгорифмов -- теория множеств -- логические законы (математика) -- семантика языка (математика) -- исчисление предикатов (математика) -- логико-математические языки -- булева алгебра -- исчисление высказываний -- математические структуры -- применение алгебры логики -- логика предикатов -- Тьюринга машины -- теория доказательств -- язык теории множеств -- Черча тезис
Доп.точки доступа:
Драгалин, Альберт Григорьевич
Московский государственный университет
Экземпляры всего: 3
Абонемент учебной и научной литературы (1), Ч/З о. Русский (2)
Свободны: Абонемент учебной и научной литературы (1), Ч/З о. Русский (2)
4.
Подробнее
Успенский, Владимир Андреевич.
Теория алгоритмов : основные открытия и приложения / В. А. Успенский, А. Л. Семенов. - Москва : Наука, 1987. - 288 с. - (Библиотечка программиста ; № 49.). - Библиогр. : с. 245-271.
Рубрики: алгоритмов теория
Доп.точки доступа:
Семенов, Алексей Львович
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент научной литературы (2)
Свободны: Ч/З о. Русский (1), Абонемент научной литературы (2)
Успенский, Владимир Андреевич.
Теория алгоритмов : основные открытия и приложения / В. А. Успенский, А. Л. Семенов. - Москва : Наука, 1987. - 288 с. - (Библиотечка программиста ; № 49.). - Библиогр. : с. 245-271.
| УДК |
Рубрики: алгоритмов теория
Доп.точки доступа:
Семенов, Алексей Львович
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент научной литературы (2)
Свободны: Ч/З о. Русский (1), Абонемент научной литературы (2)
5.
Подробнее
Колмогоров, Андрей Николаевич.
Математическая логика. Дополнительные главы : учебное пособие для вузов / А. Н. Колмогоров, А. Г. Драгалин. - Москва : Изд-во Московского университета, 1984. - 119 с. - Библиогр. : с. 119.
Рубрики: математическая логика--учебные издания для вузов
множеств теория--учебные издания для вузов
Кл.слова (ненормированные):
теория множеств -- язык теории множеств -- теория алгорифмов -- Черча тезис -- Тьюринга машины -- Геделя теорема -- теория доказательств -- логика предикатов
Доп.точки доступа:
Драгалин, Альберт Григорьевич
Экземпляры всего: 5
Абонемент учебной литературы (4), Ч/З о. Русский (1)
Свободны: Абонемент учебной литературы (4), Ч/З о. Русский (1)
Колмогоров, Андрей Николаевич.
Математическая логика. Дополнительные главы : учебное пособие для вузов / А. Н. Колмогоров, А. Г. Драгалин. - Москва : Изд-во Московского университета, 1984. - 119 с. - Библиогр. : с. 119.
| УДК |
Рубрики: математическая логика--учебные издания для вузов
множеств теория--учебные издания для вузов
Кл.слова (ненормированные):
теория множеств -- язык теории множеств -- теория алгорифмов -- Черча тезис -- Тьюринга машины -- Геделя теорема -- теория доказательств -- логика предикатов
Доп.точки доступа:
Драгалин, Альберт Григорьевич
Экземпляры всего: 5
Абонемент учебной литературы (4), Ч/З о. Русский (1)
Свободны: Абонемент учебной литературы (4), Ч/З о. Русский (1)
Page 1, Results: 5