Бази даних

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

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

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

   Тип видання:   зб. статей   
1.


Эстетика: Вчера. Сегодня. Всегда [Електронний ресурс] : ежегодник / отв. ред. В. В. Бычков, Н. Б. Маньковская. - М. : ИФ РАН, 2005-2008

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

Вып. 1. - 2005. - 238 с.

Вып. 2. - 2006. - 239 с.

Вып. 3. - 2008. - 247 с.


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



Кл.слова:
історія -- цивілізація

   Тип видання:   хрестоматія   
2.


Эстетика и теория искусства ХХ века [Електронний ресурс] : хрестоматия / отв. ред.: Н. А. Хренов, А. С. Мигунов. - М. : Прогресс-Традиция, 2007. - 688 с.

Рубрики:

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


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



Кл.слова:
теорія мистецтва -- філософія мистецтва

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

Гегель, Г. В. Ф.
Энциклопедия философских наук [Електронний ресурс] : в 3 т. / Г. В. Ф. Гегель. - М. : Мысль, 1974-1977. - (Философское наследие)

Рубрики:

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

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

Т. 1 : Наука логики. - 1974. - 452 с.

Т. 1 : Наука логики. - 1974. - 452 с.

Т. 2 : Философия природы. - 1975. - 695 с.

Т. 2 : Философия природы. - 1975. - 695 с.

Т. 3 : Философия духа. - 1977. - 471 с.

Т. 3 : Философия духа. - 1977. - 471 с.


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



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

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

Гегель, Г. В. Ф.
Энциклопедия философских наук [Електронний ресурс] : в 3 ч. / Г. В. Ф. Гегель ; Институт К. Маркса и Ф. Энгельса. - Москва : [б. в.], 1929. - (Философское наследие)

Рубрики:

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

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

Ч. 1 : Логика. - 1929. - 473 с.


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



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

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

Рыжов, А. П.
Элементы теории нечётких множеств и её приложений [Електронний ресурс] / А. П. Рыжов. - М. : [б. в.], 2003. - 81 с.

Рубрики:

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




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

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

Пензов, Ю. Е.
Элементы математической логики и теории множеств [Електронний ресурс] / Ю. Е. Пензов. - Саратов : Изд-во Саратовского ун-та, 1968. - 143 с.

Рубрики:

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


Настоящая книга является обработкой лекций, которые автор читал в Саратовском университете в 1962-66 гг. В параграфе 1 вводятся основные понятия теории множеств. В параграфах 2 и 3 излагаются элементы содержательного исчисления высказываний и предикатов. Содержательное исчисление предикатов представляет наибольшие трудности, этот раздел занимает в книге значительное место. Формальное исчисление высказываний и предикатов не затрагивается. В параграфах 4 и 5 логика предикатов применяется для построения начал алгебры подмножеств и теории бинарных отношений. В 6-ом на основе теории бинарных отношений излагаются начальные сведения по теории отображений и преобразований множеств.



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

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


Кутасов, А. Д.
Элементы математической логики [Електронний ресурс] : пособие для учащихся 9-10 классов / А. Д. Кутасов. - М. : Просвещение, 1977. - 63 с.

Рубрики:

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


Настоящее пособие предназначено в первую очередь ученикам IX—X классов средней общеобразовательной школы, интересующимся математикой. Учителя математики также найдут в нем материал, который смогут использовать в своей работе. Первоначальные сведения из математической логики используются автором для разъяснения таких важных для математики понятий, как взаимнообратные и взаимно противоположные теоремы, необходимые и достаточные условия, математическая индукция.



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

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

Марков, А. А.
Элементы математической логики [Електронний ресурс] / А. А. Марков ; под ред. А. Г. Драгалина. - М. : Изд-во Московского университета, 1984. - 80 с.

Рубрики:

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


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



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

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

Новиков, П. С.
Элементы математической логики [Електронний ресурс] / П. С. Новиков. - 2-е изд., испр.. - М. : Наука, 1973. - 400 с.. - (Математическая логика и основания математики)

Рубрики:

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


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



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

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

Оболенцев, Ю. Б.
Электрическое освещение общепромышленных помещений [Електронний ресурс] / Ю. Б. Оболенцев, Э. Л. Гиндин. - М. : Энергоатомиздат, 1990. - 112 с.

Рубрики:

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


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



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

   Тип видання:   монографія   
11.

Бакаев, А. А.
Экспертные системы и логическое программирование [Електронний ресурс] / А. А. Бакаев, В. И. Гриценко, Д. Н. Козлов ; Академия наук Украины, Институт кибернетики им. В. М. Глушкова. - Киев : Наукова думка, 1992. - 216 с.

Рубрики:

  Текст у форматі PDF 13.45 Мб


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



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

   Тип видання:   науково-популярне видання   
Категорія: Фізика   
12.
 


Ланге, В. Н.
Экспериментальные физические задачи на смекалку [Електронний ресурс] / В. Н. Ланге. - М. : Наука, 1985. - 128 с.

Рубрики:

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


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



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

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


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

Рубрики:

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


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



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

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

Серебрянников, Олег Фёдорович.
Эвристические принципы и логические исчисления [Електронний ресурс] / О. Ф. Серебрянников. - М. : Наука, 1970. - 283 с.

Рубрики:

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


В книге рассматриваются проблемы выражения эвристических принципов мышления в исчислениях современной логики.



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

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

Деррида, Жак.
Шибболет [Електронний ресурс] / Жак Деррида. - 2-е изд., испр. и доп.. - СПб. : Machina, 2012. - 175 с.

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


В предлагаемый читателю сборник Жака Деррида (1930–2004), последнего в плеяде великих философов XX века, вошли четыре работы середины 80-х годов. В этот период, завершив «сведение счетов» с послужившим отправной точкой его творческой эволюции структурализмом и продолжая деструкцию метафизики, философ последовательно применяет метод деконструкции и соответствующий инструментарий неклассических категорий к широкому кругу вопросов, центрируя их вокруг сквозных для всей его мысли тем, таких как событие поэтического произведения, датировка и подпись, повторимость и специфика имени собственного и подписи, различение письма и голоса, множественность и различание языков и проблема перевода — и не чуждая их всех зола, все поглощающий пепел, оставание бытия, возведенное мыслителем чуть ли не в ранг философской категории. Как всегда у Деррида, эти темы в той или иной мере присутствуют во всех представленных текстах, каждый раз проводятся в сложном контрапункте взаимосвязанных линий. Центральное место в собрании занимает большая работа «Шибболет», посвященная философским коннотациям творчества одного из величайших поэтов двадцатого века Пауля Целана. Остальные тексты: содержащие анализ американской «Декларации независимости» знаменитые «Отобиографии», где темы автобиографии, учреждающей (в частности, юридическое) право подписи, государства и обучения укоренены в многообразии подчас не слишком известных текстов Ницше; «Вавилонские башни» — одна из интереснейших работ по философской и даже филологической проблематике перевода; и эффектный «полилог» — «Золы угасшъй прах», где в свободной, поэтизированной манере сочетаются многие из сквозных тем мыслителя: от Вавилона до Холокоста.



Кл.слова:
філософія -- літературознавство

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

Мюллер, М.
Шесть систем индийской философии [Електронний ресурс] : пер. с англ. / М. Мюллер. - М. : Искусство, 1995. - 448 с.

Рубрики:

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

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


Основоположник сравнительной религии и мифологии, выдающийся языковед, знаток индийских текстов, профессор Оксфордскою университета Макс Мюллер был также редактором многотомной (более 50-ти томов) серии под названием Sacred Books of the East, издававшейся с 1879 по 1894 год. Самому Мюллеру принадлежат переводы Упанишад, Дхаммапады, переводы ведийских гимнов и буддийских текстов. Предлагаемая читателю книга была переведена в 1901 году и до сих пор на нее ссылаются как на фундаментальный труд по индийской философии и религии. Современное транскрибирование санскритских понятий и имен сделано С. В. Игошиной.



Кл.слова:
релігія -- міфологія

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

Успенский, Владимир Андреевич.
Что такое нестандартный анализ? [Електронний ресурс] / В. А. Успенский. - М. : Наука, 1987. - 129 с.

Рубрики:

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


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



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

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

Калужнин, Л. А.
Что такое математическая логика? [Електронний ресурс] / Л. А. Калужнин. - М. : Наука, 1964. - 152 с.

Рубрики:

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


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



Кл.слова:
логіка висловлювань -- логіка предикатів

   Тип видання:   науково-популярне видання      хрестоматія   
19.

Волинка, Г. І.
Читанка з філософії [Електронний ресурс] : у 6 кн. / Г. І. Волинка. - К. : Довіра, 1993

Рубрики:

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

Кн. 6 : Зарубіжна філософія XX століття. - 1993. - 239 с.


У шостому томі «Читанки з історії філософії» подані твори західних філософів XX ст. з питань логіки й формалізації наукового пізнання; відношення логіки і предметного світу; «феноменальності» саморозкриття свідомості і людського буття; скінченності й минущості людського існування; сутності людини і цілісності людської духовності; єдності природи, людини і Бога в еволюції Всесвіту. Ці та інші питання досліджуються такими відомими західними мислителями, як Е. Гуссерль, М. Хайдеггер, Г. Маркузе, Б. Рассел, А. Камю, Ж. -П. Сартр, К. Юнг, К. Леві-Строс, П. Тейяр де Шарден та ін. Для студентів, гімназистів, ліцеїстів і всіх, хто цікавиться питаннями історії західної філософії та культури.



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

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

Феферман, С.
Числовые системы [Електронний ресурс] : основания алгебры и анализа : пер. с англ. / С. Феферман. - М. : Наука, 1971. - 440 с.

Рубрики:

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


Теория числовых систем лежит в основе всех математических курсов, читаемых сейчас в высших учебных заведениях, и входит в программу курсов алгебры, математического анализа. вычислительной математики и пр. Каждый лектор при этом выбирает из обширного материала то, что ему кажется наиболее важным, излагает его со своей точки зрения, иллюстрируя на классическом материале нужные ему идеи и конструкции. Естественно, что никакой цельной картины при этом, как правило, не возникает. Этот пробел частично будет восполнен предлагаемым переводом книги Фефермана "Числовые системы". О содержании книги вполне можно судить по подробному оглавлению. Вначале автор излагает элементы математической логики, наивной теории множеств вплоть до возникновения парадоксов. Затем выбирается некоторая система аксиом теории множеств (она приводится полностью в добавлении I), лежащая в основе всего дальнейшего изложения. Аксиоматическое изложение обычно перегружается формальными выкладками, затрудняющими чтение. Автор, на мой взгляд, удачно избегает этого, вместе с тем сохраняя достаточную строгость, и всюду заботится о логической обоснованности каждого нового шага, каждого введения нового понятия, стараясь заблаговременно подготовить читателя к этому. Автор также показывает важность полученных результатов, мотивирует необходимость изучения возникающих вопросов и, наконец, не только знакомит читателя с некоторым кругом идей и методов, но и старается развивать у него определенные навыки творческого мышления, навыки в решении задач. Перечисленные методические достоинства наряду с несомненными научными позволяют рекомендовать книгу в качестве учебного пособия для физико-математических школ, для студентов младших курсов педагогических вузов и университетов. Без сомнения, она должна заинтересовать также учителей математики школ и преподавателей математики высших учебных заведений.



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

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