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

Базы данных


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

Вид поиска

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


    Тофтул, Михайло Григорович.
    Логіка [] : навч. посібник для студ. вищ. навч. закл. / М. Г. Тофтул. - К. : Академія, 2002. - 367 с. - (Альма-матер). - Л-ра: с. 365-367. - ISBN 966-580-119-8 : 15.00 грн
УДК
ББК 87.4я73
Рубрики: Логіка--Навчальні видання для вищої школи
   
фывфывфыв:
логіка -- логика -- мислення -- мышление -- уявлення -- представление -- обсяг понять -- объем понятий -- операції з поняттями -- операции с понятиями -- судження -- суждения -- речення -- предложения -- прості судження -- простые суждения -- складні судження -- сложные суждения -- закон тотожності -- закон тождества -- закон достатньої підстави -- закон достаточного основания -- закон ідемпотентності -- закон идемпотентности -- закон комутативності -- закон коммутативности -- закони контрапозиції -- законы контрапозиции -- закон асоціативності -- закон ассоциативности -- логічний вивод -- логический вывод -- умовиводи -- умозаключения -- силогізм -- силогизм -- складні силогізми -- складні силогізми -- індукція -- индукция -- аналогія -- аналогия -- гіпотези -- гипотези -- доведення -- доведение -- спростування -- опровержение -- софізми і паралогізми -- софизмы и паралогизмы -- логіка Давньої Індії -- логика Древней Индии -- логіка Арістотеля -- логика Аристотеля -- логіка середньовіччя -- логика средневековья -- логіка нового часу -- логика нового времени -- сучасна логіка -- современная логика -- історія логіки -- история логики
Аннотация: Автор, зважаючи на свій більш як тридцятилітній досвід викладання логіки і вищій школі, прагнув, щоб цей посібник був максимально доступний і корисний для студентів. До підручника увійшли запитання для самоперевірки, вправи, задачі та приклали їх розв'язання, поради полемісту.

Держатели документа:
ЖОУНБ ім. О. Ольжича
Экземпляры всего: 2
ЧЗ (2)
Свободны: ЧЗ (2)
Найти похожие

2.
007
Б 19


    Бакаев, Александр Александрович.
    Методы организации и обработки баз знаний [] / А. А. Бакаев, В. И. Гриценко, Д. Н. Козлов ; Акад. наук Украины, Ин-т кибернетики им. В. М. Глушкова. - К. : Наук. думка, 1993. - 151 с. : рис. - Лит.: с. 147-148. - ISBN 5-12-0003757-7 : 300.00 крб
УДК
ББК 32.813
Рубрики: Системи штучного інтелекту--Наукові видання
   Експертні системи--Наукові видання

   
фывфывфыв:
компьютерные системы -- комп'ютерні системы -- дедукция -- интеллектуальные системы -- інтелектуальні системи -- представление знаний -- представлення знань -- логический вывод -- логічний вивід -- комбинированые свидетельства -- комбіновані свідоцтва -- программное обеспечение -- програмне забезпечення -- база даных -- логический вывод -- логічний вивід
Аннотация: Администрируются методы проектирования и реализации интеллектуальных и экспертных систем.

Держатели документа:
ЖОУНБ ім. О. Ольжича

Доп.точки доступа:
Гриценко, Владимир Ильич; Козлов, Дмитрий Николаевич; Академия наук Украины; Институт кибернетики им. В. М. Глушкова
Экземпляры всего: 1
ВВ (1)
Свободны: ВВ (1)
Найти похожие

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