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