Бази даних

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

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

Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Віртуальна довідка (10)Тематичний інтернет-навігатор (2)Автореферати дисертацій (332)Реферативна база даних (3393)Книжкові видання та компакт-диски (1237)Журнали та продовжувані видання (16)
Пошуковий запит: (<.>K=ТЕКСТОВ$<.>+<.>K=ЛОГІКА$<.>)
Загальна кількість знайдених документів : 492
Представлено документи з 1 до 20
...

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

Валади, Д.
100% самоучитель. Linux [Електронний ресурс] : пер. с англ. / Д. Валади. - М. : Технолоджи - 3000, 2006. - 336 с.

Рубрики:

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


Если вы решили попробовать свои силы в загадочной системе Linux - то эта книга для вас. Автор - эксперт по Linux - постарался сделать так, чтобы вы освоили Linux, не останавливаясь на мелочах. Изложение ведется на основе небольших, тщательно подобранных примеров, сопровождающих все обсуждаемые темы - все очень быстро, наглядно и эффективно. Вы хотите быстро найти ответы на свои вопросы или шаблонные решения своих задач? Воспользуйтесь уникальным форматом книги, чтобы мгновенно получить ответ! Выбор дистрибутива Linux (Fedora, Mandrake, SuSE), инсталляция системы, работа с командной строкой и рабочими столами KDE, GNOME, подготовка текстов и электронных таблиц в OpenOffice, работа в Web и со средствами мультимедиа - вот далеко не полный список тем, которые вы сможете быстро и легко освоить, прочитав эту книгу.



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

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

Рачинский, С. А.
1001 задача для умственного счета [Електронний ресурс] / С. А. Рачинский. - М. : Физматлит, 2003. - 69 с.

Рубрики:

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




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

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


Белшоу, К.
12 ведущих философов современности [Електронний ресурс] / К. Белшоу, Г. Кэмп. - М. : АСТ, 2014. - 414 с.. - (Новая философия)

Рубрики:

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

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


Двенадцать влиятельных философов современности, каждый из которых считается ключевой фигурой в одном из направлений различных наук: логике, этике, политической философии и других областях, — знакомят читателя со своими теориями, от самых академичных до самых дерзких. Что же такое современная философия? В каких направлениях она развивается? Как воспринимают важнейшие темы философии ее корифеи наших дней? Какие ответы находят на вечные вопросы сейчас, в начале третьего тысячелетия? Перед вами — замечательная книга, которая открывает двери в мир основных направлений "царицы наук"…



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

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


Дьюдени, Г. Э.
200 знаменитых головоломок мира [Електронний ресурс] : пер. с англ. / Г. Э. Дьюдени. - М. : АСТ, 1999. - 252 с.

Рубрики:

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


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



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

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

Кралюк, Петро.
23 лютого: чи святкувати цей день [Електронний ресурс] : історія, міфи, стереотипи / П. Кралюк. - Л. : Сполом, 2004. - 64 с.

Рубрики:

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

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


Автор пропонує історичну розвідку, в якій з’ясовує як і чому з’явився міф “23 лютого”, якою була логіка його становлення та розвитку.



Кл.слова:
свята -- історичні міфи -- історія армії

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

Аленков, Ю. А.
650 головоломок и задач на сообразительность [Електронний ресурс] / Ю. А. Аленков. - М. : АСТ, 2005. - 285 с.

Рубрики:

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


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



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

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


Ad Marginem'93. Ежегодник Лаборатории постклассических исследований ИФ РАН [Електронний ресурс] / ред. Е. В. Петровская. - М. : Ad Marginem, 1994. - 423 с.. - (Философия по краям)

Рубрики:

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

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


Предлагаемый вниманию читателя ежегодник создавался усилиями разных людей, работавших в разное время. Но имеющих, как нам это представляется, некую общую направленность интереса и единство в способах его выражения. Всех этих людей на определенном этапе объединила принадлежность к одному подразделению (возникшему не случайно, в результате потребности самоопределиться) — Лаборатории постклассических исследований в философии Института философии РАН. Данный сборник является "лабораторным" по той причине, что многие из входящих в него текстов представлены как бы в своем становлении. Это не значит, что читателю предлагается "сырой материал", страдающий явной незавершенностью, — вовсе нет; это означает лишь, что целый ряд работ отражает тот путь, который их авторы проходят в своем размышлении. Поэтому хотя основные технические и редакционные усилия по подготовке настоящего издания и приходятся по большей части на прошлый год (о чем свидетельствует цифра 93 в его названии), все же вряд ли справедливо видеть в нем завершение одно-го-единственного годового цикла: ежегодник "Ad Marginem'93" — это ежегодник не только девяносто третьего, но и других, предшествовавших этому году лет, это след работы — как индивидуальной, так и совместной, — которая велась и раньше. Неудивительно поэтому, что круг проблем, исследуемых на страницах ежегодника, достаточно широк, что в какой-то мере зафиксировано в наименовании разделов. Так, столь разнородные по избранным сюжетам тексты, как статьи М. Ямпольского о визуальной репрезентации тела в эпоху Французской революции, работа В.Подороги, анализирующего психомиметический континуум у Достоевского, круглый стол, посвященный образам женского тела в рисунках В.Сальникова и фотографиях М.Михальчука и дополненный размышлениями В.Подороги по поводу фотофильмов последнего, - все эти тексты объединяет интерес к телесности как феномену восприятия. Раздел "Стенограммы" , в свою очередь, воспроизводит не столько состоявшиеся, хотя и не опубликованные ранее выступления - наряду с членами Лаборатории здесь представлены их иностранные коллеги Ж.-Л. Нанси и С. Бак­Морс, а также лекции о Прусте М.К.Мамардашвили, - сколько основные типы современного философствования (об уникальности философскогоопыта М.Мамардашвили рассуждает В.Подорога). До сих пор малоизвестные русскому читателю экспериментально-авангардные произведения Г.Стайн рассматриваются Е.ПетровскоЙ в разделе "Другая литература". "Архив сегодня" включает ряд признанных текcтoв современной французской философии (Ж.-Ф. Лиотар, Ж. Бодрийяр, Ж. Деррида), которые представляет читателю их переводчик А.Гараджа. Разнообразие тем - общие вопросы постмодернизма, совращение как ключевой термин для обозначения определенных перцептивных практик, анализ текстов Дж. Джойса - согласуется сопоставимостью подходов в рамках единого постструктуралистского течения. О своем общении с Ф. Гваттари вспоминает М. Рыклин в разделе, посвященном памяти философа. Здесь же приводится его перевод беседы К.Клеман с Ж.Делёзом и Ф.Гваттари. Реакцию на события научной и околонаучной жизни высказывают, каждый по-своему, О. Аронсон И М.Ямпольский в разделе под названием "Корреспоиденция". Этот раздел и завершает ежегодник.



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

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



Algebraic geometry [Electronic resource] : a problem solving approach / T. Garrity [et al.]. - New York : American Mathematical Society, 2008. - 405 p
Переклад назви: Алгебраїчна геометрія: підхід до вирішення проблеми

Рубрики:

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


Algebraic Geometry has been at the center of much of mathematics for hundreds of years. It is not an easy field to break into, despite its humble beginnings in the study of circles, ellipses, hyperbolas, and parabolas. This text consists of a series of exercises, plus some background information and explanations, starting with conics and ending with sheaves and cohomology. The first chapter on conics is appropriate for first-year college students (and many high school students). Chapter 2 leads the reader to an understanding of the basics of cubic curves, while Chapter 3 introduces higher degree curves. Both chapters are appropriate for people who have taken multivariable calculus and linear algebra. Chapters 4 and 5 introduce geometric objects of higher dimension than curves. Abstract algebra now plays a critical role, making a first course in abstract algebra necessary from this point on. The last chapter is on sheaves and cohomology, providing a hint of current work in algebraic geometry.



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

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

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.



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

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

Архангельский, А. Я.
C++ Builder 6 [Електронний ресурс] : справочное пособие : в 2 кн. / А. Я. Архангельский. - М. : Бином, 2002

Рубрики:

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

Кн. 1 : Язык C++. - 544 с.

Кн. 2 : Классы и компоненты. - 528 с.


В книге 1 представлены сведения по языку C++ в интегрированной системе разработки - C++Builder 6: все типы данных, синтаксис языка, все операции и операторы. Детально рассмотрена работа со строками разных типов, классами, с исключениями, массивами, с текстовыми и двоичными файлами, множествами, структурами. В книге содержится материал об обработке и генерации сообщений Windows. Рассмотрено около 650 функций С, C++, API Windows из них более 300 с детальным описанием и примерами. Рассиотрена стандартная библиотека шаблонов STL: все алгоритмы и функции-объекты, все типы контейнеров, итераторов. В книге 2 предоставляются справочные сведения по многим базовым классам и типам интегрированной среды разработки C++Builder.



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

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

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.



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

   Тип видання:   художня література   
12.
 


Пепперштейн, Павел.
Cвастика и Пентагон [Електронний ресурс] / Павел Пепперштейн. - М. : Ад Маргинем, 2006. -

Рубрики:

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

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


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



Кл.слова:
сучасна література -- російська література -- постмодернізм

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

Гофман, В.
Delphi. Быстрый старт [Електронний ресурс] / В. Гофман, А. Хоменко. - СПб. : БХВ-Петербург, 2003. - 288 с.

Рубрики:

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


В книге описываются интерфейс системы визуального программирования Delphi на основе 6-й версии, состав и характеристика элементов проекта дополнения, приемы программирования на бейсике Object Pascal. Рассматриваются визуальные компоненты, используемые для произведения интерфейса добавлений. Техника страды с текстовой сведений, кнопками и переключателями, а тоже формами, являющиmися центральной частью любимого дополнения. Творение меню. Даются понятия. Испщльзнамыа в теории баз данных; обсуждаются элементы реляционных баз данных и особенности их применения; описываются творение таблиц и дополнения баз данных, приемы работы с данными, накачка отчетов



Кл.слова:
візуальне програмування -- ооп

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

Wilson, Robin.
Lewis Carroll in Numberland [Electronic resource] : his fantastical mathematical logical life / Robin Wilson. - New York : W.W. Norton and Company, 2008. - 248 p
Переклад назви: Льюїс Керролл у Країні Чисел: його фантастичне математичне логічне життя

Рубрики:

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

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


Just when we thought we knew everything about Lewis Carroll, here comes a highly original biography that will appeal to Alice fans everywhere. Fascinated by the inner life of Charles Lutwidge Dodson, Robin Wilson, a Carroll scholar and a noted mathematics professor, has produced this revelatory book—filled with more than one hundred striking and often playful illustrations—that examines the many inspirations and sources for Carroll's fantastical writings, mathematical and otherwise. As Wilson demonstrates, Carroll—who published serious, if occasionally eccentric, works in the fields of geometry, logic, and algebra—made significant contributions to subjects as varied as voting patterns and the design of tennis tournaments, in the process creating imaginative recreational puzzles based on mathematical ideas. In the tradition of Sylvia Nasar's A Beautiful Mind and Andrew Hodges's Alan Turing, this is an engaging look at the incredible genius of one of mathematics' and literature's most enigmatic minds. 100 illustrations



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

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


Mathesis. Из истории античной науки и философии [Електронний ресурс]. - М. : Наука, 1991. - 256 с.

Рубрики:

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

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


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



Кл.слова:
філософська традиція

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


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.



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

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

Леонтьев, Ю.
Office Word 2003 [Електронний ресурс] / Ю. Леонтьев. - СПб : Питер, 2004. - 288 с.. - (Самоучитель)

Рубрики:

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


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



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

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

Краснов, М.
OpenGL в Delphi [Електронний ресурс] / М. Краснов. - [Б. м. : б. в.], [20_ _?]

Рубрики:

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


Эта книга посвящена компьютерной графике, а именно тому, как использовать OpenGL в Delphi. OpenGL - это стандартная библиотека для всех 32-разрядных операционных систем, в том числе и для операционной системы Windows. OpenGL - не отдельная программа, а часть операционной системы. Это означает, что откомпилированное приложение, использующее OpenGL, не нуждается ни в каких дополнительных программах и модулях, кроме стандартных, содержащихся на любом компьютере с установленной операционной системой Windows 95 версии OSR2 и выше. Вообще говоря, в этой книге идет речь о программировании приложений, использующих графический акселератор, однако все приводимые программы будут работать и на компьютере, не оснащенном ускорителем. Для программистов, использующих язык С, существует множество источников, из которых можно почерпнуть сведения о том, как использовать библиотеку OpenGL, для программистов же, работающих с Delphi, таких источников крайне мало. Данная книга призвана восполнить этот недостаток информации. В состав стандартной поставки Delphi (начиная с третьей версии) входит заголовочный файл, позволяющий строить приложения с использованием OpenGL, a также справочный файл по командам этой библиотеки. Однако инсталляция Delphi не снабжается ни одним примером по использованию OpenGL, a из файла справок новичку трудно понять, как это сделать. Поэтому основная цель книги - помочь программистам, в том числе и опытным, разобраться в этой теме. В свое время, когда я сам учился использовать OpenGL в проектах Delphi, никаких источников, кроме набора текстов программ на языке С из файла оперативной помощи, у меня не было, и начинал я с того, что просто переносил эти программы на Delphi. Такая практика оказалась весьма полезной. Поэтому многие примеры в книге представляют собой "перевод" свободно распространяемых программ, изначально написанных на С. В текстах модулей этих примеров я оставил указание на авторов исходных версий. В книге вы также встретите множество оригинальных программ. Кроме того, я по мере возможностей старался приводить и рекомендации профессионалов, содержащиеся в учебных программах пакета OpenGL SDK (Software Design Kit) и других учебных курсов, поскольку многие читатели не имеют возможности самостоятельно перенести эти программы на Delphi и, думаю, нуждаются в некоторой помощи. Книга задумывалась как учебник, которого мне когда-то не хватало, и именно такой я ее и написал, в соответствии со своим опытом и пристрастиями. Хотелось бы отметить следующие особенности книги.



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

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

Саврушев, Э. Ц.
P-CAD 2006. Руководство схемотехника, администратора библиотек, конструктора [Електронний ресурс] / Э. Ц. Саврушев. - Москва : Бином-Пресс, 2007. - 768 с.

Рубрики:

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


В книге изложена последовательность действий при автоматизированном проектировании электрических схем и печатных плат с использованием системы P-CAD 2006. Объясняется использование специализированных редакторов системы для создания библиотек символов, посадочных мест компонентов, и текстовых таблиц. Рассматриваются вопросы создания схем электрических принципиальных, задачи размещения корпусов компонентов на монтажно-коммутационном поле, ручной, интерактивной и автоматической трассировки электрических соединений. Обсуждаются приемы работы с программой для анализа наводок в топологии печатных плат и работа с утилитой, устанавливающей правила разработки проекта и размещения компонентов на печатной плате. Описаны возможности утилиты, автоматизирующей разработку эскизных чертежей и документации к ним в среде P-CAD. В приложениях приведены материалы, позволяющие облегчить работу пользователя при проектировании печатных плат. Книга предназначена для инженерно-технических работников, студентов технических университетов и других специалистов, применяющих в своей работе P-CAD при проектировании электронной аппаратуры.



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

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

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.



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

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