87.4 З-47     Зегет, Вольфганг.     Элементарная логика [] = Elementare logik : [учеб. пособие] / В. Зегет ; пер. с нем. И. М. Морозовой ; под ред. и с предисл. Е. Б. Кузиной. - М. : Высш. шк., 1985. - 256 с. - Библиогр. в подстрочном примеч. - Лит.: с. 254. - 0.90 р.ББК 87.4 Рубрики: Логіка--Наукові видання     Кл.слова (ненормовані): формальна логіка -- формальная логика -- логіка висловлювань -- логика высказываний -- логические умозаключения -- логічні умовиводи -- редуктивные умозаключения -- редуктивні умовиводи -- логіка предикатів -- логика предикатов -- теория определения -- теорія визначення -- безпосередні висновки -- непосредственные умозаключения -- силогістика -- силлогистика -- висновки по аналогії -- умозаключения по аналогии Анотація: Оригинальное учебное пособие, в котором проблемы традиционной и современной формальной логики органично переплетены и связаны, что делает книгу интересной с методическо-дидактической точки зрения. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Морозов, И. М. \пер.\; Кузина, Е. Б. \ред., авт. предисл.\ Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1)

160(075) И 97     Ішмуратов, Анатолій Теміргалійович.     Вступ до філософської логіки [] : підручник для студ. та асп. гуманіт. спец. вищ. навч. закл. / А. Т. Ішмуратов ; Міжнар. фонд "Відродження". - К. : Абрис, 1997. - 350 с. - (Програма "Трансформація Гуманітарної Освіти в Україні"). - Бібліогр.: с.333-344. - ISBN 966-531006-2 : 1.50 грн УДК 160(075) ББК 87.4я73 Рубрики: Філософська логіка--Навчальні видання для вищої школи     Кл.слова (ненормовані): класична логіка -- класическая логика -- логічні схеми -- логические схеми -- логічна семантика -- логическая семантика -- логіка висловлювань -- логика висказываний -- логічні сполучники -- логические соединения -- логіка висловлювань -- логика высказываний -- інтерпретація -- интерпритация -- логічний закон -- логический закон -- логіка предикатів -- логика предикатов -- квантори -- кванторы -- логіка класів -- логика класов -- логіка відношень -- логика отношений -- девіантні логіки -- девиантные логики -- логіка Лукасевича -- логика Лукасевича -- логіка Бочвара -- логика Бочвара -- логіка Белнапа -- логика Белнапа -- модальна логіка -- модальная логика -- філософська оцінка -- философская оценка -- часова логіка -- часовая логика -- деонтична логіка -- деонтическая логика -- логіка санкцій Андерсона -- логика санкций Андерсона -- епістемічна логіка -- епистемическая логика -- праксеологіка -- праксеологика -- логіка діяльності -- логика деятельности -- міркування -- соображения -- діяльність -- деятельность -- логіка дії -- логика действия -- людські взаємодії -- человеческие взаимодействия -- практичні міркування -- практические мышления -- дедукція -- дедукция -- аналіз -- анализ -- силогістика Лукасевича -- силогистика Лукасевича -- пресупозиція -- пресупозиция -- часова тризначна логика -- временная трехзначная логика -- логіка Бочвара -- логика Бочвара -- теорія ігор -- теория игор -- аналіз дискурсу -- анализ дискурсу Анотація: У підручнику докладно розглянуто такі напрями, як часова логіка , деонтична логіка, епістемічна логіка, логіка норм та оцінок, логіка дій, логіка взаємодій, логіка запитань та відповідей, логіка прийняття рішень, а також актуальні підходи, безпосерерньо повязані з логіко- філософським аналізом гуманітарного знання. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Міжнародний фонд "Відродження" Примірників всього: 3 ЧЗ (2), ФОНД (1) Свободны: ЧЗ (2), ФОНД (1)

007 П 62     Поспелов, Дмитрий Александрович.     Моделирование рассуждений. Опыт анализа мыслительных актов [] / Д. А. Поспелов. - М. : Радио и связь, 1989. - 184 с. : рис., табл. - Лит.: с. 179-183. - ISBN 5-256-00183-3 : 0.60 р. УДК 007 ББК 32.813 Рубрики: Штучний інтелект--Кібернетичні моделі--Популярні видання     Кл.слова (ненормовані): формальные рассуждения -- формальні міркування -- человеческие рассуждения -- людські міркування -- силлогистика Аристотеля -- силогістика Арістотеля -- моделирование силлогистики -- моделювання силогістики -- исчисление высказываний -- обчислення висловлювань -- исчисление предикатов -- обчислення предикатів -- нечеткая силлогистика -- нечітка силогістика -- интеллектуальная система -- інтелектуальна система -- семантическая сеть -- семантична мережа -- управление выводами -- управління висновками -- продукционные системы -- продукційні системи -- герменевтика -- забытые науки -- забуті науки Анотація: Описываются дедуктивные, индуктивные и правдоподобные модели, учитывающие особенности человеческих рассуждений. Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 2 ВВ (1), ФОНД (1) Свободны: ВВ (1), ФОНД (1)