логіка предикатів, логика предикатов
Документи:
- Гильберт, Давид
Основы теоретической логики [Текст] : Пер. с нем. / Д. Гильберт, В. Аккерман ; Под ред. С.А. Яновской. — М. : Гостехиздат, 1947. — 302 с.
- Жоль, Костянтин Костянтинович
Вступ до сучасної логіки [Текст] : Навч. посіб. / К. К. Жоль. — К. : Вища шк., 1992. — 128 с. — ISBN 5-11-003825-2.
- Конверський, Анатолій Євгенович
Сучасна логіка [Текст] : підручник : в 2 ч. Ч. 1 : Класична логіка / А. Є. Конверський ; Київ. нац. ун-т ім. Т. Шевченка. — Київ : Київ. ун-т, 2016. — 190 с. — ISBN 978-966-439-890-9-Ч.1.
- Конверський, Анатолій Євгенович
Логіка (традиційна та сучасна) [Текст] : Підруч. / А. Є. Конверський ; Київ. нац. ун-т ім. Т. Шевченка. — К. : Центр навч. літ., 2004. — 535 с. — ISBN 966-8365-26-7.
- Стягун, Д. И.
Применение логики предикатов для автоматизации процесса функционирования подсистемы управления персоналом на предприятиях [Текст] / Д. И. Стягун, С. А. Солод // Известия высших учебных заведений. Пищевая технология. — 2012. — № 1. — С. 114-115. — Библиогр. в конце ст.
- Представление и использование знаний [Текст] : Пер. с япон. / Х. Уэно, Т. Кояма, Т. Окамото и др. ; Под ред. Х. Уэно, М. Исидзука. — М. : Мир, 1989. — 220 с. — ISBN 5-03-000685-0.
- Хоменко, Ірина Вікторівна
Логіка - юристам [Текст] : Підруч. / В. І. Хоменко. — К. : Четверта хвиля, 1997. — 392 с. — ISBN 966-529-045-2.
- Хоменко, Ірина Вікторівна
Логіка [Текст] : Практикум: Навч. посіб. / І. В. Хоменко ; Київ. нац. ун-т ім. Т. Шевченка. — К. : Юрінком Інтер, 2002. — 240 с. — ISBN 966-667-034-8.
|
