Віртуальна довідка Тематичний інтернет-навігатор Наукова електронна бібліотека Автореферати дисертацій Реферативна база даних Книжкові видання та компакт-диски Журнали та продовжувані видання
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>A=ЧОСЕР$<.>+<.>A=ДЖЕФФР$<.>) |
Загальна кількість знайдених документів : 3
Представлено документи з 1 до 3
|
| | Тип видання: підручник | | |
1. |
Булос, Д. Вычислимость и логика [Електронний ресурс] : пер. с англ. / Д. Булос, Р. Джеффри. - М. : Мир, 1994. - 396 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Книга известных американских математиков, являющаяся в настоящее время одной из наиболее известных в США книг по математической логике, выдержавшая там три издания (1974, 1980, 1989 гг.). В ней содержатся начала и некоторые дополнительные главы математической логики, последовательно и строго излагаются классические теоремы о неразрешимости логики предикатов и разрешимости некоторых ее фрагментов, знаменитые теоремы Гёделя о полноте, нестандартные модели и многое другое. Материал дополнен упражнениями. Для всех, кто интересуется математической логикой, а также информатикой, философией и лингвистикой.
Кл.слова: математична логіка -- предикат -- інформатика
| | Тип видання: навчальний посібник | | |
2. |
Джеффри, Ч. Биологическая номенклатура [Електронний ресурс] : пер. с англ. / Ч. Джеффри. - М. : Мир, 1980. - 120 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Краткое практическое руководство по биологической номенклатуре. В доступной форме изложены основные представления о систематике и ее целях, принципы и важнейшие правила номенклатуры, разъяснены специальные термины, используемые в систематике, порядок присвоения и изменения названий, а также ряд других вопросов, с которыми сталкиваются начинающие исследователи. В книге проведен сравнительный анализ основных положений кодексов номенклатуры для разных групп организмов, отмечены сходство и различие этих положений. Во втором английском издании, переводом которого является данная книга, учтены все изменения внесенные в номенклатуру животных, растений, микроорганизмов и вирусов после 1975 года. Большую ценность представляет приложенный к книге терминологический словарь-указатель. Предназначена для биологов всех специальностей и прежде всего студентов и начинающих исследователей.
Кл.слова: біологічна систематика -- класифікація
| | Тип видання: художня література | | |
3. |
Чосер, Джеффри. Кентерберийские рассказы [Електронний ресурс] / Джеффри Чосер ; Российская академия наук. - М. : Наука, 2012. - 951 с.. - (Литературные памятники)
Рубрики:
Географічні рубрики:
Повний текст доступний у читальних залах НБУВ
«Кентерберийские рассказы» английского поэта Джеффри Чосера (1340 - 1400) – один из первых литературных памятников на едином общеанглийском языке. В книге ярко проявились замечательные качества чосеровского гуманизма: оптимистическое жизнеутверждение, интерес к конкретному человеку, чувство социальной справедливости, народность и демократизм. «Кентерберийские рассказы» представляют собой обрамленный сборник новелл. Взяв за основу паломничество к гробу св. Томаса Бекета в г. Кентербери, Чосер нарисовал широкое полотно английской действительности той эпохи.
Кл.слова: література -- Ренесанс -- новелістика
| | |
|
|