Бази даних

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

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

Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Книжкові видання та компакт-диски (6)Журнали та продовжувані видання (1)
Пошуковий запит: (<.>A=ЧОСЕР$<.>+<.>A=ДЖЕФФР$<.>)
Загальна кількість знайдених документів : 3
Представлено документи з 1 до 3

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

Булос, Д.
Вычислимость и логика [Електронний ресурс] : пер. с англ. / Д. Булос, Р. Джеффри. - М. : Мир, 1994. - 396 с.

Рубрики:

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


Книга известных американских математиков, являющаяся в настоящее время одной из наиболее известных в США книг по математической логике, выдержавшая там три издания (1974, 1980, 1989 гг.). В ней содержатся начала и некоторые дополнительные главы математической логики, последовательно и строго излагаются классические теоремы о неразрешимости логики предикатов и разрешимости некоторых ее фрагментов, знаменитые теоремы Гёделя о полноте, нестандартные модели и многое другое. Материал дополнен упражнениями. Для всех, кто интересуется математической логикой, а также информатикой, философией и лингвистикой.



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

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

Джеффри, Ч.
Биологическая номенклатура [Електронний ресурс] : пер. с англ. / Ч. Джеффри. - М. : Мир, 1980. - 120 с.

Рубрики:

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


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



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

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

Чосер, Джеффри.
Кентерберийские рассказы [Електронний ресурс] / Джеффри Чосер ; Российская академия наук. - М. : Наука, 2012. - 951 с.. - (Литературные памятники)

Рубрики:

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

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


«Кентерберийские рассказы» английского поэта Джеффри Чосера (1340 - 1400) – один из первых литературных памятников на едином общеанглийском языке. В книге ярко проявились замечательные качества чосеровского гуманизма: оптимистическое жизнеутверждение, интерес к конкретному человеку, чувство социальной справедливости, народность и демократизм. «Кентерберийские рассказы» представляют собой обрамленный сборник новелл. Взяв за основу паломничество к гробу св. Томаса Бекета в г. Кентербери, Чосер нарисовал широкое полотно английской действительности той эпохи.



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

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