Про нас Електронний депозитарій 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)
Знайти схожі

 
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)