Главная Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


КНИГИ - результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=логическое программирование<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.
   004
   И74


    Информатика: в 2 т. : задачник-практикум / Л. Залогова [и др.]. - 5-е изд. - М. : БИНОМ. Лаборатория знаний, 2008 - .
   Т. 2. - 294 с. - ISBN 9785947749748 : 685.00 р.
ББК 004(075)
Рубрики: Информационные технологии
Кл.слова (ненормированные):
информационные технологии -- информатика -- задачник-практикум -- текстовый редактор -- компьютерная графика -- БД -- таблицы -- компьютерное математическое моделирование -- моделирование знаний -- логическое программирование


Доп.точки доступа:
Залогова, Л.; Плаксин, М.; Русаков, С.; Русакова, О.; Семакин, И.
Экземпляры всего: 2
ЧЗ (1), АБ (1)
Свободны: ЧЗ (1), АБ (1)
Найти похожие
2.
   004
   Б26


    Барский, А. Б.
    Нейронные сети: распознавание, управление, принятие решений / Барский, А. Б. - М. : Финансы и статистика, 2007. - 175 с. - (Прикладные информационные технологии). - ISBN 9785279027 : 935.00 р.
УДК
Рубрики: Информационные технологии
Кл.слова (ненормированные):
авг09 -- информационные технологии -- нейронные сети -- трассировка -- логическое программирование -- нейросетевые технологии -- применение

Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие
3.
   004
   Ц85


    Цуканова, Н. И.
    Логическое программирование на языке Visual Prolog : учебное пособие для вузов по спец. "Программное обеспечение вычислительной техники и автоматизированных систем" / Н. И. Цуканова, Т. А. Дмитриева. - М. : Горячая линия-Телеком, 2008. - 144 с. - (Учебное пособие для высших учебных заведений). - ISBN 978-5-9912-0033-2 : 1160.00 р.
УДК
Рубрики: Информационные технологии--Языки программирования
Кл.слова (ненормированные):
информационные технологии -- языки программирования -- логическое программирование -- Visual Prolog -- язык Пролог -- термы -- предикаты -- арифметические выражения -- рекурсия -- отсечение -- списки -- строки -- символы -- символические имена -- структуры -- графический интерфейс


Доп.точки доступа:
Дмитриева, Т. А.
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие
4.
   51
   Г85


    Гринченков, Д. В.
    Математическая логика и теория алгоритмов для программистов : [учебное пособие для вузов по направлению "Информатика и вычислительная техника" / Д. В. Гринченков, С. И. Потоцкий. - М. : Кнорус, 2013. - 206 с. - ISBN 978-5-406-02434-8 : 1585.00 р.
УДК
Рубрики: Математика
Кл.слова (ненормированные):
математическая логика -- теория множеств -- булевая алгебра -- теория алгоритмов -- нечеткие множества -- язык Пролог -- логическое программирование -- логические функции


Доп.точки доступа:
Потоцкий, С. И.
Экземпляры всего: 10
ЧЗ (2), АБ (8)
Свободны: ЧЗ (2), АБ (8)
Найти похожие
 
© Павлодарский государственный университет им. С.Торайгырова, 2009-2015