Бази даних

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

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

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

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

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

Рубрики:

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


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



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

   Тип видання:   науково-популярне видання   
2.

Пректер, Р. Р.
Волновой принцип Эллиота: ключ к поведению рынка [Електронний ресурс] / Р. Р. Пректер, А. Дж. Фрост. - М. : Альпина Бизнес Букс, 2001. - 268 с.

Рубрики:

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


В этой книге предпринята попытка показать правила и ценности, которые автор развил за последние 12 лет в процессе практического применения Волнового принципа Эллиотта к рынкам Форекс. Некоторые из этих открытий и правил, возможно, свойственны именно авторской интерпретации Волнового принципа Эллиотта, демонстрируя нам, что принципы и теории не являются незыблемыми и с течением времени непременно развиваются исходя из первоначальных концепций. Книга состоит из восьми частей. Часть I - общее введение в Волновой анализ Эллиотта и рынок Форекс. Здесь излагаются трудности и возможности, присущие волновому анализу. Также дана историческая справка. В Части II описываются основополагающие концепции Волнового анализа Эллиотта. В виде иллюстраций, которые легко сравнивать, даны основные структуры и их более распространенные вариации. Кроме того, показаны самые общие сочетания этих структур, найденные автором в результате анализа в реальном масштабе времени за последние двенадцать лет. Часть III полностью посвящена отклонениям от нормальных волновых взаимосвязей, как по отношениям, так и по форме. В виде никогда ранее не публиковавшихся иллюстраций приведены примеры замены простых структур сложными. В Части IV кратко изложены самые общие практические указания и наблюдения, которые должны пригодиться каждому новичку в волновом анализе. Концепции, изложенные в этой обширной коллекции указаний и комментариев, могут оказаться полезными и информативными даже для ветеранов волнового анализа. В Части V также имеются практические указания для волнового аналитика, который испытывает затруднения - особенно если он "застрял" в многочисленных сценариях и никак не может определить вероятные варианты. В Части VI изложен типичный План трейдинга по Волне Эллиотта, начиная с первых стадий традиционной пятиволновой последовательности и до ее окончательных коррекционных структур. Иллюстрируются различные оптимальные стратегии трейдинга. В Части VII приведены реальные примеры трейдинга, написанные автором. Ежедневные комментарии собраны в "дела", которыми можно пользоваться в применении к будущим событиям. В завершающей Части VIII изложены некоторые мысли о будущем волнового анализа, об исследованиях хаоса и беспорядка, а также о применении фракталов и рекурсивных структур. Обсуждаются некоторые недавние работы по нелинейной динамике.



Кл.слова:
трейд -- інвестиції -- фінанси

   Тип видання:   підручник   
3.

Андреева, Е. В.
Московские олимпиады по математике [Електронний ресурс] / Е. В. Андреева, В. М. Гуровиц, В. А. Матюхин. - М. : МЦНМО, 2006. - 256 с.

Рубрики:

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


Книга предназначена для школьников, учителей информатики, студентов и просто любителей решать задачи по программированию. В ней приведены задачи Московских олимпиад по информатике (командных, заочных и личных туров), начиная с 2002 года. Большинство задач приведены с подробными разборами и комментариями. Ко всем задачам прилагаются тесты для автоматической проверки их решений, которые можно найти на сайте www.olympiads.ru/books. Книга снабжена тематическим рубрикатором, в котором задачи упорядочены по темам и сложности. В качестве дополнительного материала читатель найдет в книге статьи о поиске в глубину и методе рекурсивного спуска, а также о том, зачем и как можно учить школьников программированию. Первое издание книги было опубликовано в 2006 г. В настоящее издание добавлены условия и решения задач олимпиад 2006-2009 г.



Кл.слова:
задача -- програмування

   Тип видання:   методичний посібник   
4.

Дунаев, В. В.
Базы данных. Язык SQL [Електронний ресурс] / В. В. Дунаев. - СПб. : БХВ-Петербург, 2006. - 288 с.

Рубрики:

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


Рассмотрен язык структурированных запросов для взаимодействия с базами данных — SQL, начиная с доступного изложения теории отношений (реляционной теории) и заканчивая вопросами администрирования СУБД с помощью запросов. На практических примерах подробно описаны основные конструкции языка, а также различные типы запросов: простые, сложные, рекурсивные. Показано, как осуществлять вычисления в запросах с помощью агрегатных функций и условных выражений. Рассмотрены операции над наборами записей, соединение таблиц, транзакции, хранимые процедуры и др. Уделено внимание администрированию СУБД с помощью запросов. Во втором издании добавлен материал по работе с базами данных посредством программ на языке РНР. Приведены задачи для самостоятельного решения. Для студентов и программистов.



Кл.слова:
запит -- СУБД -- мова програмування

   Тип видання:   підручник   
5.


Пособие по дактилоскопии [Електронний ресурс]. - М. : Издание ГУРКМ НКВД СССР, 1935. - 87 с.

Рубрики:

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




Кл.слова:
відбитки пальців -- криміналістика -- ідентифікація людини -- НКВС

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

Мадей, Н. М.
Проблема культурної ідентичності [Електронний ресурс] : курс лекцій / Н. М. Мадей. - [Б. м. : б. в.]. - 30 с.

Рубрики:

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




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

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

Смальян, Р.
Теория формальных систем [Електронний ресурс] / Р. Смальян. - М. : Наука, 1981. - 207 с.. - (Математическая логика и основания математики)

Рубрики:

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


В этой книге в систематической форме и, фактически, начиная с "азов", излагается обширный комплекс математических результатов, касающихся ряда фундаментальных понятий, предназначенных для точного описания и исследования формально-дедуктивного метода в математике и тесно связанного с этим методом понятия алгоритма.



Кл.слова:
рекурсивна функція -- креативність

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

Успенский, В. А.
Лекции о вычислимых функциях [Електронний ресурс] / В. А. Успенский. - М. : Гос. изд-во физико-математической литературы, 1960. - 492 с.. - (Математическая логика и основания математики)

Рубрики:

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


Понятия алгоритма и вычислимой функции являются одними из центральных понятий современной математики. Их роль в математике середины XX в. можно, пожалуй, сравнить с ролью понятия множества в математике конца XIX в. Настоящие «Лекции» посвящены изложению основ теории вычислимых функций (проводимому на базе принятого в настоящее время отождествления их — для случая" функций с натуральными аргументами и значениями — с частично-рекурсивными функциями), а также некоторым приложениям этой теории.



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

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

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

Рубрики:

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

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

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

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


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



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

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

Коэн, П. Дж.
Теория множеств и континуум-гипотеза [Електронний ресурс] : пер. с англ. / П. Дж. Коэн. - М. : Мир, 1969. - 347 с.

Рубрики:

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


В книге излагается доказательство независимости гипотезы континуума от остальных аксиом теории множеств— один из самых интересных и ярких результатов, полученных в математике за последнее десятилетие. Именно за этот результат ее автор, профессор Станфордского университета П. Коэн, был удостоен медали Филдса на последнем Международном конгрессе. математиков (Москва, 1966). Книга, несомненно, заинтересует широкий круг математиков, в первую очередь специалистов по теории множеств, математической логике и основаниям математики. Она будет полезна преподавателям, аспирантам и студентам старших курсов университетов и пединститутов.



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

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

Попов, А. И.
Введение в математическую логику [Електронний ресурс] / А. И. Попов. - Ленинград : Издательство Ленинградского университета, 1959. - 109 с.

Рубрики:

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


Работа профессора А. И. Попова является первой советской книгой, в которой даётся общий очерк математической логики. В книге дан краткий исторический обзор возникновения математической логики, популярно излагаются основные направления современной математической логики, особое внимание уделяется вопросу о соотношении математической и классической (формальной) логики, рассматривается место математической логики в системе научного познания. В работе указываются практические приложения математической логики как основы для конструирования и работы разнообразных "умных" и "думающих" машин. Книга рассчитана на научных работников, аспирантов, студентов и учителей средней школы, а также на широкие круги читателей, интересующихся философией, логикой и математикой.



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

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

Перетятькин, М. Г.
Конечно аксиоматизируемые теории [Електронний ресурс] / М. Г. Перетятькин. - Новосибирск : Научная книга, 1996. - 322 с.. - (Сибирская школа алгебры и логики)

Рубрики:

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


Описывается универсальная конструкция, осуществляющая сведение многих проблем для конечно аксиоматизируемых теорий к более простому случаю рекурсивно аксиоматизируемых теорий. Представлено компактное замкнутое изложение решения проблемы Ханфа и проблемы Воота — Морли. Даны аналоги теоремы Раиса для предложений, характеризация алгебры Линденбаума логики предикатов, классификация схожести теорий. Для интересующихся математической логикой.



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

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

Генкин, Л.
О математической индукции [Електронний ресурс] : пер. с англ. / Л. Генкин. - М. : Гос. изд-во физико-математической литературы, 1962. - 36 с.

Рубрики:

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


Эта работа, написанная Л. Генкиным для «Математического просвещения», не потребует от читателя никаких предварительных познаний. Неспециалист получит из нее верное представление о характере многих рассуждений современной теории моделей. Специалисту также интересно будет познакомиться с некоторыми свежими соображениями, относящимися к связи между теорией рекурсивных определений (т. е. определениями по индукции) и теорией моделей, изучение которой составляет предмет работы Генкина.



Кл.слова:
модель Пеано -- індукційна модель

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

Клини, С. К.
Введение в метаматематику [Електронний ресурс] / С. К. Клини. - М. : Изд-во Иностранной Литературы, 1957. - 526 с.

Рубрики:

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


Книга является самой обширной из имевшихся на момент её выхода в свет монографий по математической логике и теории рекурсивных функций. Она не предполагает со стороны читателя никаких специальных познаний и поэтому может считаться общедоступной. Книга предназначена для глубокого изучения предмета и рассчитана как на специалистов по математической логике и теории рекурсивных функций, так и на лиц, желающих впервые, но серьезно, изучить эти науки Имя одного из крупнейших современных специалистов в области математической логики С. К. Клини знакомо советскому читателю по русскому переводу его фундаментального труда "Введение в метаматематику" (ИЛ, 1957), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными, функциями и основаниями математики.



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

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

Морозов, А. Д.
Введение в теорию фракталов [Електронний ресурс] / А. Д. Морозов. - 2-е изд., доп.. - М. ; Ижевск : Институт компьютерных исследований, 2000. - 160 с.. - (Современная математика)

Рубрики:

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


Книга посвящена основам теории фракталов и состоит из двух частей и приложения. В первой части рассматриваются конструктивные фракталы, во второй - динамические, а в приложении приводится вспомогательный материал. Конструктивные фракталы строятся с помощью достаточно простой рекурсивной процедуры, имеют «тонкую» структуру, т.е. содержат произвольно малые масштабы, и обладают самоподобием. Подобные фрактальные множества слишком нерегулярны, чтобы быть описанными па традиционном геометрическом языке. Рассматриваются многочисленные примеры конструктивных фракталов (Кантора, Коха, Минковского, Серпинского, Леви и др.). Проводится их анализ на основе линейных преобразований и вычисления фрактальной размерности.



Кл.слова:
динамічна система -- топологія

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

Манин, Ю. И.
Введение в теорию чисел [Електронний ресурс] / Ю. И. Манин, А. А. Панчишкин. - М. : ВИНИТИ, 1990. - 350 с.. - (Соврем. пробл. мат)

Рубрики:

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


Предложен обзор современного состояния и тенденций развития различных областей теории чисел с единой точки зрения. Вместе с элементарными задачами и мотивировками, излагаются центральные идеи современных теорий: арифметика алгебраических чисел, вычисление их групп Галуа и некоммутативные обобщения теории полей классов, рекурсивная вычислимость и связь с диофантовыми уравнениями, алгебраическая геометрия, арифметика алгебраических многообразий, модулярных форм и теория дзета-функций. Приведены наиболее значительные результаты и методы последних лет. Дан обзор гипотез, указывающих на перспективы развития теории чисел, во многом основанные на аналогиях между числами и функциями и на связях со смежными разделами математики: анализом, теорией представлений, геометрией и алгебраической топологией.



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

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

Мальцев, А. И.
Алгоритмы и рекурсивные функции [Електронний ресурс] / А. И. Мальцев. - М. : Наука, 1986. - 368 с.

Рубрики:

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


Посвящается одному из актуальных и бурно развивающихся разделов математической логики - теории алгоритмов, а также важнейшим ее связям с другими разделами математики. Является одним из лучших пособий для знакомства с основными направлениями, идеями и методами теории алгоритмов. Для математиков различных специальностей: научных работников, аспирантов, студентов.



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

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

Клини, С. К.
Основания интуиционистской математики с точки зрения рекурсивных функций [Електронний ресурс] : пер. с англ. / С. К. Клини, Р. Ю. Весли. - М. : Наука, 1978. - 271 с.

Рубрики:

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




Кл.слова:
конструктивність -- інтуїціонізм

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

Баррон, Д.
Рекурсивные методы в программировании [Електронний ресурс] / Д. Баррон. - М. : Мир, 1974. - 81 с.. - (Математическое обеспечение ЭВМ)

Рубрики:

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


В книге излагаются рекурсивные методы программирования и демонстрируются возможности рекурсивного описания алгоритмов. Эти методы получают все большее распространение в практике программирования, и возможность их применения учитывается при разработке языков программирования и вычислительных машин. В книге показаны перспективы использования рекурсивных методов. Их удобство и эффективность демонстрируются на различных примерах. Книга будет полезна студентам, аспирантам и специалистам, занимающимся разработкой и подготовкой алгоритмов решения задач на вычислительных машинах.



Кл.слова:
програмування -- метод

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

Гильберт, Д.
Основания математики логические исчисления и формализация арифметики [Електронний ресурс] : пер. с нем. / Д. Гильберт, П. Бернайс. - М. : Наука, 1979. - 652 с.. - (Математическая логика и основания математики)

Рубрики:

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


Монография Д. Гильберта и П. Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики. Отличающаяся исключительной глубиной содержания и тщательностью изложения, монография Д. Гильберта и П. Бернайса пользуется большой популярностью среди специалистов.



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

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