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