Зведений каталог Житомирської обласної універсальної наукової бібліотеки ім. О. Ольжича та бібліотек Житомирської області

Про нас

Електронний депозитарій LIBO

Зведений каталог України

Бази даних

Електронний каталог ЖОУНБ ім. О. Ольжича- результати пошуку

Вид пошуку

Електронний каталог ЖОУНБ ім. О. Ольжича

Цінні та рідкісні видання ЖОУНБ ім. О. Ольжича

Звягельська бібліотека ЗМР

Зона пошуку

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>K=комбинаторы<.>

Загальна кількість знайдених документів : 2
Показані документи с 1 за 2

510
Э62

Энегелер, Эрвин.
Математика элементарной математики [] / Э. Энегелер ; пер. с нем. Г. Е. Минца ; под ред. А. О. Слисенко = Metamathematik der Elementarmathematik / E. Engeler. - М. : Мир, 1987. - 128 с. : рис. - Указ. имен: с. 123-124. - Предм. указ.: с. 125-126. - 0.50 р.

УДК

510

ББК 22.10
Рубрики: Математика--Елементарна математика--Навчальні видання для вищої школи
Кл.слова (ненормовані):
математика -- элементарная математика -- континуум -- геометрия -- геометрія -- алгоритмика -- алгоритміка -- вещественные числа -- дійсні числа -- анализ -- аналіз -- пространство -- простір -- геометрические построения -- геометричні побудови -- вычислимость -- вичислимість -- комбинаторы -- комбінатори -- комбинаторная логика -- комбінаторна логіка -- математическая логика -- математична логіка -- аксиоматика геометрии -- аксіоматика геометрії -- алгоритм
Анотація: Книга рассчитана на лиц, желающих получить общее представление о современных взглядах на основания математики и о некоторых разделах математической логики.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Минц, Г. Е. \пер.\; Слисенко, А. О. \ред.\
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Знайти схожі

510.6:004.41
М34

Математическая логика в программировании [] : пер. с англ. / под ред.: М. В. Захарьящева, Ю. И. Янова. - Москва : Мир, 1991. - 408 с. : рис. - (Математическое обеспечение ЭВМ). - Лит.: с. 395-407. - ISBN 5-03-001635-X : 7.00 крб

УДК

510.6:004.41

ББК 32.973.2-018
Рубрики: Програмування--Математична логіка--Теорія--Практика--Наукові видання

Кл.слова (ненормовані):
функциональные программы -- функціональні програми -- мышление функционального уровня -- мислення функціонального рівня -- линейные уравнения -- лінійні рівняння -- денотационная семантика -- денотаційна семантика -- неразделенные лямбда-абстракции -- нерозділені лямбда-абстракції -- комбинаторы -- комбінатори -- суперкомбинаторы -- суперкомбінатори -- логический анализ модулей -- логічний аналіз модулей -- описания вычислений -- опис обчислень
Анотація: Результаты в теоретическом и практическом программировании на основе применения идей и методов математической логики.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Захарьящев, М. В. \ред.\; Янов, Ю. И. \ред.\
Примірників всього: 2
ВВ (1), ФОНД (1)
Свободны: ВВ (1), ФОНД (1)
Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)