Зведений каталог Житомирської обласної універсальної наукової бібліотеки ім. О. Ольжича та бібліотек Житомирської області

Про нас

Електронний депозитарій LIBO

Зведений каталог України

Бази даних

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

Вид пошуку

Електронний каталог ЖОУНБ ім. О. Ольжича

Цінні та рідкісні видання ЖОУНБ ім. О. Ольжича

Звягельська бібліотека ЗМР

Зона пошуку

у знайденому

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>K=логіка висловлювань<.>

Загальна кількість знайдених документів : 12
Показані документи с 1 за 12

1-10 11-12

16(075.8)
К 64

Конверський, Анатолій Євгенович.
Логіка (традиційна та сучасна) [] : підручник для студ. вищ. навч. закл. / А. Є. Конверський. - 2-е вид. - К. : Центр учбов. л-ри, 2008. - 536 с. - Л-ра: с.534-535. - ISBN 978-966-364-735-7 : 90.00 грн

УДК

16(075.8)

ББК 87.4я73
Рубрики: Логіка--Навчальні видання для вищої школи

Кл.слова (ненормовані):
мислення -- мышление -- мова -- язык -- формалізація -- формализация -- поняття -- понятие -- судження -- суждение -- умовивід -- умозаключение -- аргументація -- аргументация -- спростування -- опровержение -- логіка висловлювань -- логика высказываний -- класична логіка -- классическая логика -- логіка предикатів -- логика предикатов -- некласична логіка -- неклассическая логика -- багатозначна логіка -- многозначная логика -- модальна логіка -- модальная логика -- закони логіки -- законы логики -- аналогія -- аналогия -- історія логіки -- история логики -- сучасна логіка -- современная логика -- традиційна логіка -- традиционная логика
Анотація: Підручник складається із двох книг: "Традиційна логіка" і "Сучасна логіка". Його написано на основі досвіду читання курсу "Логіка" в Київському національному університеті ім. Тараса Шевченка.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича
Примірників всього: 1
ФОНД (1)
Свободны: ФОНД (1)
Знайти схожі

16:34(075.8)
Щ 64

Щербина, Олена Юріївна.
Логіка для юристів [] : курс лекцій / О. Ю. Щербина. - Вид. 4-те. - К. : Юрид. думка, 2009. - 264 с. : рис. - Слов.: с. 247-259. - Л-ра: с. 260-263. - ISBN 978-966-326-254-3 : 49.00 грн

УДК

16:34(075.8)

ББК 87.4я73
Рубрики: Юридична логіка--Навчальні видання для вищої школи

Кл.слова (ненормовані):
поняття -- понятие -- судження -- суждение -- юристи -- юристы -- закони логіки -- законы логики -- умовивід -- умозаключение -- аргументація -- аргументация -- суперечка -- спор -- доведення -- доказательство -- критика -- спростування -- опровержение -- логіка висловлювань -- логика высказываний
Анотація: Викладаються основи логіки з урахуванням специфіки професійної діяльності юриста.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича
Примірників всього: 1
ФОНД (1)
Свободны: ФОНД (1)
Знайти схожі

87.4
З-47

Зегет, Вольфганг.
Элементарная логика [] = Elementare logik : [учеб. пособие] / В. Зегет ; пер. с нем. И. М. Морозовой ; под ред. и с предисл. Е. Б. Кузиной. - М. : Высш. шк., 1985. - 256 с. - Библиогр. в подстрочном примеч. - Лит.: с. 254. - 0.90 р.

ББК 87.4
Рубрики: Логіка--Наукові видання

Кл.слова (ненормовані):
формальна логіка -- формальная логика -- логіка висловлювань -- логика высказываний -- логические умозаключения -- логічні умовиводи -- редуктивные умозаключения -- редуктивні умовиводи -- логіка предикатів -- логика предикатов -- теория определения -- теорія визначення -- безпосередні висновки -- непосредственные умозаключения -- силогістика -- силлогистика -- висновки по аналогії -- умозаключения по аналогии
Анотація: Оригинальное учебное пособие, в котором проблемы традиционной и современной формальной логики органично переплетены и связаны, что делает книгу интересной с методическо-дидактической точки зрения.

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

Дод.точки доступу:
Морозов, И. М. \пер.\; Кузина, Е. Б. \ред., авт. предисл.\
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Знайти схожі

16(075)
К 64

Конверський, Анатолій Євгенович.
Логіка [] : підручник для студ. вищ. навч. закл. / А. Є. Конверський. - К. : Укр. Центр духов. культури, 1999. - 400 с. : граф., табл. - Бібліогр. в підрядковій прим. - Л-ра: с. 393-394. - ISBN 966-7276-50-3 : 14.00 грн, 18.34 грн

УДК

16(075)

ББК 87.4я73
Рубрики: Логіка--Навчальні видання для вищої школи

Кл.слова (ненормовані):
традиційна логіка -- традиционная логика -- предмет логіки -- предмет логики -- мислення і мова -- мышление и язык -- формалізація логіки -- формализация логики -- логічні терміни -- логические термины -- теорія імен -- теория имен -- функціональний аналіз у логіці -- функциональный анализ в логике -- історія логіки -- история логики -- логічні операціїї над поняттями -- логические операции над понятиями -- судження -- суждения -- атрибутивні судження -- атрибутивные суждения -- модальні судження -- модальные суждения -- умовиводи -- умозаключения -- аргументація -- аргументация -- класична логіка -- классическая логика -- логіка висловлювань -- логика изречений -- логіка предикатів -- логика предикатов
Анотація: Підручник складається з двох частин: "Традиційна логіка" і "Класична логіка". В першій частині розкривається предмет, метод логіки, основні форми та закони мислення. У другій частині розглядаються передумови виникнення сучасної логіки, обгрунтовується поділ класичної логіки на логіку висловлювань і логіку предикатів, здійснюється типологія і аналіз формально-логічних теорій в межах логіки висловлювань і логіки предикатів.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича
Примірників всього: 3
ЧЗ (2), АБ (1)
Свободны: ЧЗ (2), АБ (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(075)
Н 64

Нікольський, Юрій Володимирович.
Системи штучного інтелекту [] : навч. посібник / Ю. В. Нікольський, В. В. Пасічник, Ю. М. Щербина ; за наук. ред. д. т. н. проф. В. В. Пасічника ; М-во освіти і науки України. - Л. : Магнолія 2006, 2010. - 278, [2] с. : табл., рис. - (Комп'ютинг). - Алф. покажч.: с. 271-274. - Л-ра: с. 275-278. - ISBN 978-617-57-40-11-4 : 120.00 грн

УДК

007(075)

ББК 32.813я73
Рубрики: Штучний інтелект--Навчальні видання для вищої школи

Кл.слова (ненормовані):
логіка висловлювань -- логика высказываний -- логічне виведення -- логическое выведение -- логічні зв'язки -- логические связи -- числення висловлювань -- исчисления высказываний -- машинне навчання -- машинное обучение -- дерево рішень -- дерево решений -- біологічні нейронні мережі -- биологические нейронные сети -- метод опорних векторів -- метод опорных векторов -- модель штучного нейрона -- модель искусcтвенного интеллекта -- самоорганізаційні мережі -- самоорганизационные сети -- нечіткі множники -- нечеткие множители -- стохастичний підхід -- стохастический подход -- формальна теорія -- формальная теория -- карта Кохонена -- зворотнє поширення помилки -- обратное распространение ошибки -- байєсівська мережа довіри -- байесовская сеть доверия
Анотація: Поняття та методи систем штучного інтелекту, методика побудови предметної області.

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

Дод.точки доступу:
Пасічник, Володимир Володимирович; Щербина, Юрый Миколайович; Пасічник, Володимир Володимирович \ред.\; Міністерство освіти і науки України
Примірників всього: 1
ВВ (1)
Свободны: ВВ (1)
Знайти схожі

007
В 12

Вагин, Вадим Николаевич.
Дедукция и обобщение в системах принятия решений [] / В. Н. Вагин. - М. : Наука, 1988. - 384 с. : рис., табл. - (Проблемы искусственного интеллекта). - Лит.: с. 370-381. - ISBN 5-02-013887-8 : 4.50 р.

УДК

007

ББК 32.813
Рубрики: Штучний інтелект--Практичні посібники
Прийняття рішень теорія--Практичні посібники

Кл.слова (ненормовані):
формальные системы -- формальні системи -- семантические сети -- семантичні мережі -- дедуктивные процедуры -- дедуктивні процедури -- кластеризация -- дедуктивный вывод -- дедуктивний вивід -- обобщение понятий -- узагальнення поняття -- принцип резолюций -- логика висказываний -- логіка висловлювань -- линейная резолюция -- анализ систем -- транзитивная аппроксимация -- алгоритм точечного обобщения -- алгоритм точкового узагальнення
Анотація: Методы дедуктивного вывода и обобщения в системах принятия решений.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича
Примірників всього: 1
ВВ (1)
Свободны: ВВ (1)
Знайти схожі

001.891(075.8)*М
П16

Панішев, Анатолій Васильович.
Методологія наукових досліджень [] : навч. посібник / А. В. Панішев, О. Б. Мацій, Т. І. Пількевич ; М-во освіти та науки України, Житомир. держ. технол. ун-т. - Житомир : ЖДТУ, 2013. - 147, [1] с. : рис., табл. - Предм. покажч.: с. 136-144. - Літ.: с. 145-147. - ISBN 978-966-683-370-2 : 33.00 грн

УДК

001.891(075.8)*М

ББК 72.4я73
Рубрики: Наукові дослідження--Навчальні видання

Кл.слова (ненормовані):
місцеві видання -- местные издания -- математичне моделювання -- математическое моделирование -- наукові дослідження -- научные исследования -- електронні джерела інформації -- электронные источники информации -- наукові методи пізнання -- научные методы познания -- логіка висловлювань -- логика высказываний -- теорія алгоритмів -- теория алгоритмов -- оптимізаційні задачі -- оптимизационные задачи -- напрямки в математиці -- направления в математике
Анотація: В посібнику розглянуті основні поняття загальної теорії методів пізнання. Він знайомить читача з еволюцією системи наукових знань, загальнологічними законами та з особливостями сучасних наукових доліджень, в яких домінуюча роль відводиться математичному моделюванню і прикладній математиці.

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

Дод.точки доступу:
Мацій, Ольга Борисівна; Пількевич, Тетяна Ігорівна; Міністерство освіти і науки України; Житомирський державний технологічний університет
Примірників всього: 2
КР (1), ВВ (1)
Свободны: КР (1), ВВ (1)
Знайти схожі

510.6
М50

Мендельсон, Элиот.
Введение в математическую логику [] = Introduktion to mathematical logic / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 2-е изд., испр. - М. : Наука, Гл. ред. физ.-мат. лит., 1976. - 320 с. : рис. - Лит.: с. 296-309. - Алф. указ.: с. 310-317. - 1.65 р.

УДК

510.6

ББК 22.122
Рубрики: Математична логіка--Наукові видання

Кл.слова (ненормовані):
тавтологія -- тавтология -- система аксіом -- система аксиом -- докази -- доказательства -- арифметичні функції -- арифметические функции -- теорема Геделя -- теорема Тарського -- теорема Тарского -- теорема Хартогса -- алгорифми Маркова -- алгорифмы Маркова -- алгорифми Тьюринга -- алгорифмы Тьюринга -- обчислення предикатів -- исчисление предикатов -- логіка висловлювань -- логика высказываний -- формальна арифметика -- формальная арифметика -- теорія алгоритмів -- теория алгоритмов
Анотація: Изложены основные понятия математической логики: логика высказываний, исчисление предикатов, формальная арифметика, теория алгоритмов и др.

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

Дод.точки доступу:
Кабаков, Ф. А. \пер.\; Адян, С. И. \ред.\
Примірників всього: 2
ЧЗ (1), ФОНД (1)
Свободны: ЧЗ (1), ФОНД (1)
Знайти схожі

10.

510.6(075.8)
М33

Матвієнко, Микола Павлович.
Математична логіка та теорія алгоритмів [] : навч. посібник / М. П. Матвієнко, С. П. Шаповалов ; М-во освіти і науки України, Сум. держ. ун-т. - К. : Ліра-К, 2015. - 211, [1] с. : рис., табл. - Л-ра: с. 210-211. - ISBN 978-966-2609-74-5 : 92.00 грн, 100.00 грн

УДК

510.6(075.8)

510.5(075.8)

ББК 22.122я73 + 22.127я73
Рубрики: Математична логіка--Навчальні видання для вищої школи
Алгоритмів теорія--Навчальні видання для вищої школи

Кл.слова (ненормовані):
класична математична логіка -- классическая математическая логика -- некласична математична логіка -- неклассическая математическая логика -- логіка висловлювань -- логика высказываний -- нечеткая логика -- нечітка логіка -- епістемічна логіка -- эпистемическая логика -- деонтична логіка -- інтуїціоністська логіка -- интуиционистская логика -- деонтичная логика -- методи логіки -- методы логики -- теорія алгоритмів -- теория алгоритмов -- модальна логіка -- модальная логика
Анотація: Основні поняття і методи математичної логіки, а також основи теорії алгоритмів. Матеріал проілюстровано вправами та задачами.

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

Дод.точки доступу:
Шаповалов, Сергій Павлович; Мііністерство освіти і науки УкраїниСумський державний університет
Примірників всього: 2
ЧЗ (1), ФОНД (1)
Свободны: ЧЗ (1), ФОНД (1)
Знайти схожі

11.

16(075.8)
К64

Конверський, Анатолій Євгенович.
Сучасна логіка (класична та некласична) [] : підручник / А. Є. Конверський ; М-во освіти і науки України, Київ. нац. ун-т ім. Т. Шевченка. - 2-ге вид., переробл. та допов. - Київ : Центр учбов. літ., 2018. - 292, [4] с. : табл. - Літ.: с. 293. - ISBN 978-617-673-684-4 : 209.00 грн

УДК

16(075.8)

ББК 87.4я73
Рубрики: Логіка--Навчальні видання для вищої школи

Кл.слова (ненормовані):
класична логіка -- сучасна логіка -- логіка висловлювань -- логіка предикатів -- некласична логіка -- багатозначна логіка -- модальна логіка -- алетична логіка -- темпоральна логіка -- деонтична логіка -- епістемічна логіка
Анотація: Розкриті історичні та теоретичні передумови виникнення сучасної логіки.

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

Дод.точки доступу:
Міністерство освіти і науки України; Київський національний університет імені Тараса Шевченка
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Знайти схожі

12.

004.312.466:16(075.8)
Л85

Лупенко, Сергій Анатолійович.
Комп'ютерна логіка [] : навч. посіб. / С. А. Лупенко, В. В. Пасічник, Є. В. Тиш ; за заг. наук. ред. В. В. Пасічника ; М-во освіти і науки України. - Львів : Магнолія - 2006, 2018. - 353, [1] с. : рис., табл. - (Комп'ютинг). - Літ.: с. 343-344. - ISBN 978-617-574-109-2 : 280.00 грн

УДК

004.312.466:16(075.8)

ББК 32.973-047.20
Рубрики: Комп'ютери--Математична логіка--Навчальні видання для вищої школи

Кл.слова (ненормовані):
логіка висловлювань -- алгебра логіки -- системи числення -- арифметичні дії в комп'ютерних системах -- теорія абстрактних цифрових автоматів -- алгебра Жегалкіна -- система булевих функцій -- мінімізація функцій перемикання -- мінімізація кон'юктивних нормальних форм -- комбінаційні схеми -- методи синтезу -- аналіз комбінаційних схем -- структурний синтез цифрових автоматів -- мікропрограмні комп'ютерні системи
Анотація: Логіка функціонування класичних комп'ютерів як детермінованих цифрових автоматів: теорія систем числення, форми подання та кодування чисел в комп'ютерах.

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

Дод.точки доступу:
Пасічник, Володимир Володимирович; Тиш, Євгенія Володимирівна; Пасічник, Володимир Володимирович \ред.\; Міністерство освіти і науки України
Примірників всього: 1
ВВ (1)
Свободны: ВВ (1)
Знайти схожі

1-10 11-12

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