К 64 Конверський, Анатолій Євгенович. Логіка (традиційна та сучасна) [] : підручник для студ. вищ. навч. закл. / А. Є. Конверський. - 2-е вид. - К. : Центр учбов. л-ри, 2008. - 536 с. - Л-ра: с.534-535. - ISBN 978-966-364-735-7 : 90.00 грн
Рубрики: Логіка--Навчальні видання для вищої школи Кл.слова (ненормовані): мислення -- мышление -- мова -- язык -- формалізація -- формализация -- поняття -- понятие -- судження -- суждение -- умовивід -- умозаключение -- аргументація -- аргументация -- спростування -- опровержение -- логіка висловлювань -- логика высказываний -- класична логіка -- классическая логика -- логіка предикатів -- логика предикатов -- некласична логіка -- неклассическая логика -- багатозначна логіка -- многозначная логика -- модальна логіка -- модальная логика -- закони логіки -- законы логики -- аналогія -- аналогия -- історія логіки -- история логики -- сучасна логіка -- современная логика -- традиційна логіка -- традиционная логика Анотація: Підручник складається із двох книг: "Традиційна логіка" і "Сучасна логіка". Його написано на основі досвіду читання курсу "Логіка" в Київському національному університеті ім. Тараса Шевченка. Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 1 ФОНД (1) Свободны: ФОНД (1) |
Щ 64 Щербина, Олена Юріївна. Логіка для юристів [] : курс лекцій / О. Ю. Щербина. - Вид. 4-те. - К. : Юрид. думка, 2009. - 264 с. : рис. - Слов.: с. 247-259. - Л-ра: с. 260-263. - ISBN 978-966-326-254-3 : 49.00 грн
Рубрики: Юридична логіка--Навчальні видання для вищої школи Кл.слова (ненормовані): поняття -- понятие -- судження -- суждение -- юристи -- юристы -- закони логіки -- законы логики -- умовивід -- умозаключение -- аргументація -- аргументация -- суперечка -- спор -- доведення -- доказательство -- критика -- спростування -- опровержение -- логіка висловлювань -- логика высказываний Анотація: Викладаються основи логіки з урахуванням специфіки професійної діяльності юриста. Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 1 ФОНД (1) Свободны: ФОНД (1) |
З-47 Зегет, Вольфганг. Элементарная логика [] = Elementare logik : [учеб. пособие] / В. Зегет ; пер. с нем. И. М. Морозовой ; под ред. и с предисл. Е. Б. Кузиной. - М. : Высш. шк., 1985. - 256 с. - Библиогр. в подстрочном примеч. - Лит.: с. 254. - 0.90 р. Рубрики: Логіка--Наукові видання Кл.слова (ненормовані): формальна логіка -- формальная логика -- логіка висловлювань -- логика высказываний -- логические умозаключения -- логічні умовиводи -- редуктивные умозаключения -- редуктивні умовиводи -- логіка предикатів -- логика предикатов -- теория определения -- теорія визначення -- безпосередні висновки -- непосредственные умозаключения -- силогістика -- силлогистика -- висновки по аналогії -- умозаключения по аналогии Анотація: Оригинальное учебное пособие, в котором проблемы традиционной и современной формальной логики органично переплетены и связаны, что делает книгу интересной с методическо-дидактической точки зрения. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Морозов, И. М. \пер.\; Кузина, Е. Б. \ред., авт. предисл.\ Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1) |
К 64 Конверський, Анатолій Євгенович. Логіка [] : підручник для студ. вищ. навч. закл. / А. Є. Конверський. - К. : Укр. Центр духов. культури, 1999. - 400 с. : граф., табл. - Бібліогр. в підрядковій прим. - Л-ра: с. 393-394. - ISBN 966-7276-50-3 : 14.00 грн, 18.34 грн
Рубрики: Логіка--Навчальні видання для вищої школи Кл.слова (ненормовані): традиційна логіка -- традиционная логика -- предмет логіки -- предмет логики -- мислення і мова -- мышление и язык -- формалізація логіки -- формализация логики -- логічні терміни -- логические термины -- теорія імен -- теория имен -- функціональний аналіз у логіці -- функциональный анализ в логике -- історія логіки -- история логики -- логічні операціїї над поняттями -- логические операции над понятиями -- судження -- суждения -- атрибутивні судження -- атрибутивные суждения -- модальні судження -- модальные суждения -- умовиводи -- умозаключения -- аргументація -- аргументация -- класична логіка -- классическая логика -- логіка висловлювань -- логика изречений -- логіка предикатів -- логика предикатов Анотація: Підручник складається з двох частин: "Традиційна логіка" і "Класична логіка". В першій частині розкривається предмет, метод логіки, основні форми та закони мислення. У другій частині розглядаються передумови виникнення сучасної логіки, обгрунтовується поділ класичної логіки на логіку висловлювань і логіку предикатів, здійснюється типологія і аналіз формально-логічних теорій в межах логіки висловлювань і логіки предикатів. Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 3 ЧЗ (2), АБ (1) Свободны: ЧЗ (2), АБ (1) |
Н 64 Нікольський, Юрій Володимирович. Системи штучного інтелекту [] : навч. посібник / Ю. В. Нікольський, В. В. Пасічник, Ю. М. Щербина ; за наук. ред. д. т. н. проф. В. В. Пасічника ; М-во освіти і науки України. - Л. : Магнолія 2006, 2010. - 278, [2] с. : табл., рис. - (Комп'ютинг). - Алф. покажч.: с. 271-274. - Л-ра: с. 275-278. - ISBN 978-617-57-40-11-4 : 120.00 грн
Рубрики: Штучний інтелект--Навчальні видання для вищої школи Кл.слова (ненормовані): логіка висловлювань -- логика высказываний -- логічне виведення -- логическое выведение -- логічні зв'язки -- логические связи -- числення висловлювань -- исчисления высказываний -- машинне навчання -- машинное обучение -- дерево рішень -- дерево решений -- біологічні нейронні мережі -- биологические нейронные сети -- метод опорних векторів -- метод опорных векторов -- модель штучного нейрона -- модель искусcтвенного интеллекта -- самоорганізаційні мережі -- самоорганизационные сети -- нечіткі множники -- нечеткие множители -- стохастичний підхід -- стохастический подход -- формальна теорія -- формальная теория -- карта Кохонена -- зворотнє поширення помилки -- обратное распространение ошибки -- байєсівська мережа довіри -- байесовская сеть доверия Анотація: Поняття та методи систем штучного інтелекту, методика побудови предметної області. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Пасічник, Володимир Володимирович; Щербина, Юрый Миколайович; Пасічник, Володимир Володимирович \ред.\; Міністерство освіти і науки України Примірників всього: 1 ВВ (1) Свободны: ВВ (1) |
В 12 Вагин, Вадим Николаевич. Дедукция и обобщение в системах принятия решений [] / В. Н. Вагин. - М. : Наука, 1988. - 384 с. : рис., табл. - (Проблемы искусственного интеллекта). - Лит.: с. 370-381. - ISBN 5-02-013887-8 : 4.50 р.
Рубрики: Штучний інтелект--Практичні посібники Прийняття рішень теорія--Практичні посібники Кл.слова (ненормовані): формальные системы -- формальні системи -- семантические сети -- семантичні мережі -- дедуктивные процедуры -- дедуктивні процедури -- кластеризация -- дедуктивный вывод -- дедуктивний вивід -- обобщение понятий -- узагальнення поняття -- принцип резолюций -- логика висказываний -- логіка висловлювань -- линейная резолюция -- анализ систем -- транзитивная аппроксимация -- алгоритм точечного обобщения -- алгоритм точкового узагальнення Анотація: Методы дедуктивного вывода и обобщения в системах принятия решений. Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 1 ВВ (1) Свободны: ВВ (1) |
П16 Панішев, Анатолій Васильович. Методологія наукових досліджень [] : навч. посібник / А. В. Панішев, О. Б. Мацій, Т. І. Пількевич ; М-во освіти та науки України, Житомир. держ. технол. ун-т. - Житомир : ЖДТУ, 2013. - 147, [1] с. : рис., табл. - Предм. покажч.: с. 136-144. - Літ.: с. 145-147. - ISBN 978-966-683-370-2 : 33.00 грн
Рубрики: Наукові дослідження--Навчальні видання Кл.слова (ненормовані): місцеві видання -- местные издания -- математичне моделювання -- математическое моделирование -- наукові дослідження -- научные исследования -- електронні джерела інформації -- электронные источники информации -- наукові методи пізнання -- научные методы познания -- логіка висловлювань -- логика высказываний -- теорія алгоритмів -- теория алгоритмов -- оптимізаційні задачі -- оптимизационные задачи -- напрямки в математиці -- направления в математике Анотація: В посібнику розглянуті основні поняття загальної теорії методів пізнання. Він знайомить читача з еволюцією системи наукових знань, загальнологічними законами та з особливостями сучасних наукових доліджень, в яких домінуюча роль відводиться математичному моделюванню і прикладній математиці. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Мацій, Ольга Борисівна; Пількевич, Тетяна Ігорівна; Міністерство освіти і науки України; Житомирський державний технологічний університет Примірників всього: 2 КР (1), ВВ (1) Свободны: КР (1), ВВ (1) |
М50 Мендельсон, Элиот. Введение в математическую логику [] = Introduktion to mathematical logic / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 2-е изд., испр. - М. : Наука, Гл. ред. физ.-мат. лит., 1976. - 320 с. : рис. - Лит.: с. 296-309. - Алф. указ.: с. 310-317. - 1.65 р.
Рубрики: Математична логіка--Наукові видання Кл.слова (ненормовані): тавтологія -- тавтология -- система аксіом -- система аксиом -- докази -- доказательства -- арифметичні функції -- арифметические функции -- теорема Геделя -- теорема Тарського -- теорема Тарского -- теорема Хартогса -- алгорифми Маркова -- алгорифмы Маркова -- алгорифми Тьюринга -- алгорифмы Тьюринга -- обчислення предикатів -- исчисление предикатов -- логіка висловлювань -- логика высказываний -- формальна арифметика -- формальная арифметика -- теорія алгоритмів -- теория алгоритмов Анотація: Изложены основные понятия математической логики: логика высказываний, исчисление предикатов, формальная арифметика, теория алгоритмов и др. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Кабаков, Ф. А. \пер.\; Адян, С. И. \ред.\ Примірників всього: 2 ЧЗ (1), ФОНД (1) Свободны: ЧЗ (1), ФОНД (1) |
М33 Матвієнко, Микола Павлович. Математична логіка та теорія алгоритмів [] : навч. посібник / М. П. Матвієнко, С. П. Шаповалов ; М-во освіти і науки України, Сум. держ. ун-т. - К. : Ліра-К, 2015. - 211, [1] с. : рис., табл. - Л-ра: с. 210-211. - ISBN 978-966-2609-74-5 : 92.00 грн, 100.00 грн
Рубрики: Математична логіка--Навчальні видання для вищої школи Алгоритмів теорія--Навчальні видання для вищої школи Кл.слова (ненормовані): класична математична логіка -- классическая математическая логика -- некласична математична логіка -- неклассическая математическая логика -- логіка висловлювань -- логика высказываний -- нечеткая логика -- нечітка логіка -- епістемічна логіка -- эпистемическая логика -- деонтична логіка -- інтуїціоністська логіка -- интуиционистская логика -- деонтичная логика -- методи логіки -- методы логики -- теорія алгоритмів -- теория алгоритмов -- модальна логіка -- модальная логика Анотація: Основні поняття і методи математичної логіки, а також основи теорії алгоритмів. Матеріал проілюстровано вправами та задачами. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Шаповалов, Сергій Павлович; Мііністерство освіти і науки УкраїниСумський державний університет Примірників всього: 2 ЧЗ (1), ФОНД (1) Свободны: ЧЗ (1), ФОНД (1) |
К64 Конверський, Анатолій Євгенович. Сучасна логіка (класична та некласична) [] : підручник / А. Є. Конверський ; М-во освіти і науки України, Київ. нац. ун-т ім. Т. Шевченка. - 2-ге вид., переробл. та допов. - Київ : Центр учбов. літ., 2018. - 292, [4] с. : табл. - Літ.: с. 293. - ISBN 978-617-673-684-4 : 209.00 грн
Рубрики: Логіка--Навчальні видання для вищої школи Кл.слова (ненормовані): класична логіка -- сучасна логіка -- логіка висловлювань -- логіка предикатів -- некласична логіка -- багатозначна логіка -- модальна логіка -- алетична логіка -- темпоральна логіка -- деонтична логіка -- епістемічна логіка Анотація: Розкриті історичні та теоретичні передумови виникнення сучасної логіки. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Міністерство освіти і науки України; Київський національний університет імені Тараса Шевченка Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1) |
Л85 Лупенко, Сергій Анатолійович. Комп'ютерна логіка [] : навч. посіб. / С. А. Лупенко, В. В. Пасічник, Є. В. Тиш ; за заг. наук. ред. В. В. Пасічника ; М-во освіти і науки України. - Львів : Магнолія - 2006, 2018. - 353, [1] с. : рис., табл. - (Комп'ютинг). - Літ.: с. 343-344. - ISBN 978-617-574-109-2 : 280.00 грн
Рубрики: Комп'ютери--Математична логіка--Навчальні видання для вищої школи Кл.слова (ненормовані): логіка висловлювань -- алгебра логіки -- системи числення -- арифметичні дії в комп'ютерних системах -- теорія абстрактних цифрових автоматів -- алгебра Жегалкіна -- система булевих функцій -- мінімізація функцій перемикання -- мінімізація кон'юктивних нормальних форм -- комбінаційні схеми -- методи синтезу -- аналіз комбінаційних схем -- структурний синтез цифрових автоматів -- мікропрограмні комп'ютерні системи Анотація: Логіка функціонування класичних комп'ютерів як детермінованих цифрових автоматів: теорія систем числення, форми подання та кодування чисел в комп'ютерах. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Пасічник, Володимир Володимирович; Тиш, Євгенія Володимирівна; Пасічник, Володимир Володимирович \ред.\; Міністерство освіти і науки України Примірників всього: 1 ВВ (1) Свободны: ВВ (1) |