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