Про нас Електронний депозитарій LIBO Зведений каталог України
Авторизация
Фамилия
Пароль
 

Базы данных


Електронний каталог ЖОУНБ ім. О. Ольжича- результаты поиска

Вид поиска

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

Трохимчук Р.М. Збірник задач і вправ з математичної логіки/Р. М. Трохимчук. - 2008
2.

Павлов В. І. Логіка у запитаннях, відповідях і аргументаціях/В. І. Павлов. - 2008
3.

Конверський А. Є. Логіка (традиційна та сучасна)/А. Є. Конверський. - 2008
4.

Жоль К. К. Вступ до сучасної логіки/К. К. Жоль ; [ред. О. М. Належита]. - 2002
5.

Жоль К. К. Вступ до сучасної логіки/К. К. Жоль. - 1992
6.

Зегет В. Элементарная логика/В. Зегет ; пер. с нем. И. М. Морозовой ; под ред. и с предисл. Е. Б. Кузиной. - 1985
7.

Конверський А. Є. Логіка/А. Є. Конверський. - 1999
8.

Ішмуратов А. Т. Вступ до філософської логіки/А. Т. Ішмуратов. - 1997
9.

Основы кибернетики:Математические основы кибернетики/А. И. Галушкин [и др.] ; ред. К. А. Пупков
10.

Карамишева Н. В. Логіка (теоретична і прикладна)/Н. В. Карамишева. - 2011
11.

Осуга С. Обработка знаний/С. Осуга ; пер. с англ. В. И. Этовой. - 1989
12.

Рот М. Интеллектуальный автомат: компьютер в качестве эксперта/М. Рот ; пер. с нем. А. П. Свиридова. - 1991
13.

Павлов В. І. Логіка у запитаннях, відповідях і аргументаціях/В. І. Павлов. - 2012
14.

Новиков П. С. Элементы математической логики/П. С. Новиков. - 1973
15.

Малпас Дж. Реляционный язык Пролог и его применение/Дж. Малпас ; пер. с англ. А. А. Титова ; под ред. В. Н. Соболева. - 1990
16.

Конверський А. Є. Сучасна логіка (класична та некласична)/А. Є. Конверський. - 2018
 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)