Skip to content 
el cat en
База данных: Electronic catalog FEFU
Page 1, Results: 10
Отмеченные записи: 0
1.
Подробнее
Марков, Андрей Андреевич.
Теория алгорифмов / А. А. Марков, Н. М. Нагорный. - Изд. 2-е, испр. и доп. - Москва : ФАЗИС, 1996. - XLVI, 448 c., [1] л. портр. - Библиогр. : с. 434-441.. - ISBN 5703600200
Прил. : с. 424-433.
Кл.слова (ненормированные):
теория алгорифмов -- алгорифмы -- математика -- математическая логика -- математическая кибернетика -- математический анализ -- теорема о неподвижной точке
Доп.точки доступа:
Нагорный, Николай Макарович
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Марков, Андрей Андреевич.
Теория алгорифмов / А. А. Марков, Н. М. Нагорный. - Изд. 2-е, испр. и доп. - Москва : ФАЗИС, 1996. - XLVI, 448 c., [1] л. портр. - Библиогр. : с. 434-441.. - ISBN 5703600200
Прил. : с. 424-433.
| УДК |
Кл.слова (ненормированные):
теория алгорифмов -- алгорифмы -- математика -- математическая логика -- математическая кибернетика -- математический анализ -- теорема о неподвижной точке
Доп.точки доступа:
Нагорный, Николай Макарович
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
2.
Подробнее
Теория алгорифмов и математическая логика / под ред. Б. А. Кушнера, Н. М. Нагорного ; Академия наук СССР, Вычислительный центр. - Москва : Изд-во Вычислительного центра, 1974. - 211 c.
Кл.слова (ненормированные):
теория алгорифмов -- псевдочисла -- вероятностные машины -- множества -- алгорифмы -- рекурсивные экстраполяторы -- кванторы -- вещественные числа -- математическая логика -- математика -- правило бесконечной индукции
Доп.точки доступа:
Нагорный, Н. М. \ред.\
Кушнер, Б. А. \ред.\
Академия наук СССР. Вычислительный центр
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Теория алгорифмов и математическая логика / под ред. Б. А. Кушнера, Н. М. Нагорного ; Академия наук СССР, Вычислительный центр. - Москва : Изд-во Вычислительного центра, 1974. - 211 c.
| УДК |
Кл.слова (ненормированные):
теория алгорифмов -- псевдочисла -- вероятностные машины -- множества -- алгорифмы -- рекурсивные экстраполяторы -- кванторы -- вещественные числа -- математическая логика -- математика -- правило бесконечной индукции
Доп.точки доступа:
Нагорный, Н. М. \ред.\
Кушнер, Б. А. \ред.\
Академия наук СССР. Вычислительный центр
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
3.
Подробнее
Марков, Андрей Андреевич.
Теория алгорифмов / А. А. Марков, Н. М. Нагорный. - Москва : Наука, 1984. - 432 c., [1] л. портр. - (Математическая логика и основания математики). - Библиогр. : с. 422-426.
Кл.слова (ненормированные):
математика -- математическая логика -- ассоциативные исчисления -- теория алгорифмов -- конструктивная семантика (математика) -- предикаты -- вычислимые вербальные функции -- Коши теорема -- математический анализ -- алгорифмы
Доп.точки доступа:
Нагорный, Николай Макарович
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Марков, Андрей Андреевич.
Теория алгорифмов / А. А. Марков, Н. М. Нагорный. - Москва : Наука, 1984. - 432 c., [1] л. портр. - (Математическая логика и основания математики). - Библиогр. : с. 422-426.
| УДК |
Кл.слова (ненормированные):
математика -- математическая логика -- ассоциативные исчисления -- теория алгорифмов -- конструктивная семантика (математика) -- предикаты -- вычислимые вербальные функции -- Коши теорема -- математический анализ -- алгорифмы
Доп.точки доступа:
Нагорный, Николай Макарович
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
4.
Подробнее
Марков, Андрей Андреевич.
Элементы математической логики / А. А. Марков ; под ред. А. Г. Драгалина. - Москва : Изд-во Московского университета, 1984. - 79 c. - логика (математика).
Кл.слова (ненормированные):
математическая логика -- предикаты -- семиотика -- логика высказываний -- теория алгорифмов -- математика -- языки математической логики
Доп.точки доступа:
Драгалин, Альберт Григорьевич \ред.\
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Марков, Андрей Андреевич.
Элементы математической логики / А. А. Марков ; под ред. А. Г. Драгалина. - Москва : Изд-во Московского университета, 1984. - 79 c. - логика (математика).
| УДК |
Кл.слова (ненормированные):
математическая логика -- предикаты -- семиотика -- логика высказываний -- теория алгорифмов -- математика -- языки математической логики
Доп.точки доступа:
Драгалин, Альберт Григорьевич \ред.\
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
5.
Подробнее
Исследования по теории алгорифмов и математической логике : сборник работ / Академия наук СССР, Вычислительный центр ; под ред. : А. А. Маркова, Н. В. Петри. - Москва : Изд-во Вычислительного центра АН СССР, 1973 - .
т. 1 / Академия наук СССР, Вычислительный центр. - 287 c. - Библиогр. : с. 286.
Кл.слова (ненормированные):
математика -- теория алгорифмов -- операторы конструктивные -- функциональные пространства -- предикатные варианты -- операторы алгоритмические -- логика математическая -- метрические пространства
Доп.точки доступа:
Марков, А. А. \ед.\
Петри, Н. В. \ед.\
Академия наук СССР. Вычислительный центр
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Исследования по теории алгорифмов и математической логике : сборник работ / Академия наук СССР, Вычислительный центр ; под ред. : А. А. Маркова, Н. В. Петри. - Москва : Изд-во Вычислительного центра АН СССР, 1973 - .
т. 1 / Академия наук СССР, Вычислительный центр. - 287 c. - Библиогр. : с. 286.
| УДК |
Кл.слова (ненормированные):
математика -- теория алгорифмов -- операторы конструктивные -- функциональные пространства -- предикатные варианты -- операторы алгоритмические -- логика математическая -- метрические пространства
Доп.точки доступа:
Марков, А. А. \ед.\
Петри, Н. В. \ед.\
Академия наук СССР. Вычислительный центр
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
6.
Подробнее
Математическая логика и математическая лингвистика : межвузовский тематический сборник / Калининский государственный университет ; Калининский государственный университет ; [ред. кол. : А. В. Гладкий (отв. ред.) и др.]. - Калинин : Изд-во Калининского университета, 1981. - 171 c. - Библиогр. в конце ст.
Кл.слова (ненормированные):
теория формальных систем -- теория алгорифмов -- математическая лингвистика -- программирование -- математика -- математическая логика -- логика (математика)
Доп.точки доступа:
Гладкий, А. В. \ред.\
Калининский государственный университет
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Математическая логика и математическая лингвистика : межвузовский тематический сборник / Калининский государственный университет ; Калининский государственный университет ; [ред. кол. : А. В. Гладкий (отв. ред.) и др.]. - Калинин : Изд-во Калининского университета, 1981. - 171 c. - Библиогр. в конце ст.
| УДК |
Кл.слова (ненормированные):
теория формальных систем -- теория алгорифмов -- математическая лингвистика -- программирование -- математика -- математическая логика -- логика (математика)
Доп.точки доступа:
Гладкий, А. В. \ред.\
Калининский государственный университет
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
7.
Подробнее
М 268
Марков, Андрей Андреевич
Избранные труды : в 2 томах / А. А. Марков ; составление и общая редакция Н. М. Нагорного ; научый редактор М. Н. Домбровский. - Москва : Изд-во Московского центра непрерывного математического образования, 2003. - ISBN 5940570445.
Т. 2 : Теория алгорифмов и конструктивная математика, математическая логика, информатика и смежные вопросы. - 2003. - XX, 626 с., [1] л. портр. : ил. - Библиогр. в конце ст.. - ISBN 5940571131
Приложения : с. 524-600
Рубрики: математика
Кл.слова (ненормированные):
теория алгорифмов -- математическая логика -- информатика -- рекурсивные функции -- конструктивная математика -- конструктивная логика -- булевы функции -- представимость матриц -- кибернетика -- вычислительная математика
Доп.точки доступа:
Нагорный, Н. М. \ред., сост.\
Домбровский, М. Н. \ред.\
Экземпляры всего: 2
Книгохранение (2)
Свободны: Книгохранение (2)
М 268
Марков, Андрей Андреевич
Избранные труды : в 2 томах / А. А. Марков ; составление и общая редакция Н. М. Нагорного ; научый редактор М. Н. Домбровский. - Москва : Изд-во Московского центра непрерывного математического образования, 2003. - ISBN 5940570445.
Т. 2 : Теория алгорифмов и конструктивная математика, математическая логика, информатика и смежные вопросы. - 2003. - XX, 626 с., [1] л. портр. : ил. - Библиогр. в конце ст.. - ISBN 5940571131
Приложения : с. 524-600
| УДК |
Рубрики: математика
Кл.слова (ненормированные):
теория алгорифмов -- математическая логика -- информатика -- рекурсивные функции -- конструктивная математика -- конструктивная логика -- булевы функции -- представимость матриц -- кибернетика -- вычислительная математика
Доп.точки доступа:
Нагорный, Н. М. \ред., сост.\
Домбровский, М. Н. \ред.\
Экземпляры всего: 2
Книгохранение (2)
Свободны: Книгохранение (2)
8.
Подробнее
Исследования по теории алгорифмов и математической логике : [сборник] / Академия наук СССР, Вычислительный центр ; Академия наук СССР, Вычислительный центр ; [отв. ред. : А. А. Марков, В. И. Хомич]. - Москва : Наука, 1979. - 131 c. - Библиогр. в конце ст.
Кл.слова (ненормированные):
логика математическая -- теория алгорифмов -- математика -- логики многозначные -- теории формальные -- семантика конструктивная -- теория сложности алгорифмов
Доп.точки доступа:
Марков, А. А. \ред.\
Хомич, В. И. \ред.\
Академия наук СССР. Вычислительный центр
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Исследования по теории алгорифмов и математической логике : [сборник] / Академия наук СССР, Вычислительный центр ; Академия наук СССР, Вычислительный центр ; [отв. ред. : А. А. Марков, В. И. Хомич]. - Москва : Наука, 1979. - 131 c. - Библиогр. в конце ст.
| УДК |
Кл.слова (ненормированные):
логика математическая -- теория алгорифмов -- математика -- логики многозначные -- теории формальные -- семантика конструктивная -- теория сложности алгорифмов
Доп.точки доступа:
Марков, А. А. \ред.\
Хомич, В. И. \ред.\
Академия наук СССР. Вычислительный центр
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
9.
Подробнее
Колмогоров, Андрей Николаевич.
Математическая логика : учебное пособие для математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; Московский государственный университет. ; Московский государственный университет. - Москва : Едиториал УРСС, 2004. - 238 c. : ил. - (Классический университетский учебник). - Библиогр. : с. 228.. - ISBN 535400389X
Рубрики: математическая логика--учебные издания для вузов
множеств теория--учебные издания для вузов
Кл.слова (ненормированные):
Геделя теорема -- теория алгорифмов -- теория множеств -- логические законы (математика) -- семантика языка (математика) -- исчисление предикатов (математика) -- логико-математические языки -- булева алгебра -- исчисление высказываний -- математические структуры -- применение алгебры логики -- логика предикатов -- Тьюринга машины -- теория доказательств -- язык теории множеств -- Черча тезис
Доп.точки доступа:
Драгалин, Альберт Григорьевич
Московский государственный университет
Экземпляры всего: 3
Абонемент учебной и научной литературы (1), Ч/З о. Русский (2)
Свободны: Абонемент учебной и научной литературы (1), Ч/З о. Русский (2)
Колмогоров, Андрей Николаевич.
Математическая логика : учебное пособие для математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; Московский государственный университет. ; Московский государственный университет. - Москва : Едиториал УРСС, 2004. - 238 c. : ил. - (Классический университетский учебник). - Библиогр. : с. 228.. - ISBN 535400389X
| УДК |
Рубрики: математическая логика--учебные издания для вузов
множеств теория--учебные издания для вузов
Кл.слова (ненормированные):
Геделя теорема -- теория алгорифмов -- теория множеств -- логические законы (математика) -- семантика языка (математика) -- исчисление предикатов (математика) -- логико-математические языки -- булева алгебра -- исчисление высказываний -- математические структуры -- применение алгебры логики -- логика предикатов -- Тьюринга машины -- теория доказательств -- язык теории множеств -- Черча тезис
Доп.точки доступа:
Драгалин, Альберт Григорьевич
Московский государственный университет
Экземпляры всего: 3
Абонемент учебной и научной литературы (1), Ч/З о. Русский (2)
Свободны: Абонемент учебной и научной литературы (1), Ч/З о. Русский (2)
10.
Подробнее
Колмогоров, Андрей Николаевич.
Математическая логика. Дополнительные главы : учебное пособие для вузов / А. Н. Колмогоров, А. Г. Драгалин. - Москва : Изд-во Московского университета, 1984. - 119 с. - Библиогр. : с. 119.
Рубрики: математическая логика--учебные издания для вузов
множеств теория--учебные издания для вузов
Кл.слова (ненормированные):
теория множеств -- язык теории множеств -- теория алгорифмов -- Черча тезис -- Тьюринга машины -- Геделя теорема -- теория доказательств -- логика предикатов
Доп.точки доступа:
Драгалин, Альберт Григорьевич
Экземпляры всего: 5
Абонемент учебной литературы (4), Ч/З о. Русский (1)
Свободны: Абонемент учебной литературы (4), Ч/З о. Русский (1)
Колмогоров, Андрей Николаевич.
Математическая логика. Дополнительные главы : учебное пособие для вузов / А. Н. Колмогоров, А. Г. Драгалин. - Москва : Изд-во Московского университета, 1984. - 119 с. - Библиогр. : с. 119.
| УДК |
Рубрики: математическая логика--учебные издания для вузов
множеств теория--учебные издания для вузов
Кл.слова (ненормированные):
теория множеств -- язык теории множеств -- теория алгорифмов -- Черча тезис -- Тьюринга машины -- Геделя теорема -- теория доказательств -- логика предикатов
Доп.точки доступа:
Драгалин, Альберт Григорьевич
Экземпляры всего: 5
Абонемент учебной литературы (4), Ч/З о. Русский (1)
Свободны: Абонемент учебной литературы (4), Ч/З о. Русский (1)
Page 1, Results: 10