Э62 Энегелер, Эрвин. Математика элементарной математики [] / Э. Энегелер ; пер. с нем. Г. Е. Минца ; под ред. А. О. Слисенко = Metamathematik der Elementarmathematik / E. Engeler. - М. : Мир, 1987. - 128 с. : рис. - Указ. имен: с. 123-124. - Предм. указ.: с. 125-126. - 0.50 р.
Рубрики: Математика--Елементарна математика--Навчальні видання для вищої школи фывфывфыв: математика -- элементарная математика -- континуум -- геометрия -- геометрія -- алгоритмика -- алгоритміка -- вещественные числа -- дійсні числа -- анализ -- аналіз -- пространство -- простір -- геометрические построения -- геометричні побудови -- вычислимость -- вичислимість -- комбинаторы -- комбінатори -- комбинаторная логика -- комбінаторна логіка -- математическая логика -- математична логіка -- аксиоматика геометрии -- аксіоматика геометрії -- алгоритм Аннотация: Книга рассчитана на лиц, желающих получить общее представление о современных взглядах на основания математики и о некоторых разделах математической логики. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Минц, Г. Е. \пер.\; Слисенко, А. О. \ред.\ Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
М34 Математическая логика в программировании [] : пер. с англ. / под ред.: М. В. Захарьящева, Ю. И. Янова. - Москва : Мир, 1991. - 408 с. : рис. - (Математическое обеспечение ЭВМ). - Лит.: с. 395-407. - ISBN 5-03-001635-X : 7.00 крб
Рубрики: Програмування--Математична логіка--Теорія--Практика--Наукові видання фывфывфыв: функциональные программы -- функціональні програми -- мышление функционального уровня -- мислення функціонального рівня -- линейные уравнения -- лінійні рівняння -- денотационная семантика -- денотаційна семантика -- неразделенные лямбда-абстракции -- нерозділені лямбда-абстракції -- комбинаторы -- комбінатори -- суперкомбинаторы -- суперкомбінатори -- логический анализ модулей -- логічний аналіз модулей -- описания вычислений -- опис обчислень Аннотация: Результаты в теоретическом и практическом программировании на основе применения идей и методов математической логики. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Захарьящев, М. В. \ред.\; Янов, Ю. И. \ред.\ Экземпляры всего: 2 ВВ (1), ФОНД (1) Свободны: ВВ (1), ФОНД (1) |