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

Про нас

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

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

Бази даних

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

Вид пошуку

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

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

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

Зона пошуку

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

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

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

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

Форма документа : Однотомне видання
Шифр видання : 510.6:004.41/М34
Назва : Математическая логика в программировании : пер. с англ.
Вихідні дані : Москва: Мир, 1991
Кільк.характеристики :408 с.: рис.
Серія: Математическое обеспечение ЭВМ
Примітки : Лит.: с. 395-407
ISBN, Ціна 5-03-001635-X: 7.00 крб
УДК : 510.6:004.41
ББК : 32.973.2-018
Предметні рубрики: Програмування-- Математична логіка-- Теорія-- Практика
Географіч. рубрики:
Ключові слова (''Вільн.індекс.''): функциональные программы--функціональні програми--мышление функционального уровня--мислення функціонального рівня--линейные уравнения--лінійні рівняння--денотационная семантика--денотаційна семантика--неразделенные лямбда-абстракции--нерозділені лямбда-абстракції--комбинаторы--комбінатори--суперкомбинаторы--суперкомбінатори--логический анализ модулей--логічний аналіз модулей--описания вычислений--опис обчислень
Анотація: Результаты в теоретическом и практическом программировании на основе применения идей и методов математической логики.
Примірники : всього : ВВ(1), ФОНД(1)
Вільні : ВВ(1), ФОНД(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 510/Э62
Автор(и) : Энегелер, Эрвин
Назва : Математика элементарной математики
Паралельн. назви :Metamathematik der Elementarmathematik/ E. Engeler
Вихідні дані : М.: Мир, 1987
Кільк.характеристики :128 с.: рис.
Примітки : Указ. имен: с. 123-124. - Предм. указ.: с. 125-126
Ціна : 0.50 р.
УДК : 510
ББК : 22.10
Предметні рубрики: Математика-- Елементарна математика
Ключові слова (''Вільн.індекс.''): математика--элементарная математика--континуум--геометрия--геометрія--алгоритмика--алгоритміка--вещественные числа--дійсні числа--анализ--аналіз--пространство--простір--геометрические построения--геометричні побудови--вычислимость--вичислимість--комбинаторы--комбінатори--комбинаторная логика--комбінаторна логіка--математическая логика--математична логіка--аксиоматика геометрии--аксіоматика геометрії--алгоритм
Анотація: Книга рассчитана на лиц, желающих получить общее представление о современных взглядах на основания математики и о некоторых разделах математической логики.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

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