Бази даних

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

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

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

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

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

Рубрики:

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


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



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

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

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

Рубрики:

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


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



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

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