Про нас Електронний депозитарій 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
 
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)