Бази даних

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

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

Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Автореферати дисертацій (657)Реферативна база даних (874)Книжкові видання та компакт-диски (81)Журнали та продовжувані видання (13)
Пошуковий запит: (<.>K=LOGIC$<.>)
Загальна кількість знайдених документів : 60
Представлено документи з 1 до 20
...

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

Штовба, Сергей Дмитриевич.
Проектирование нечетких систем средствами MATLAB [Електронний ресурс] / С. Д. Штовба. - М. : Горячая линия - Телеком, 2007. - 288 с.

Рубрики:

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


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



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

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

Corey, E. J.
The Logic of Chemical Synthesis [Electronic resource] / E. J. Corey, X.-M. Chelg. - New York : John Wiley & Sons, 1995. - 462 p.
Переклад назви: Логіка хімічного синтезу

Рубрики:

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


This book provides a detailed description of the general principles and strategies for solving chemical synthesis problems of complex organic molecules. It is the only book to deal systematically with the fundamental principles of synthetic problem solving.



Кл.слова:
хімія

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

House, J. E.
Fundamentals of Quantum Chemistry [Electronic resource] / J. E. House. - 2nd. ed.. - Amsterdam : Elsevier academic press, 2004. - 304 p.
Переклад назви: Основи квантової хімії

Рубрики:

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


James House's revised Principles of Chemical Kinetics provides a clear and logical description of chemical kinetics in a manner unlike any other book of its kind. Clearly written with detailed derivations, the text allows students to move rapidly from theoretical concepts of rates of reaction to concrete applications. Unlike other texts, House presents a balanced treatment of kinetic reactions in gas, solution, and solid states. The entire text has been revised and includes many new sections and an additional chapter on applications of kinetics. The topics covered include quantitative relationships between molecular structure and chemical activity, organic/inorganic chemistry, biochemical kinetics, surface kinetics and reaction mechanisms. Chapters also include new problems, with answers to selected questions, to test the reader's understanding of each area. A solutions manual with answers to all questions is available for instructors. A useful text for both students and interested readers alike, Dr. House has once again written a comprehensive text simply explaining an otherwise complicated subject.



Кл.слова:
Рівняння Шредінгера -- квантова хімія

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

House, J. E.
Principles of Chemical Kinetics [Electronic resource] / J. E. House. - 2nd. ed.. - Amsterdam : Elsevier Academic Press, 2007. - 326 p.
Переклад назви: Елементи хімічної кінетіки

Рубрики:

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


James House's revised Principles of Chemical Kinetics provides a clear and logical description of chemical kinetics in a manner unlike any other book of its kind. Clearly written with detailed derivations, the text allows students to move rapidly from theoretical concepts of rates of reaction to concrete applications. Unlike other texts, House presents a balanced treatment of kinetic reactions in gas, solution, and solid states. The entire text has been revised and includes many new sections and an additional chapter on applications of kinetics. The topics covered include quantitative relationships between molecular structure and chemical activity, organic/inorganic chemistry, biochemical kinetics, surface kinetics and reaction mechanisms. Chapters also include new problems, with answers to selected questions, to test the reader's understanding of each area. A solutions manual with answers to all questions is available for instructors. A useful text for both students and interested readers alike, Dr. House has once again written a comprehensive text simply explaining an otherwise complicated subject.



Кл.слова:
хімічна реакція

   Тип видання:   енциклопедія   
5.

MacGregor, E. A.
Encyclopedia of physical science and technology [Electronic resource] : in 19 vol. / R.A. Meyers. - Philadelphia : Academic Press, 2001
Переклад назви: Енциклопедія фізичної науки і технології

Рубрики:

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

Aeronautics. - 227 p.

Astronomy. - 353 p.

Atmospheric Science. - 395 p.

Atomic and Molecular Physics. - 276 p.

Biochemistry. - 220 p.

Biotechnology. - 298 p.

Chemical Engineering. - 547 p.

Computer Software. - 349 p.

Condensed Matter. - 495 p.

Earth Sciences. - 265 p.

Elementary Particles and Fields. - 187 p.

Energy. - 297 p.

Environmental Science. - 290 p.

Inorganic Chemistry. - 398 p.

Lasers and Masers. - 245 p.

Materials. - 313 p.

Mathematics. - 1051 p.

Measurements, Techniques, and Instrumentation. - 367 p.

Molecular Biology. - 110 p.

Optics. - 344 p.

Organic Chemistry. - 312 p.

Plasma Physics. - 83 p.

Polymers. - 339 p.

Quantum Physics. - 228 p.

Solar System. - 251 p.

Chemical Kinetics, Experimentation. - 379 p.

Cluster Computing. - 105 p.

Stars and Stellar Systems. - 229 p.


Although almost a decade has passed since the second edition of this work was published, this encyclopedia's reputation as a high-quality scholarly work has not diminished. Guided by an advisory board comprising leading researchers (including eight Nobel laureates), editor in chief Meyers (Ramtech, Inc.) used a peer review process that produced over 780 articles written by experts. The coverage in this third edition has expanded to include molecular biology, biochemistry, and biotechnology. The decision to eliminate articles on military technology contributed to the deletion of about 200 articles; however, nearly 300 articles were added to cover new topics such as molecular electronics, nanostructured materials, tissue engineering, superstring theory, and the World Wide Web. The remaining articles were either updated or rewritten. Averaging 17-18 pages in length, the well-written articles present detailed information in a logical, organized manner. All follow a basic format: outline, glossary, defining statement, main body, cross references, and bibliography. A separate volume contains a list of contents by broad subject area, a relational index with groupings of connected articles, and the traditional subject index. The 20-volume McGraw-Hill Encyclopedia of Science & Technology (LJ 9/1/97) focuses on a broader range of scientific disciplines and a broader audience, so its articles are generally shorter and less detailed. With an intended audience of scientists and engineers and an emphasis on the physical sciences and technology, this encyclopedia aims to provide in-depth, authoritative coverage without limiting the mathematical treatment to algebra. This is an excellent source for students and researchers needing an overview of a particular subject. Highly recommended for academic and other types of libraries with significant science/technology collections. Teresa Berry, Univ. of Tennessee Libs., Knoxville



Кл.слова:
біотехнологія -- біохімія -- енергія

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

Petersen, R.
Red Hat Linux [Electronic resource] : pocket Administrator / R. Petersen, I. Haddad. - New York : The MCGraw-Hill, 2003. - 274 p.

Рубрики:

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


This handy resource offers busy network administrators clear and concise information for daily on-the-job tasks—all in a portable format. Key management tasks are presented in logically organized sections, with special emphasis on system administration. You'll get details on file, print, application, mail, terminal, streaming media, and remote servers—and much more.



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

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

Вітгенштайн, Л.
Філософські дослідження [Електронний ресурс] / Л. Вітгенштайн. - К. : Основи, 1995. - 311 с.

Рубрики:

Географічні рубрики:

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


До книжки ввійшли дві головні праці видатного австрійського філософа Людвіга Вітгенштайна (1889—1951). Перша з них, «Tractatus Logico-Philosophicus», дає нове поняття філософії як відмови від будь-якої форми системної побудови і визначає її мету як логічне пояснення думок. Вихідний пункт цих ідей — міркування, що сучасний світ є вже не світом речей, а світом фактів у логічному просторі. У другій праці «Філософські дослідження» стисло викладено думки про філософію мови, багатство і оригінальність яких справили великий вплив на сучасне західноєвропейське мислення і визначили нові напрямки в модерній лінгвістиці. Ще більше значення має ця праця як модель філософського методу.



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

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

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.



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

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

Dueck, R.
Digital design with CPLD applicatios and WHDL [Electronic resource] / R. Dueck. - New York : Thomson Delmar Learning, 2000. - 840 p.
Переклад назви: Цифровий Дизайн з CPLD Програмами та VHDL

Рубрики:

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


Ideal for a first course in digital electronics, yet comprehensive enough for use by students at the senior design project level and EET professionals, Digital Design with CPLD Applications and VHDL uses programmable logic as the primary vehicle for instructing readers in the principles of digital design. More specifically, emphasis is on Complex Programmable Logic Devices (CPLDs) and the software tools used for their programming, with a decided shift away from fixed-function SSI and MSI devices. Immediately following discussion of digital fundamentals (e.g., Boolean algebra, logic minimization, combinational and sequential circuits), Digital Design with CPLD Applications and VHDL introduces its readers to Complex Programmable Logic Devices (CPLDs). Subsequent chapters on the MAX+PLUS II design environment, combinational logic functions, arithmetic circuits, latches and flip-flops, PLD architecture, counters and shift registers, and state machines are all based primarily on CPLDs and VHDL programming. By featuring VHDL and MAX+PLUS II applications throughout the book, readers are guaranteed exposure to this new digital paradigm as an integral part of their training, rather than as an optional add-on. Digital Design with CPLD Applications and VHDL also includes a CD-ROM that provides the reader with a complete digital design and prototyping system that can be used at school…or at home. Included are graphic design files, VHDL files, plus all of the simulation files from the examples presented in the book. Readers may opt to run simulations or program CPLDs with these ready-to-use, error-free files. Or, they may choose to use the files as templates for their own modifications.



Кл.слова:
CASE засіб

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

Kilian, C. T.
Modern control technology [Electronic resource] : components and systems / C. T. Kilian. - 2nd. ed.. - New York : Delmar, 2000. - 636 p.

Рубрики:

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


An introduction to automatic control systems and components that is both comprehensive and up-to-date. Logically organized, this book takes the reader on a journey through a control system. Each chapter examines a different functional part, followed by discussion of control units and control strategies that serves to put these parts together in a full-function control system.



Кл.слова:
керування

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

Круглов, В. В.
Нечеткая логика и искусственные нейронные сети [Електронний ресурс] / В. В. Круглов, М. И. Дли, Р. Ю. Голубов. - М. : Физматлит, 2001. - 221 с.

Рубрики:

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


Книга посвящена систематическому изложению теории искусственных нейронных сетей, аппарату нечеткой логики и так называемым гибридным нейронным сетям. Показана связь между моделями трех указанных направлений и их применение к задачам управления и принятия решений. Рассмотрена пpограммная реализация данных моделей с помощью инструментальных средств математической системы MATLAB 5.2/5.3 - пакетов Neural Networks Toolbox (нейронные сети) и Fuzzy Logic Toolbox (пакет нечеткой логики).



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

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

Wong, M. L.
Data mining using grammar based genetic programming and applications [Electronic resource] / M. L. Wong, K. S. Leung. - New York : Kluwer Academic Publishers, 2002. - 213 p.
Переклад назви: Використання видобутку даних граматики на основі генетичного програмування та додатки

Рубрики:

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


Data mining involves the non-trivial extraction of implicit, previously unknown, and potentially useful information from databases. Genetic Programming (GP) and Inductive Logic Programming (ILP) are two of the approaches for data mining. This book first sets the necessary backgrounds for the reader, including an overview of data mining, evolutionary algorithms and inductive logic programming. It then describes a framework, called GGP (Generic Genetic Programming), that integrates GP and ILP based on a formalism of logic grammars. The formalism is powerful enough to represent context- sensitive information and domain-dependent knowledge. This knowledge can be used to accelerate the learning speed and/or improve the quality of the knowledge induced. A grammar-based genetic programming system called LOGENPRO (The LOGic grammar based GENetic PROgramming system) is detailed and tested on many problems in data mining. It is found that LOGENPRO outperforms some ILP systems. We have also illustrated how to apply LOGENPRO to emulate Automatically Defined Functions (ADFs) to discover problem representation primitives automatically. By employing various knowledge about the problem being solved, LOGENPRO can find a solution much faster than ADFs and the computation required by LOGENPRO is much smaller than that of ADFs. Moreover, LOGENPRO can emulate the effects of Strongly Type Genetic Programming and ADFs simultaneously and effortlessly. Data Mining Using Grammar Based Genetic Programming and Applications is appropriate for researchers, practitioners and clinicians interested in genetic programming, data mining, and the extraction of data from databases.



Кл.слова:
програмування -- видобуток даних

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

Lo, B.
Russian foreign policy in the post-Soviet era [Electronic resource] : reality, illusion and mythmaking / B. Lo. - New York : Palgrave Macmillan, 2002. - 224 p
Переклад назви: Зовнішня політика Росії в пострадянську епоху: реальність, ілюзії і міфотворчість

Рубрики:

Географічні рубрики:

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


This book sets out to explain the complex nature of Russian foreign policy in the post-Soviet era, from the collapse of the USSR in December 1991 and the accession of Boris Yeltsin to the end of Vladimir Putin’s second year as President of the Russian Federation. The tale narrated in the coming pages is a messy one, beset by innumerable contradictions and flavoured by human personality to an uncommon degree. When Winston Churchill speculated that the key to understanding Russia might be ‘national interest’, he could little have imagined the extent to which, more than half a century later, the foreign policy of the largest of the post-Soviet successor states would so reflect the perversity of human nature. Far from exhibiting an underlying if specific pragmatism, Moscow’s relations with the outside world have been liberally streaked with irrationality – at least as we might understand it in the West – and dominated by fundamental dichotomies: continuity and change, consensus and conflict. Easy assumptions about a broader ‘national interest’ and common priorities have been challenged by the politics of sectionalism and personalities, with rationality and logic acquiring multiple, contradictory forms. We enter a realm of smoke and mirrors in which little is as it seems, and where illusion and mythmaking are as much a part of reality as ‘reality’ itself.



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

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

Hubbard, J. R.
Theory and problems of fundamentals of computing with C++ [Electronic resource] / J. R. Hubbard. - New York : McGRAW-HILL, 1998. - 356 p. - (Schaum's outline)
Переклад назви: Теорія і основні проблеми обчислень з C++

Рубрики:

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


This powerful study tool is the best tutor you can have if you want top grades and thorough understanding of the fundamentals of computing with C++, the computing language taught at 83% of all colleges. This student-friendly study guide leads you step-by-step through the entire computer science course, giving you 420 problems with fully worked solutions and easy-to-follow examples for every new topic. You get complete explanations of data abstraction, recursion, Standard C++ container classes, searching, sorting algorithms, and other complex concepts, simplified and illustrated so they're easy to grasp. You also get additional practice problems to solve on your own, working at your own speed. This superb study guide covers the entire course, from logic to libraries. If you're taking introduction to computer science, this book will be your best friend. It's perfect for independent study, too!



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

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

Parker, A.
Algorithms and data structures in C++ [Electronic resource] / A. Parker. - Boca Raton : CRC Press, 1993
Переклад назви: Алгоритми та структури даних в С++

Рубрики:

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


This text is designed for an introductory quarter or semester course in algorithms and data structures for students in engineering and computer science. It will also serve as a reference text for programmers in C++. The book presents algorithms and data structures with heavy emphasis on C++. Every C++ program presented is a stand-alone program. Except as noted, all of the programs in the book have been compiled and executed on multiple platforms. When used in a course, the students should have access to C++ reference manuals for their particular programming environment. The instructor of the course should strive to describe to the students every line of each program. The prerequisite knowledge for this course should be a minimal understanding of digital logic. A high-level programming language is desirable but not required for more advanced students. The study of algorithms is a massive field and no single text can do justice to every intricacy or application. The philosophy in this text is to choose an appropriate subset which exercises the unique and more modern aspects of the C++ programming language while providing a stimulating introduction to realistic problems. I close with special thanks to my friend and colleague, Jeffrey H. Kulick, for his contributions to this manuscript.



Кл.слова:
програмування

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


MCSE training kit [Electronic resource] : upgrading to Microsoft Windows 2000. - Redmond : Microsoft Press, 2000. - 444 p.
Переклад назви: MCSE комплект навчання: оновлення до Microsoft Windows 2000

Рубрики:

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


Welcome to Upgrading to Microsoft Windows 2000 Training Kit. This kit introduces you to the Windows 2000 family of products, prepares you to install the Windows 2000 software, and prepares you to upgrade your Microsoft Windows NT 4.0 network to a Windows 2000 network. This kit concentrates on Windows 2000 Server and on Transmission Control Protocol/Internet Protocol (TCP/IP), the network protocol of choice for Windows 2000. It also emphasizes the Domain Name System (DNS), which is an Internet and TCP/IP standard name service and required for Windows 2000 domains and directory services based on Active Directory technology. Active Directory directory services integrate the Internet concept of a namespace with Windows 2000 directory services. Active Directory directory services use DNS as the domain naming and location service, so Windows 2000 domain names are also DNS names. In fact, the core unit of logical structure in Active Directory directory services is the domain. In this kit, you will learn how to install, navigate, and administer the Windows 2000 Active Directory directory services.



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

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

Thorsteinson, P.
.NET security and cryptography [Electronic resource] / P. Thorsteinson, G. G. A. Ganesh. - Upper Saddle River : Prentice Hall PTR, 2003. - 496 p.

Рубрики:

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


Security and cryptography, while always an essential part of the computing industry, have seen their importance increase greatly in the last several years. Microsoft's .NET Framework provides developers with a powerful new set of tools to make their applications secure. .NET Security and Cryptography is a practical and comprehensive guide to implementing both the security and the cryptography features found in the .NET platform. The authors provide numerous clear and focused examples in both C# and Visual Basic .NET, as well as detailed commentary on how the code works. They cover topics in a logical sequence and context, where they are most relevant and most easily understood.



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

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

Shinder, T. W.
Dr. Tom Shinder's configuring ISA Server 2004 [Electronic resource] / T. W. Shinder, D. L. Shinder. - Burlington : Syngress Publishing, 2005. - 1022 p.
Переклад назви: Налаштування ISA Server 2004

Рубрики:

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


This clear, logical text provides you with unparalleled information on installing, configuring, and troubleshooting ISA Server 2004 by teaching you to create a supporting infrastructure, automate client provisioning, troubleshoot upgrade issues and more.



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

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

Halpern, J. Y.
Reasoning about uncertainty [Electronic resource] / J. Y. Halpern. - Cambridge : The MIT Press, 2003. - 483 p.
Переклад назви: Міркування про невизначеність

Рубрики:

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


With an emphasis on the philosophy,this text examines formal ways of representing uncertainty (presented in terms of definitions and theorems) and considers various logics for reasoning about it.



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

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

Rao, V. B.
C++ Neural networks and fuzzy logic [Electronic resource] / V. B. Rao. - [S. l.] : M&T Books, 1995. - 549 p.
Переклад назви: C++ нейронні мережі та нечітка логіка

Рубрики:

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


The number of models available in neural network literature is quite large. Very often the treatment is mathematical and complex. This book provides illustrative examples in C++ that the reader can use as a basis for further experimentation. A key to learning about neural networks to appreciate their inner workings is to experiment. Neural networks, in the end, are fun to learn about and discover. Although the language for description used is C++, you will not find extensive class libraries in this book. With the exception of the backpropagation simulator, you will find fairly simple example programs for many different neural network architectures and paradigms. Since backpropagation is widely used and also easy to tame, a simulator is provided with the capacity to handle large input data sets. You use the simulator in one of the chapters in this book to solve a financial forecasting problem. You will find ample room to expand and experiment with the code presented in this book.



Кл.слова:
мова програмування
...
 

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