Бази даних

Наукова електронна бібліотека - результати пошуку

Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"

Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Автореферати дисертацій (3)Реферативна база даних (11)Книжкові видання та компакт-диски (1)
Пошуковий запит: (<.>K=РЕКУРСІЯ$<.>)
Загальна кількість знайдених документів : 5
Представлено документи з 1 до 5

   Тип видання:   наукове видання   
1.

Гудстейн, Рейбен Луис.
Рекурсивный математический анализ [Електронний ресурс] : пер. с англ. / Р. Л. Гудстейн. - М. : Наука, 1970. - 472 с.. - (Серия "Математическая логика и основания математики")

Рубрики:

  Повний текст доступний у читальних залах НБУВ


В настоящее время интенсивно развивается конструктивное направление в математике, в частности, конструктивный математический анализ. Р. Л. Гудстейн является автором весьма интересного и своеобразного подхода к построению некоторых фрагментов конструктивного математического анализа. Этот подход существенно отличается (как по общему замыслу, так и по характеру центральных понятий) от подходов, использованных другими математиками; он тесно связан с введенным Гудстейном исчислением равенств, представляющим собой аксиоматический фрагмент теории рекурсивных арифметических функций, обладающий рядом важных достоинств. Аксиомы исчисления равенств и выводимые в этом исчислении объекты представляют собой формулы вида Т\ = Т2, где Тх и Т2 — функциональные выражения (термы), составляемые обычным способом из натуральных чисел, предметных переменных (допустимыми значениями которых считаются натуральные числа) и 'знаков примитивно рекурсивных функций*). При этом, если аи ..., а„ — список всех *) Примитивно рекурсивные функции (сокращенное название — п. р. функции) представляют собой алгорифмически определяемые арифметические функции одного частного, но (как было выяснено еще в первой трети текущего столетия) весьма важного и достаточного для очень многих целей типа. В этом параграфе функциональные выражения (термы) указанного выше типа называются примитивно рекурсивными термами (п. р. термами), а формулы вида Т\ = Т?, где Т\ и Т2 — п. р. термы, называются примитивно рекурсивными равенствами (п. р. равенствами).



Кл.слова:
рекурсія -- рекурсивний аналіз

   Тип видання:   навчальний посібник   
2.

Морозов, М. Н.
Функциональное программирование [Електронний ресурс] : курс лекций / М. Н. Морозов. - [Б. м. : б. в.], 1999

Рубрики:

  Повний текст доступний у читальних залах НБУВ


Язык ЛИСП (LISP) был разработан в 1958 году американским ученым Джоном Маккарти как функциональный язык, пред- назначенный для обработки списков. ( LISt Processing). Lisp - означает "лепетать". С появлением этого языка машина стала пока лепетать, a не говорить по-человечески.



Кл.слова:
рекурсія -- базова функція -- програмне забезпечення

   Тип видання:   навчальний посібник   
3.


Иллюстрированный самоучитель по Delphi 7 для начинаюших [Електронний ресурс]. - [Б. м. : б. в.], [20_ _?]

Рубрики:

  Повний текст доступний у читальних залах НБУВ


В последнее время резко возрос интерес к программированию. Это связано с развитием и внедрением в повседневную жизнь информационно-коммуникационных технологий. Если человек имеет дело с компьютером, то рано или поздно у него возникает желание, а иногда и необходимость, программировать. Среди пользователей персональных компьютеров в настоящее время наиболее популярно семейство операционных систем Windows и, естественно, что тот, кто собирается программировать, стремится писать программы, которые будут работать в этих системах. Несколько лет назад рядовому программисту оставалось только мечтать о создании собственных программ, работающих в среде Windows, т. к. единственным средством разработки был Borland C++ for Windows, явно ориентированный на профессионалов, обладающих серьезными знаниями и опытом. Бурное развитие вычислительной техники, потребность в эффективных средствах разработки программного обеспечения привели к появлению систем программирования, ориентированных на так называемую "быструю разработку", среди которых можно выделить Borland Delphi и Microsoft Visual Basic. В основе систем быстрой разработки (RAD-систем, Rapid Application Development — среда быстрой разработки приложений) лежит технология визуального проектирования и событийного программирования, суть которой заключается в том, что среда разработки берет на себя большую часть рутинной работы, оставляя программисту работу по конструированию диалоговых окон и функций обработки событий. Производительность программиста при использовании RAD-систем -фантастическая! Delphi — это среда быстрой разработки, в которой в качестве языка программирования используется язык Delphi. Язык Delphi — строго типизированный объектно-ориентированный язык, в основе которого лежит хорошо знакомый программистам Object Pascal. В настоящее время программистам стала доступна очередная версия пакета Delphi - Borland Delphi 7 Studio. Как и предыдущие версии, Borland Delphi 7 Studio позволяет создавать самые различные программы: от простейших однооконных приложений до программ управления распределенными базами. В состав пакета включены разнообразные утилиты, обеспечивающие работу с базами данных, XML-документами, создание справочной системы, решение других задач. Отличительной особенностью седьмой версии является поддержка технологии .NET. Borland Delphi 7 Studio может работать в среде операционных систем от Windows 98 до Windows XP. Особых требований, по современным меркам, к ресурсам компьютера пакет не предъявляет: процессор должен быть типа Pentium или Celeron с тактовой частотой не ниже 166 МГц (рекомендуется Pentium II 400 МГц), оперативной памяти - 128 Мбайт (рекомендуется 256 Мбайт), достаточное количество свободного дискового пространства (для полной установки версии Enterprise необходимо приблизительно 475 Мбайт).



Кл.слова:
мова програмування -- розробка ПЗ -- база даних -- рекурсія

   Тип видання:   підручник   
Категорія: Математика   
4.

Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Електронний ресурс] / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 1999-2000

Рубрики:

  Повний текст доступний у читальних залах НБУВ

Ч. 1 : Начало теории множеств. - 1999. - 128 с.

Ч. 3 : Вычислимые функции. - 1999. - 176 с.

Языки и исчисления. - 2000. - 291 с.


Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов. Книга включает себя около 90 задач различной трудности.



Кл.слова:
математична логіка -- теорія алгоритмів -- рекурсія

   Тип видання:   навчальний посібник   
Категорія: Математика   
5.

Пойа, Дж.
Математическое открытие [Електронний ресурс] / Дж. Пойа. - [Б. м. : б. в.], 1970. - 452 с.

Рубрики:

  Повний текст доступний у читальних залах НБУВ


Процесс решения задачи представляет собой поиск выхода из затруднения или пути обхода препятствия,— это процесс достижения цели, которая первоначально не кажется сразу доступной. Решение задач является специфической особенностью интеллекта, а интеллект — это особый дар человека; поэтому решение задач может рассматриваться как одно из самых характерных проявлений человеческой деятельности. Цель настоящей книги состоит в том, чтобы разобраться в характере этой деятельности, найти средства для развития соответствующих способностей читателя и, в конечном счете, научить его лучше решать задачи.



Кл.слова:
метод Декарта -- рекурсія
 

Всі права захищені © Національна бібліотека України імені В. І. Вернадського