Бази даних

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

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

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

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

Колмогоров, Андрей Николаевич.
Избранные труды. Математика и механика [Електронний ресурс] / А. Н. Колмогоров. - М. : Наука, 1985. - 470 с.

Рубрики:

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


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



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

   Тип видання:   словник   
2.


Философский словарь [Електронний ресурс] / под ред. И. Т. Фролова. - 7-е изд., перераб. и доп.. - М. : Республика, 2001. - 719 с.

Рубрики:

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


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



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

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

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

Рубрики:

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


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



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

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

Архангельский, А. Я.
Программирование в С++ Builder 6 [Електронний ресурс] / А. Я. Архангельский. - М. : Бином, 2003. - 1152 с.

Рубрики:

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


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



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

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

Баврин, Иван Иванович.
Старинные задачи [Електронний ресурс] / И. И. Баврин, Е. А. Фрибус. - М. : Просвещение, 1994. - 128 с.

Рубрики:

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

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


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



Кл.слова:
логіка -- задачі

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

Клини, С. К.
Математическая логика [Електронний ресурс] : пер. с англ. / С. К. Клини. - М. : Мир, 1973. - 241 с.

Рубрики:

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


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



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

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

Коробкова, Юлия Евгеневна.
Философия [Електронний ресурс] : конспект лекций / Ю.Е. Коробкова. - М. : Изд-во МИЭМП, 2005. - 118 с.

Рубрики:

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


Содержание: Исторический курс философии: Происхождение и предмет философии. Философия и мировоззрение. Философия и наука Специфические черты философского знания. Функции философии. Основной вопрос философии. Теоретический курс философии: Понятие бытия и субстанции. Категория материи. Ее атрибуты иформы. Уровни организации живой и неживой материи. Основные формы движения. Пространство и время. Диалектика как учение о развитии. Основные законы диалектики.



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

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

Краинский, И.
Word 2007 [Електронний ресурс] : самоучитель / И. Краинский. - СПб. : Питер, 2008. - 240 с.. - (Популярний самоучитель)

Рубрики:

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


В данной книге доступно и полно описан Microsoft Word 2007 — самый современный и удобный текстовый редактор. Отличительной особенностью самоучителя является то, что выполнение большинства операций описывается в виде четких по- шаговых инструкций. Это особенно полезно для начинающих пользователей, так как позволяет не тратить время на поиск необходимых параметров и команд. Как начинающим, так и опытным пользователям Word будет очень полезен раздел, посвященный ответам на вопросы, часто воз-никающие у пользователей (FAQ).



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

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

Кудрявцев, Е. М.
Оформление дипломных проектов на компьютере [Електронний ресурс] / Е. М. Кудрявцев. - М. : ДМК Пресс, 2004. - 224 с.. - (Проектирование)

Рубрики:

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


В книге излагаются общие положения по оформлению дипломного проекта в полном соответствии с ЕСКД и СПДС. Даются подробные сведения по оформлению как графической, так и текстовой документации, формул, таблиц, рисунков и другой информации в пояснительной записке (ПЗ). Для эффективного оформления ПЗ излагаются вопросы использования одного из самых распространенных текстовых редакторов фирмы Microsoft — MS Word. Рассматриваются вопросы специальной настройки текстового редактора. Описывается использование редактора формул. Для эффективного оформления графической документации в учебном пособии используется одна из самых распространенных и многопрофильных отечественных САПР компании АСКОН — КОМПАС-3D V6, которая полностью адаптирована под российские стандарты. Эта система обеспечивает возможность построения с минимальными затратами трехмерных моделей, рабочих и сборочных чертежей, спецификаций и другой проектной документации как в промышленности, так и в строительстве.



Кл.слова:
стандарт

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


Изучение синтаксиса на коммуникативной основе [Електронний ресурс] : текстовые функции предложений : учебно-методическое пособие (для учителей начальных классов) / сост. И. Н. Озерова. - Омск : Изд-во ОмГУ, 2004. - 31 с.

Рубрики:

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


Пособие составлено в соответствии с программными требованиями (Программа общеобразовательных учреждений: Начальные классы (1-4). М., 2001), предъявляемыми к учащимся при овладении текстовыми умениями, которые складываются и из умения точно использовать предложения разных структурно-семантических типов. Пособие содержит комментарий по использованию предложений в тексте. Предлагаются задания как для учителей начальных классов, так и для учащихся. Для учителей начальных классов.



Кл.слова:
речення -- порядок слів -- зв'язне мовлення

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

Фоминых, Е. А.
Лекции по дискретной математике [Електронний ресурс] : функциональные системы с операциями / Е. А. Фоминых. - Челябинск : Изд-во Челябинского гос. ун-та, 2001. - 33 с.

Рубрики:

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


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



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

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

Шалаева, Г. П.
Английский язык [Електронний ресурс] : справочник школьника. / Г. П. Шалаева, В. П. Хаскин. - М. : Филологическое общество «Слово», 1997. - 546 с.

Рубрики:

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


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



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

   Тип видання:   словник   
13.


Большой японско-русский словарь [Електронний ресурс] : в 2 т. / под ред. Н.И. Конрада. - М. : Советская энциклопедия, 1970

Рубрики:

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

Т.1 : А-Р. - 808 с.

Т.2 : С-Я. - 588 с.


В словаре приводятся общеупотребительные слова, словосочетания и идиоматические выражения, а также пословицы и поговорки. К словарю прилагается Иероглифический ключ, который даёт возможность пользоваться изданием самому широкому кругу читателей, не знающих чтения иероглифов. Словарь предназначен для переводчиков, научных работников, занимающихся изучением языка, истории, литературы, экономики, культуры Японии и сопредельных стран, для преподавателей и студентов востоковедческих вузов, а также для японцев, изучающих русский язык, и специалистов других стран, знающих русский язык и читающих японскую литературу. Этот словарь - самый большой из когда-либо созданных в мире и содержит свыше 300 000 слов и словосочетаний японского языка. Настоящее издание дополнено новейшей лексикон японского языка. Словарь предназначен для чтения и перевода художественных, газетных, научно-популярных и специальных текстов. Особое внимание уделено разработке значений слова.



Кл.слова:
японська мова -- російська мова -- переклад

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

Ющук, І. П.
Практикум з правопису української мови [Електронний ресурс] / І. П. Ющук. - К. : Освіта, 2000. - 254 с.

Рубрики:

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


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



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

   Тип видання:   словник   
Категорія: Релігія   
15.


Полный церковно-славянский словарь (с внесением в него важнейших древнерусских слов и выражений) [Електронний ресурс] : пособие / сост. Г. Дьяченко. - М. : Издательский Отдел Московского Патриархата, 1993. - 1158 с.

Рубрики:

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


На сегодня этот словарь является самым полным словарем Церковно-славянской лексики. Словарь пользуется популярностью среди молодых и взрослых православных людей. Кроме сугубо церковной лексики словарь содержит объяснение важнейших древнерусских слов и выражений, общим числом около 30 000 на 1 158 страницах. Словарь является прекрасным вспомогательным средством для учителей церковно-славянского, древнерусского и русского языков. Словарь будет незаменимым помощником в понимании церковных, святоотеческих и древнерусских текстов.



Кл.слова:
Біблія -- християнство -- православ'я

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

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.



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

   Тип видання:   словник   
17.

Рябцева, Надежда Константиновна.
Научная речь на английском языке. Руководство по научному изложению. Словарь оборотов и сочетаемости общенаучной лексики. Новый словарь-справочник активного типа [Electronic resource] / Н. К. Рябцева. - М. : Флинта : Наука, 1999. - 600 p.

Рубрики:

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


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



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

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

Дорофєєва, Н. В.
З історії грошей України [Електронний ресурс] / Н. В. Дорофєєва, 3. М. Комаринська. - К. ; Л. : [б. в.], 2000. - 164 с.

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


Історія грошей як галузь історичної науки привертає увагу істориків, археологів, економістів і навіть мовознавців. Вивчення історії грошей дає можливість дослідити державні процеси, економіку, торгівлю певного періоду історії. Гроші розповідають про внутрішнє становище держави, його економічну силу чи слабкість. Повідомляють важливі дані про політичне життя, ідеологію, конкретну історію, дозволяючи уточнити або навіть з'ясувати імена і дати правління тих чи інших володарів. Особливе значення має вивчення історії грошей для поглиблення знань з економічної історії різних Історичних епох і періодів. Підготовку другого видання навчального посібника з історії грошей спонукало, перш за все, те, що ця проблематика зацікавила не лише студентів, фахівців, а й пересічних громадян. І це знайшло своє відображення у розширенні текстового матеріалу, а також збагаченні його тематичними ілюстраціями. Важливе місце у посібнику відведено історії грошей України, яка розглядається в контексті загального історичного процесу та подій, що його супроводжували. Достатньо уваги відведено історії появи грошей і грошового обігу, історії виникнення та функціонування грошових систем, проведенню грошових реформ, їх результатам (з найдавніших часів до сьогодення). Навчальний посібник складається з дев'яти тем, матеріал яких подається з дотриманням тематико-хронологічного принципу. Важливою ознакою у вивченні історії грошей є розгляд її в контексті історичних подій суспільно-політичного та економічного життя. Поглибленню знань з історії грошей допомагає словник «Ключові терміни і поняття», який є індивідуальним для кожної теми, виходячи з хронологічних рамок, подій та країн, про які йдеться у конкретній темі. Перевірці й закріпленню знань сприяють вміщені наприкінці кожної теми «Контрольні питання». Детальніше ознайомитись з тією чи іншою проблемою, поглибити знання допоможе рекомендована література до кожної окремої теми. У світовій історії важко знайти державу, яка не прагнула б до зміцнення своєї грошової системи, підвищення ролі грошей у суспільних відносинах. Україна — не виняток. Вона теж має давні традиції грошового виробництва й обігу, адже за свою багатовікову історію неодноразово виготовляла власні гроші.



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

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

Годмен, А.
Иллюстрированный химический словарь [Електронний ресурс] : пер. с англ. / А. Годмен. - М. : Мир, 1989. - 270 с.

Рубрики:

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


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



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

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

Соболева, Т. С.
Дискретная математика [Електронний ресурс] : учебник / Т. С. Соболева, А. В. Чечкин ; под ред. А. В. Чечкина. - М. : Академия, 2006. - 256 с.. - (Серия "Прикладная математика и информатика")

Рубрики:

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


В учебнике рассмотрены общие (множества и отношения, алгебра и топология) и специальные (математическая логика, математическая кибернетика, математическая информатика) вопросы дискретной математики. Для студентов высших учебных заведений. Может быть полезен аспирантам, научным работникам и специалистам в области прикладной математики и современных наукоемких информационных технологий. Из предисловия. Данный учебный курс задуман как начальный базовый курс дискретной математики. В нем отражен опыт авторов чтения курса дискретной математики в Московском государственном университете имени М.В. Ломоносова, в Военной академии ракетных войск стратегического назначения имени Петра Великого и в Российском государственном университете нефти и газа имени И. М. Губкина. Учебник отличается от большинства аналогичных тем, что в нем особое внимание уделяется алгебре и топологии, а также различию сильноформальных (кибернетических) и слабоформальных (информационных) систем. Краткое содержание: Часть I. Множества и отношения (Основные понятия теории множеств. Конечные и бесконечные множества. Отношения на множествах. Элементы теории графов). Часть II. Алгебра и топология (Алгебры. Булевы функции. Элементы общей топологии). Часть III. Математическая логика (Логика высказываний. Логика предикатов. Элементы теории доказательств). Часть IV. Математическая кибернетика (Синтаксис языков. Теория алгоритмов. Элементы теории кодирования). Часть V. Математическая информатика (Семантика языков. Информация о точке и математическое моделирование баз данных. Принятие решений. Ультраоператоры и математическое моделирование баз знаний. Дополнения).



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

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