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

Про нас

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

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

Бази даних

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

Вид пошуку

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

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

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

Зона пошуку

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

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

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

Загальна кількість знайдених документів : 12
Показані документи с 1 за 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)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 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)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 87.4/З-47
Автор(и) : Зегет, Вольфганг
Назва : Элементарная логика : [учеб. пособие]
Паралельн. назви :Elementare logik
Вихідні дані : М.: Высш. шк., 1985
Кільк.характеристики :256 с
Примітки : Библиогр. в подстрочном примеч. - Лит.: с. 254
Ціна : 0.90 р.
ББК : 87.4
Предметні рубрики: Логіка
Географіч. рубрики:
Анотація: Оригинальное учебное пособие, в котором проблемы традиционной и современной формальной логики органично переплетены и связаны, что делает книгу интересной с методическо-дидактической точки зрения.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 16(075)/К 64
Автор(и) : Конверський, Анатолій Євгенович
Назва : Логіка : підручник для студ. вищ. навч. закл.
Вихідні дані : К.: Укр. Центр духов. культури, 1999
Кільк.характеристики :400 с.: граф., табл.
Примітки : Бібліогр. в підрядковій прим. - Л-ра: с. 393-394
ISBN, Ціна 966-7276-50-3: 14.00, 18.34, грн
УДК : 16(075)
ББК : 87.4я73
Предметні рубрики: Логіка
Географіч. рубрики:
Анотація: Підручник складається з двох частин: "Традиційна логіка" і "Класична логіка". В першій частині розкривається предмет, метод логіки, основні форми та закони мислення. У другій частині розглядаються передумови виникнення сучасної логіки, обгрунтовується поділ класичної логіки на логіку висловлювань і логіку предикатів, здійснюється типологія і аналіз формально-логічних теорій в межах логіки висловлювань і логіки предикатів.
Примірники : всього : ЧЗ(2), АБ(1)
Вільні : ЧЗ(2), АБ(1)
Знайти схожі

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

Форма документа : Однотомне видання
Шифр видання : 007/В 12
Автор(и) : Вагин, Вадим Николаевич
Назва : Дедукция и обобщение в системах принятия решений
Вихідні дані : М.: Наука, 1988
Кільк.характеристики :384 с.: рис., табл.
Серія: Проблемы искусственного интеллекта
Примітки : Лит.: с. 370-381
ISBN, Ціна 5-02-013887-8: 4.50 р.
УДК : 007
ББК : 32.813
Предметні рубрики: Штучний інтелект
Прийняття рішень теорія
Географіч. рубрики:
Анотація: Методы дедуктивного вывода и обобщения в системах принятия решений.
Примірники :ВВ(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
Предметні рубрики: Наукові дослідження
Географіч. рубрики:
Ключові слова (''Вільн.індекс.''): місцеві видання--местные издания--математичне моделювання--математическое моделирование--наукові дослідження--научные исследования--електронні джерела інформації--электронные источники информации--наукові методи пізнання--научные методы познания--логіка висловлювань--логика высказываний--теорія алгоритмів--теория алгоритмов--оптимізаційні задачі--оптимизационные задачи--напрямки в математиці--направления в математике
Анотація: В посібнику розглянуті основні поняття загальної теорії методів пізнання. Він знайомить читача з еволюцією системи наукових знань, загальнологічними законами та з особливостями сучасних наукових доліджень, в яких домінуюча роль відводиться математичному моделюванню і прикладній математиці.
Примірники : всього : КР(1), ВВ(1)
Вільні : КР(1), ВВ(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 510.6/М50
Автор(и) : Мендельсон, Элиот
Назва : Введение в математическую логику . -2-е изд., испр.
Паралельн. назви :Introduktion to mathematical logic
Вихідні дані : М.: Наука, Гл. ред. физ.-мат. лит., 1976
Кільк.характеристики :320 с.: рис.
Примітки : Лит.: с. 296-309. - Алф. указ.: с. 310-317
Ціна : 1.65 р.
УДК : 510.6
ББК : 22.122
Предметні рубрики: Математична логіка
Географіч. рубрики:
Анотація: Изложены основные понятия математической логики: логика высказываний, исчисление предикатов, формальная арифметика, теория алгоритмов и др.
Примірники : всього : ЧЗ(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
Предметні рубрики: Математична логіка
Алгоритмів теорія
Географіч. рубрики:
Анотація: Основні поняття і методи математичної логіки, а також основи теорії алгоритмів. Матеріал проілюстровано вправами та задачами.
Примірники : всього : ЧЗ(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)
Знайти схожі

12.

Форма документа : Однотомне видання
Шифр видання : 004.312.466:16(07/Л85-261807
Автор(и) : Лупенко, Сергій Анатолійович, Пасічник, Володимир Володимирович, Тиш, Євгенія Володимирівна
Назва : Комп'ютерна логіка : навч. посіб.
Вихідні дані : Львів: Магнолія - 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)
Знайти схожі

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