![](/irbis_nas/images/db_navy.gif) Національна бібліотека України імені В. І. Вернадського ![](/irbis_nas/images/db_navy.gif) Інститут археології ![](/irbis_nas/images/db_navy.gif) Інститут біоорганічної хімії та нафтохімії ![](/irbis_nas/images/db_navy.gif) Інститут біохімії імені О. В. Палладіна ![](/irbis_nas/images/db_navy.gif) Інститут ботаніки імені М. Г. Холодного ![](/irbis_nas/images/db_navy.gif) Інститут гідробіології ![](/irbis_nas/images/db_navy.gif) Інститут географії ![](/irbis_nas/images/db_navy.gif) Інститут економіки та прогнозування ![](/irbis_nas/images/db_navy.gif) Інститут електродинаміки ![](/irbis_nas/images/db_navy.gif) Інститут зоології ![](/irbis_nas/images/db_navy.gif) Інститут історії України ![](/irbis_nas/images/db_navy.gif) Інститут клітинної біології та генетичної інженерії ![](/irbis_nas/images/db_navy.gif) Інститут літератури імені Т. Г. Шевченка ![](/irbis_nas/images/db_navy.gif) Інститут математики ![](/irbis_nas/images/db_navy.gif) Інститут проблем кріобіології і кріомедицини ![](/irbis_nas/images/db_navy.gif) Інститут проблем міцності імені Г. С. Писаренка ![](/irbis_nas/images/db_navy.gif) Інститут сходознавства імені А. Ю. Кримського ![](/irbis_nas/images/db_navy.gif) Інститут теоретичної фізики імені М. М. Боголюбова ![](/irbis_nas/images/db_navy.gif) Інститут технічної теплофізики ![](/irbis_nas/images/db_navy.gif) Інститут фізики ![](/irbis_nas/images/db_navy.gif) Інститут фізики напівпровідників ![](/irbis_nas/images/db_navy.gif) Інститут фізіології імені О. О. Богомольця ![](/irbis_nas/images/db_navy.gif) Інститут філософії ![](/irbis_nas/images/db_navy.gif) Інституту соціології
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>K=ПРЕДИКАТ$<.>) |
Загальна кількість знайдених документів : 2
Представлено документи з 1 до 2
|
1. |
Малпас, Дж. Реляционный язык Пролог и его применение / Дж. Малпас ; пер. с англ. А. А. Титова ; под ред. В. Н. Соболева. - Москва : Наука, 1990. - 464 с. : рис., табл. - Прил.: с. 328-447. - Лит.: с. 448-458. - Предм. указ.: с. 459-463. - ISBN 5-02-014509-2 : 3.50 р. Рубрики: Pascal, мова--Програмування--Методика--Застосування--Практичні посібники
Кл.слова: логическое программирование -- логічне програмування -- традиционная логика -- традиційна логіка -- логика предикатов -- логіка предикатів -- синтаксис языка -- синтаксис мови -- фразы Хорна -- фрази Хорна -- объектный язык -- об'єктна мова -- арифметика -- структуры данных -- структура даних -- управление ходом выполнения программ -- управління ходом виконання програм -- реляционный подход -- реляційний підхід -- обработка текста -- обробка тексту -- представление знаний -- представлення знань -- экспертные консультации -- експертні консультації Анотація: Реляционный язык программирования Пролог, рассматривается методика программирования и конкретные приложения. Дод. точки доступу: Титов, А. А. (пер.); Соболев, В. Н. (ред.)
| 2. |
Шпорер, Златко. Ох, эта математика! = Uh, ta matematika! / З. Шпорер ; [пер. с хорв.-серб. Д. П. Мансфельда ; ред. пер., авт. предисл. Д. С. Апокорин ; худож. В. И. Шкарбан]. - 2-е изд., испр. - М. : Педагогика, 1985. - 128 с. : ил. - 0.35 р. Рубрики: Математика--Методика викладання--Навчальні видання Кл.слова: теория множеств -- теорія множин -- теория чисел -- теорія чисел -- натуральные числа -- натуральні числа -- математическая логика -- математична логіка -- алгебра логики -- алгебра логіки -- предикаты -- предикати -- методика преподавания математики -- методика викладання математики Анотація: В книге в научно-популярной форме излагается введение в теорию множеств и теорию чисел (натуральные числа), которые вместе с математической логикой составляют основу современной математики. Дод. точки доступу: Мансфельд, Д. П. (пер.); Апокорин, Д. С. (ред., авт. предисл.); Шкарбан, В. И. (худож.)
|
|
|