![](/irbis64r_81/images/db_navy.gif) Віртуальна довідка ![](/irbis64r_81/images/db_navy.gif) Тематичний інтернет-навігатор ![](/irbis64r_81/images/db_navy.gif) Наукова електронна бібліотека ![](/irbis64r_81/images/db_navy.gif) Автореферати дисертацій ![](/irbis64r_81/images/db_navy.gif) Реферативна база даних ![](/irbis64r_81/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis64r_81/images/db_navy.gif) Журнали та продовжувані видання
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>A=ГУДСТЕЙН$<.>+<.>A=РЕЙБЕН$<.>+<.>A=ЛУИС$<.>) |
Загальна кількість знайдених документів : 2
Представлено документи з 1 до 2
|
| | Тип видання: наукове видання | | |
1. |
Гудстейн, Рейбен Луис. Рекурсивный математический анализ [Електронний ресурс] : пер. с англ. / Р. Л. Гудстейн. - М. : Наука, 1970. - 472 с.. - (Серия "Математическая логика и основания математики")
Рубрики:
Повний текст доступний у читальних залах НБУВ
В настоящее время интенсивно развивается конструктивное направление в математике, в частности, конструктивный математический анализ. Р. Л. Гудстейн является автором весьма интересного и своеобразного подхода к построению некоторых фрагментов конструктивного математического анализа. Этот подход существенно отличается (как по общему замыслу, так и по характеру центральных понятий) от подходов, использованных другими математиками; он тесно связан с введенным Гудстейном исчислением равенств, представляющим собой аксиоматический фрагмент теории рекурсивных арифметических функций, обладающий рядом важных достоинств. Аксиомы исчисления равенств и выводимые в этом исчислении объекты представляют собой формулы вида Т\ = Т2, где Тх и Т2 — функциональные выражения (термы), составляемые обычным способом из натуральных чисел, предметных переменных (допустимыми значениями которых считаются натуральные числа) и 'знаков примитивно рекурсивных функций*). При этом, если аи ..., а„ — список всех *) Примитивно рекурсивные функции (сокращенное название — п. р. функции) представляют собой алгорифмически определяемые арифметические функции одного частного, но (как было выяснено еще в первой трети текущего столетия) весьма важного и достаточного для очень многих целей типа. В этом параграфе функциональные выражения (термы) указанного выше типа называются примитивно рекурсивными термами (п. р. термами), а формулы вида Т\ = Т?, где Т\ и Т2 — п. р. термы, называются примитивно рекурсивными равенствами (п. р. равенствами).
Кл.слова: рекурсія -- рекурсивний аналіз
| | Тип видання: підручник | | |
2. |
Луис, Р. Система канбан [Електронний ресурс] : практические советы по разработке в условиях вашей компании. / Р. Луис. - М. : РИА "Стандарты и качество, 2008. - 216 с.. - (Бережливое управление)
Рубрики:
Повний текст доступний у читальних залах НБУВ
Основная цель книги — помочь специалистам, занятым практической разработкой системы канбан, включающей выбор методик, исходя из конкретных условий деятельности компании. Несмотря на существование разнообразных условий рабочей среды, в книге описываются наиболее часто встречающиеся варианты, для которых можно выбрать подходящую методику. Представлены рекомендации по решению основных вопросов, возникающих в ходе внедрения системы канбан, подробно рассказывается о каждом шаге процесса. Книга предназначена специалистам и руководителям предприятий, стремящимся повысить эффективность бизнеса в части улучшения системы управления цепочками поставок, складскими запасами через создание системы поставки по принципу «точно вовремя»
Кл.слова: бізнес -- підприємництво
| |
|
|