Бази даних

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

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

Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Автореферати дисертацій (28)Реферативна база даних (811)Книжкові видання та компакт-диски (773)Журнали та продовжувані видання (485)
Пошуковий запит: (<.>U=В12$<.>)
Загальна кількість знайдених документів : 249
Представлено документи з 1 до 20
...

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

Ljung, L.
Theory and practice of recursive identification [Electronic resource] / L. Ljung, T. Soederstroem. - Cambridge : The MIT Press, 1983. - 529 p.
Переклад назви: Теорія та практика рекурсивної ідентифікаії

Рубрики:

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


Methods of recursive identification deal with the problem of building mathematical models of signals and systems on-line, at the same time as data is being collected. Such methods, which are also known as adaptive algorithms or sequential parameter estimation methods, may be applied to a wide spectrum of online adaptive systems, such as devices for signal processing, prediction, or control and are useful for modeling systems in general. For example, they can be used to analyze the demand for power on an electric generating grid and help the grid adjust to continually changing power needs, or applied to the changing conditions of a papermaking plant, or to monitoring pollution in a river. This book provides a comprehensive and systematic framework for developing, describing, and analyzing such recursive algorithms. It has been carefully designed and organized to meet the needs of readers with different objectives. With a myriad of algorithms now in use, it provides a simple and coherent frame of reference for understanding the subject and will serve as a guide to the large number of choices made available by the advent of inexpensive, powerful digital processors.



Кл.слова:
рекурсивний алгоритм

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

Ljung, Lennart.
Theory and practice of recursive identification [Electronic resource] / Lennart Ljung, Torsten Soderstrom. - Cambridge : MIT Press, 1983. - 523 p.
Переклад назви: Теорія та практика рекурсивної ідентифікації

Рубрики:

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


Methods of recursive identification deal with the problem of building mathematical models of signals and systems on-line, at the same time as data is being collected. Such methods, which are also known as adaptive algorithms or sequential parameter estimation methods, may be applied to a wide spectrum of online adaptive systems, such as devices for signal processing, prediction, or control and are useful for modeling systems in general. For example, they can be used to analyze the demand for power on an electric generating grid and help the grid adjust to continually changing power needs, or applied to the changing conditions of a papermaking plant, or to monitoring pollution in a river. This book provides a comprehensive and systematic framework for developing, describing, and analyzing such recursive algorithms. It has been carefully designed and organized to meet the needs of readers with different objectives. With a myriad of algorithms now in use, it provides a simple and coherent frame of reference for understanding the subject and will serve as a guide to the large number of choices made available by the advent of inexpensive, powerful digital processors. Readers primarily interested in theory will find a detailed development of convergence analysis and asymptotic distribution results. For graduate students it is a basic introduction to the subject. And for engineers interested in practical applications, the book's earlier theory-oriented chapters are equipped with "user's summaries" that provide direct access to the discussion of practical aspects developed in the final three chapters on implementation and applications.



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

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


McGraw-Hill's Conquering LSAT Logic Games [Electronic resource]. - New York : McGRAW-HILL, 2008. - 198 p.
Переклад назви: McGraw-Hill Підкорюючи логічні ігри LSAT

Рубрики:

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


The LSAT's logic games section is anything but fun and games. These questions, which describe some situation involving six or seven people and then ask you, "If Chris is first in line, then who must be third?" or "If Anna sees the doctor on Monday, who sees the doctor on Tuesday?" strike terror into the hearts of many LSAT-takers. But if you're one of them, don't despair--you've found the expert help you're looking for. This unique guide has been prepared by experts you know you can trust: a team of Harvard Law School students who all scored in the 99th percentile on the LSAT! They'll show you how to handle every kind of logic game, how to diagram logical relationships, and how to use targeted logic tools to answer questions quickly and easily. Sequencing games, grouping games, mapping games--whatever the game type, you'll learn the techniques you need to solve most complex logic problem and find the correct answers.



Кл.слова:
гра -- логіка

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

Priest, G.
An introduction to non-classical logic [Electronic resource] : from if to is / G. Priest. - 2nd ed.. - New York : Cambridge University, 2008. - 648 p
Переклад назви: Вступ до некласичної логіки: від "якщо" до "є"

Рубрики:

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


This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area.



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

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

Williamson, S. G.
Combinatorics for computer science [Electronic resource] / S. G. Williamson. - Rockville : Computer Science Press, 1985. - 479 p.
Переклад назви: Комбінаторика для інформатики

Рубрики:

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




Кл.слова:
комп'ютер

   Тип видання:   зб. статей   
Категорія: Математика   
6.


φ-перетворення графів [Електронний ресурс] / відп. ред. М. П. Хоменко ; Національна академія наук України, Інститут математики. - К. : [б. в.], 1973. - 384 с.

Рубрики:

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


Вміщені в цьому збірнику роботи присвячено дослідженню топологічних та деяких суміжних з ними властивостей графів, головним чином різним питанням укладення графів в орієнтовні 2-многовиди та дослідженню структури графів, в першу чергу графів всіх класів одної класифікації, яка належить до запропонованої тут родини класифікацій графів.



Кл.слова:
теорія графів -- топологія -- хордове напинання

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

Абрамов, С. А.
Элементы программирования [Електронний ресурс] / С. А. Абрамов. - М. : Наука, 1982. - 96 с.. - (Популярные лекции по математике)

Рубрики:

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


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



Кл.слова:
алгоритм -- ЕОМ

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


Абчук, В. А.
Экономико-математические методы. Элементарная математика и логика. Методы исследования операций [Електронний ресурс] / В. А. Абчук. - СПб. : Союз, 1999. - 320 с.

Рубрики:

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


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



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

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

Айгнер, М.
Комбинаторная теория [Електронний ресурс] / М. Айгнер. - М. : Мир, 1982. - 558 с.

Рубрики:

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


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



Кл.слова:
упорядкована структура

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

Акимов, О. Е.
Дискретная математика: логика, группы, графы [Електронний ресурс] / О. Е. Акимов. - 2-е изд., доп.. - М. : Лаборатория Базовых Знаний, 2001. - 376 с.

Рубрики:

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


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



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

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

Алексеев, В. Б.
Дискретная математика (II семестр) [Електронний ресурс] / В. Б. Алексеев ; сост. А. Д. Поспелов. - М. : Изд-во МГУ, 2002. - 44 с.

Рубрики:

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


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



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

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


Алексеев, Владимир Евгеньевич.
Графы. Модели вычислений. Структуры данных [Електронний ресурс] : учебник / В. Е. Алексеев, В. А. Таланов. - Нижний Новгород : Изд-во ННГУ, 2005. - 307 с.

Рубрики:

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


Учебник состоит из трех частей, посвященных вопросам анализа и разработки алгоритмов: графы и алгоритмы, модели вычислений, структуры данных. Для понимания материала достаточно математической подготовки в объеме первого курса университета или технического вуза. Предназначен для студентов, обучающихся по направлению 510200 − Прикладная математика и информатика и по специальности 010200 − Прикладная математика и информатика.



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

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

Алферова, Зоя Васильевна.
Теория алгоритмов [Електронний ресурс] : учеб. пособие для студ. вузов / З. В. Алферова. - М. : Статистика, 1973. - 164 с.

Рубрики:

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


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



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

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

Аляев, Юрий Александрович.
Дискретная математика и математическая логика [Електронний ресурс] : учебник для вузов / Ю. А. Аляев, С. Ф. Тюрин. - М. : Финансы и статистика, 2006. - 368 с.

Рубрики:

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


Рассматриваются основные темы дискретной математики и математической логики: теория множеств, элементы комбинаторики, теория графов, теория переключательных функций и автоматов, теория кодирования, формальная логика, логические исчисления, формальные теории и теория алгоритмов, элементы теории нечетких множеств. Сложные вопросы математики рассматриваются на простых примерах. Большая часть материала снабжена методическими разработками авторов. Имеются задания для самостоятельной работы студентов. Для студентов вузов, обучающихся по специальностям «Прикладная информатика в экономике», «Экономика и управление на предприятии», а также для преподавателей.



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

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

Андерсон, Джеймс А..
Дискретная математика и комбинаторика [Електронний ресурс] / Джеймс А. Андерсон. - М. : Вильямс, 2004. - 960 с.

Рубрики:

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


Книга представляет собой современный учебник по дискретной математике. Кроме таких разделов, как математическая логика, теория множеств, комбинаторика, теория графов, теория алгоритмов и вычислений, традиционно включаемых в основной курс дискретной математики, она содержит обширные сведения по теории вероятностей, алгебре и теории чисел. Особое внимание уделено теории доказательств. Чтение книги требует некоторой математической культуры, хотя для изучения основных глав достаточно знаний по математике в объеме средней школы. Материал сопровождается многочисленными примерами, в конце каждого раздела приводится большое количество упражнений.Книга адресована в первую очередь преподавателям и студентам технических специальностей. Она будет также полезна тем, кто интересуется дискретной математикой и желает изучить ее самостоятельно.



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

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

Андрійчук, В. І.
Вступ до дискретної математики [Електронний ресурс] / В. І. Андрійчук, М. Я. Комарницький, Ю. Б. Іщук. - Л. : Видавничий центр ЛНУ ім. І. Франка, 2003. - 254 с.

Рубрики:

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


Розглянуто множини та відношення, натуральні числа та елементи комбінаторики, бульові алгебри, графи, автомати й алгоритми; деякі методи кодування та шифрування. Підібрано вправи до кожної теми. Для студентів молодших курсів університетів.



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

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

Архангельский, А. В.
Канторовская теория множеств [Електронний ресурс] / А. В. Архангельский. - М. : Изд-во МГУ, 1988. - 112 с.

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


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



Кл.слова:
ординал -- кардинальна арифметика

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

Асанов, М. О.
Дискретная математика: графы, матроиды, алгоритмы [Електронний ресурс] / М. О. Асанов, В. А. Баранский, В. В. Расин. - Ижевск : Регулярная и хаотическая динамика, 2001. - 288 с.

Рубрики:

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


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



Кл.слова:
теорія графів -- комп'ютерна математика

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

Асанов, Магаз Оразкимович.
Дискретная математика: графы, матроиды, алгоритмы [Електронний ресурс] : учебное пособие / М. О. Асанов, В. А. Баранский, В. В. Расин. - 2-е изд., испр. и доп.. - СПб. : Лань, 2010. - 368 с.. - (Учебники для вузов. Специальная литература)

Рубрики:

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


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



Кл.слова:
теорія графів -- комп'ютерна математика

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

Асеев, Георгий Георгиевич.
Дискретная математика [Електронний ресурс] : учебное пособие / Г. Г. Асеев, О. М. Абрамов, Д. Э. Ситников. - Ростов-на-Дону : Феникс ; Х. : Торсинг, 2003. - 144 с.

Рубрики:

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


В данном пособии значительное внимание уделено алгоритмическим методам при доказательствах теорем и решениях дискретных задач, методам математической логики, комбинаторному анализу и теории графов. Теоретический материал рассматривается на конкретных практических задачах и упражнениях. Материал пособия соответствует типовым программам высших учебных заведений стран СНГ, изучающих дискретную математику как фундаментальную основу многих естественных наук. Рассчитано на учащихся выпускных математических классов, студентов технических вузов и математических факультетов.



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

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