Простийпошук |
Розширений пошук |
Абеткові покажчики |
||
| Каталоги бібліотек установ Національної академії наук України | ||||
Бази даних
Інститут біохімії імені О. В. Палладіна - результати пошуку
Національна бібліотека України імені В. І. ВернадськогоІнститут археологіїІнститут біоорганічної хімії та нафтохіміїІнститут біохімії імені О. В. ПалладінаІнститут ботанікиімені М. Г. Холодного
Інститут гідробіологіїІнститут географіїІнститут економіки та прогнозуванняІнститут електродинамікиІнститут зоологіїІнститут історії УкраїниІнститут клітинної біології та генетичної інженеріїІнститут літератури імені Т. Г. ШевченкаІнститут математикиІнститут проблем кріобіології і кріомедициниІнститут проблем міцностіімені Г. С. Писаренка
Інститут сходознавства імені А. Ю. КримськогоІнститут теоретичної фізики імені М. М. БоголюбоваІнститут технічної теплофізикиІнститут фізикиІнститут фізики напівпровідниківІнститут фізіології імені О. О. БогомольцяІнститут філософіїІнституту соціології
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
| Сортувати знайдені документи за: | ||
| автором | назвою | роком видання |
| Знайдено в інших БД: | Національна бібліотека України імені В. І. Вернадського (134) | Інститут економіки та прогнозування (1) | Інститут теоретичної фізики імені М. М. Боголюбова (3) | Інститут філософії (1) |
| Формат представлення знайдених документів: | ||
| повний | стислий | |
Пошуковий запит: (<.>K=ПРЕДИКАТ$<.>) | |||
|
Загальна кількість знайдених документів : 2 Представлено документи з 1 до 2 |
|||
| 1. | Рубрики: Математика--Методика викладання--Навчальні видання Кл.слова: теория множеств -- теорія множин -- теория чисел -- теорія чисел -- натуральные числа -- натуральні числа -- математическая логика -- математична логіка -- алгебра логики -- алгебра логіки -- предикаты -- предикати -- методика преподавания математики -- методика викладання математики Анотація: В книге в научно-популярной форме излагается введение в теорию множеств и теорию чисел (натуральные числа), которые вместе с математической логикой составляют основу современной математики. Дод. точки доступу: Мансфельд, Д. П. (пер.); Апокорин, Д. С. (ред., авт. предисл.); Шкарбан, В. И. (худож.) | ||
| 2. | Рубрики: Pascal, мова--Програмування--Методика--Застосування--Практичні посібники Кл.слова: логическое программирование -- логічне програмування -- традиционная логика -- традиційна логіка -- логика предикатов -- логіка предикатів -- синтаксис языка -- синтаксис мови -- фразы Хорна -- фрази Хорна -- объектный язык -- об'єктна мова -- арифметика -- структуры данных -- структура даних -- управление ходом выполнения программ -- управління ходом виконання програм -- реляционный подход -- реляційний підхід -- обработка текста -- обробка тексту -- представление знаний -- представлення знань -- экспертные консультации -- експертні консультації Анотація: Реляционный язык программирования Пролог, рассматривается методика программирования и конкретные приложения. Дод. точки доступу: Титов, А. А. (пер.); Соболев, В. Н. (ред.) | ||
 |
| Інститут біохімії імені О. В. Палладіна |