Бази даних

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

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

Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Автореферати дисертацій (247)Реферативна база даних (1418)Книжкові видання та компакт-диски (33)
Пошуковий запит: (<.>K=ЛОГІЧНИЙ$<.>+<.>K=ФОРМАЛІЗМ$<.>)
Загальна кількість знайдених документів : 16
Представлено документи з 1 до 16

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

Ивин, А. А.
Логика [Електронний ресурс] : учеб. пособие для студентов вузов / А. А. Ивин. - М. : Оникс, 2008. - 338 с.

Рубрики:

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


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



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

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

Гордон, Е. И.
Инфинитезимальный анализ [Електронний ресурс] / Е. И. Гордон, А. Г. Кусраев, С. С. Кутателадзе. - Новосибирск : Изд-во Ин-та математики, 2001. - 526 с.. - (Нестандартные методы анализа)

Рубрики:

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


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



Кл.слова:
формалізм

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

Френкель, А. А.
Основания теории множеств [Електронний ресурс] : пер. с англ. / А. А. Френкель, И. Бар-Хиллел. - М. : Мир, 1966. - 555 с.

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


Настоящая книга является единственной монографией по основаниям теории множеств, появившейся за последние десятилетия и не связанной слишком тесно с какой-либо определенной концепцией.



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

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

Фрейденталь, Х.
Язык логики [Електронний ресурс] : пер. с англ. / Х. Фрейденталь. - М. : Наука, 1969. - 136 с.

Рубрики:

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


"Язык логики" не есть то, что принято называть "увлекательной" книгой; вернее, увлекает в ней неискушённого читателя не форма изложения, предельно простая и скромная, а сам процесс приобщения к серьёзному знанию. Автор не заигрывает с читателем, не соблазняет его "красочными" примерами, но относится к нему с уважением и доверием. Не подавляет его обилием "учёных" терминов, но и не "успокаивает" тем, что в логике "всё просто". Задачу свою автор видит не в сообщении как можно большего количества сведений, а в том, чтобы обучить самим основам именно "языка логики" — того самого языка, на котором читатель мог бы и говорить затем, не рискуя быть смешным, как всякий полузнай.



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

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

Ракитов, А. И.
Курс лекций по логике науки [Електронний ресурс] / А. И. Ракитов. - М. : Высшая школа, 1971. - 176 с.

Рубрики:

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


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



Кл.слова:
логічний аналіз -- наука

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

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

Рубрики:

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


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



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

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

Roberts, G.
The last soviet Avant-Garde [Electronic resource] : OBERIU - fact, fiction, metafiction / G. Roberts. - Cambridge : Cambridge university press, 1997. - 274 p.
Переклад назви: Останній радянський Авангард: ОБЕРІУ - факт, белетристика, метабелетристика

Рубрики:

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

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


This is a comprehensive study of a group of avant-garde Soviet writers active in Leningrad in the 1920s and 1930s who styled themselves OBERIU, 'The Association for Real Art'. Graham Roberts re-examines commonly held assumptions about OBERIU, its identity as a group, its aesthetics and its place within the Russian and European literary traditions. He focuses on the prose and drama of group members Daniil Kharms, Aleksandr Vvedensky, and Konstantin Vaginov; he also considers work by Nikolay Zabolotsky and Igor Bakhterev, as well as the group's most important 'fellow-traveller', Nikolay Oleinikov. He places OBERIU in the context of the aesthetic theories of the Russian formalists and the Bakhtin circle. Roberts concludes by showing how the self-conscious literature of OBERIU - its metafiction - occupies an important transitional space between modernism and postmodernism.



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

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

Fizer, J.
Alexander A. Potebnja's psycholinguistic theory of literature [Electronic resource] : a metacritical inquiry / J. Fizer. - Cambridge : Harvard University Press, 1988. - 164 p.
Переклад назви: Психолінгвістична теорія літератури Олександа А. Потебня: метакритичний запит

Рубрики:

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

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


The work of Alexander A. Potebnja, a leading Ukrainian linguist of the nineteenth century, has significantly influenced modern literary criticism, particularly Russian formalism and structuralism. Potebnja's theory, known as potebnjanstvo (Potebnjanism), flourished in the Russian Empire and in the Soviet Union during the 1920s. It attracted scores of adherents and gave rise to an influential literary journal and a formal critical school at Kharkiv. Yet despite his remarkable achievements in linguistics and literary theory, Potebnja's work was officially renounced in the Soviet Union in the 1930s, and in the West he remains virtually unknown.



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

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

Рядська, В. В.
Аудит [Електронний ресурс] / В. В. Рядська, Я. В. Петраков. - К. : Центр учбової літератури, 2008. - 416 с.

Рубрики:

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

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


У навчальному посібнику висвітлено питання правового забезпечення аудиту забезпечення аудиту та загальні методичні вимоги, які знаходяться в основі здійснення всіх етапів процесу аудиту: переддоговірного етапу, етапу укладання договору, планування, здійснення процедур перевірки, етапі складання аудиторського висновку. Розділи навчального посібника мають логічний взаємозв’язок, містять приклади та схематичне подання матеріалу, що дозволяє засвоювати матеріал і під час самостійної підготовки. В додатках подано як витяги з окремих стандартів аудиту та інших документів, що регламентують процес аудиту, так і практичні приклади документації, яка складається під час аудиту. Таким чином, навчальний підручник має не тільки теоретичну, але й практичну спрямованість. Посібник розрахований на широке коло користувачів: студентів, аспірантів, викладачів, а також практиків – аудиторів, бухгалтерів, фінансових аналітиків, фінансових менеджерів, та здобувачів сертифіката аудитора.



Кл.слова:
мікроекономіка -- фінанси -- облік

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


Проти формалізму, натуралізму і спрощенства в мистецтві [Електронний ресурс] / ред. Ф. Гаєвський. - К. : Мистецтво, 1936. - 136 с.

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


Метою видавництва “Мистецтво”, яке опублікувало цю збірку провідних статей з газет “Правда”, “Комуніст”, “Комсомольская правда”, “Вісті” та “Кіно” було допомогти всім робітникам культурного фронту в їх боротьбі за велике мистецтво соціалістичного реалізму. Статті розсортовані по тематичних розділах, таких як музика, архітектура, кіно, театр, образотворче мистецтво і містять здебільшого критичні відгуки про тогочасні витвори мистецтва, які не відповідають канонам соціалістичного реалізму.



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

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

Парр, Э.
Программируемые контроллеры [Електронний ресурс] : руководство для инженера / Э. Парр. - М. : Бином. Лаборатория знаний, 2007. - 516 с.

Рубрики:

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


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



Кл.слова:
ПЛК -- логічний контролер

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


Philosophy of science, logic and mathematics in the 20th century [Electronic resource] / ed. by Stuart G. Shanker. - London ; New York : Routledge, 2005. - 461 p.. - (Routledge History of Philosophy ; vol. IX)
Переклад назви: Філософія науки, логіки та математики в 20 столітті

Рубрики:

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


The twentieth century witnessed the birth of analytic philosophy. This volume covers some of its key movements and philosophers, including Frege and Wittgenstein's Tractatus.



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

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

Корнфорт, М.
Наука против идеализма. Критический анализ "чистого эмпиризма" и современной логики [Електронний ресурс] : пер. с англ. / М. Корнфорт. - М. : Гос. изд-во иностранной литературы, 1948

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

Ч. 1 - 2. - 336 с.


Книга известного английского теоретика-марксиста М. Корнфорта посвящена анализу особого течения философии - так называемого "эмпиризма", или, точнее, "чистого эмпиризма". Автор пытается проследить в ней процесс развития эмпирических теорий, указать на их ошибки и наметить правильный путь трактовки спорных проблем. Точнее, задача книги - проанализировать и подвергнуть критике ту тенденцию развития современной философской мысли, истоки которой лежат в материализме Бэкона и его последователей - Гоббса и Локка - и которая отошла от материализма к субъективному идеализму, породив субъективистские теории Беркли, Юма, Маха и агностиков.



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

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


Барна справа [Електронний ресурс] : опорний конспект лекцій / Київський національний торговельно-економічний університет. Кафедра технології і організації ресторанного господарства. - К. : [б. в.], 2008. - 117 с.

Рубрики:

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

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


Головною метою дисципліни "Барна справа" є форму- вання у студентів бакалаврського рівня знань та вмінь при організації роботи й обслуговування в барах. Дисципліна "Барна справа" є професійно орієнтованою, посідає чільне місце в навчальному процесі і має логічний зв’язок з такими дисциплінами, як "Устаткування закладів ресторанного господарства", "Теоретичні основи технології харчових виробництв", "Організація виробництва", "Організація обслуговування", "Технологія продуктів харчування", "Організація ресторанного господарства за кордоном", "Методи контролю харчових виробництв", "Стандартизація, метрологія та сертифікація", "Основи підприємництва", "Товарознавство харчових продуктів" та ін. Вивчення дисципліни створює умови для формування у студентів широкого світогляду, організаторських здібностей, вмінь розв’язувати виробничі завдання, що сприяє підвищенню якості виробництва барної продукції та обслуговування споживачів у барах.



Кл.слова:
бізнес -- заклади харчування

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


Якобсон, Р.
Формальная школа и современное русское литературоведение [Електронний ресурс] / Р. Якобсон. - Москва : Языки славянских культур, 2011. - 280 с.

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

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


В книге впервые на русском языке опубликованы тексты лекций, которые Роман Осипович Якобсон написал по-чешски в середине 30-х гг. XX в., когда работал в брненском университете в Чехословакии. Настоящее издание реконструирует источники, на которые автор опирался, но не цитировал их, и таким образом воссоздает часть интеллектуальных ресурсов его мышления. Кроме сопроводительной статьи в настоящий том вошли также документы, иллюстрирующие конфликтное становление научной карьеры Якобсона в Чехословакии. Далее публикуются обзор жизни и профессиональной деятельности Якобсона, а также документы, касающиеся травли формализма в 1950-е годы и последних визитов ученого в Чехословакию в конце 1960-х гг.



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

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

Литвиненко, В. С.
Обліково-контрольне забезпечення управління витратами: інституціональний підхід [Електронний ресурс] : монографія / В. С. Литвиненко, В. В. Толстоног ; Національний університет біоресурсів і природокористування України. - Київ : Фітосоціоцентр, 2015. - 260 с.

Рубрики:

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

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


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



Кл.слова:
облік витрат -- суб'єкти господарювання -- бухгалтерська методологія -- трансакційні витрати
 

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