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

Про нас

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

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

Бази даних

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

Вид пошуку

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

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

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

Зона пошуку

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

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

Пошуковий запит: <.>K=логіка предикатів<.>

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

Форма документа : Однотомне видання
Шифр видання : 510.6(076)/Т 76
Автор(и) : Трохимчук, Ростислав Миколайович
Назва : Збірник задач і вправ з математичної логіки : Навч. посіб. для студентів вищ. учб. закл.
Вихідні дані : К.: Персонал, 2008
Кільк.характеристики :114 с.: табл.
Колективи : Міжрегіональна Академія Управління персоналом
Примітки : Л-ра: с. 113
ISBN, Ціна 978-966-608-854-6: 013.50 грн
УДК : 510.6(076)
ББК : 22.12я73
Предметні рубрики: Математика-- Математична логіка
Географіч. рубрики:
Анотація: Збірник містить ретельно відібраний і систематизований набір відомих і оригинальних задач і вправ з класичних розділів математичної або формальної логіки: алгебра висловлень, числення висловлень і логіка предикатів. Кожному розділу передує короткий теоретичний вступ, де подано основні означення і терміни.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 16(075.8)/П12
Автор(и) : Павлов, Віталій Іванович
Назва : Логіка у запитаннях, відповідях і аргументаціях : [навч. посіб для студ. вищ. навч. закл.]
Вихідні дані : К.: Центр учбов. л-ри, 2008
Кільк.характеристики :408 с.: рис., табл.
Примітки : Л-ра: с. 383-385. - Предм. покажч.: с. 386-391
ISBN, Ціна 978-966-364-647-3: 59.00, 056.00, грн
УДК : 16(075.8)
ББК : 87.4я73
Предметні рубрики: Логіка
Географіч. рубрики:
Анотація: Нетрадиційна форма викладу теоретичного матеріалу, наявність алгоритмів розв'язання типових задач і оригінальних контрольно-навчальних тестів дають змогу провести самостійний тренінг-контроль якості засвоєння дисціпліни, отримати практичні навики логічного мислення і вирішити низку світоглядних проблем щодо формування логічного знання.
Примірники : всього : ЧЗ(1), ФОНД(1)
Вільні : ЧЗ(1), ФОНД(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 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(075)/Ж79
Автор(и) : Жоль, Костянтин Костянтинович
Назва : Вступ до сучасної логіки : навч. посібник для студ. гуманіт. спец. вищ. навч. закл.
Вихідні дані : К.: Либідь, 2002
Кільк.характеристики :152 с
Примітки : Бібліогр.: с. 141-151
ISBN, Ціна 966-06-0241-3: 8.70 грн
УДК : 16(075)
ББК : 87.4я73
Предметні рубрики: Логіка
Географіч. рубрики:
Анотація: Основні поняття й методи сучасної логіки, зв’язок логіки з гуманітарними, природничими та технічними науками, значення логіки для програмного забезпечення сучасних комп’ютерів.
Примірники : всього : МИСТ(1), ЧЗ(4), ФОНД(1)
Вільні : МИСТ(1), ЧЗ(4), ФОНД(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 16( 075)/Ж 79
Автор(и) : Жоль, Константин Константинович
Назва : Вступ до сучасної логіки : Навч. посіб.
Вихідні дані : К.: Вища шк., 1992
Кільк.характеристики :128 с
Примітки : Реком. покажч.: с.127-128
ISBN, Ціна 5-11-003825-2: 10 р.
УДК : 16( 075)
ББК : 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/О-75
Автор(и) : Галушкин А. И., Дегтярев Ю. И., Калинин Б. Н., Костюк Г. А.
Назва : Основы кибернетики: учеб. пособие/ под ред. К. А. Пупкова. Математические основы кибернетики
Вихідні дані : М.: Высш. шк., 1974 -
Кільк.характеристики :413 с.: рис., табл.
Примітки : Лит.: с. 405-406. - Алф. указ.: с. 407-411
Ціна : 0.88 р.
УДК : 007
ББК : 32.81я73
Предметні рубрики: Кібернетика
Географіч. рубрики:
Анотація: Изложен математический аппарат, используемый при построении моделей кибернетических систем и изучении их поведения на основе исследования этих систем.
Примірники :ВВ(1)
Вільні : ВВ(1)
Знайти схожі

10.

Форма документа : Однотомне видання
Шифр видання : 16(075.8)/К21
Автор(и) : Карамишева, Неллі Василівна
Назва : Логіка (теоретична і прикладна) : навч. посібник
Вихідні дані : К.: Знання, 2011
Кільк.характеристики :455, [1] с.: табл.
Примітки : Л-ра: с. 454-455
ISBN, Ціна 978-966-346-725-2: 83.00 грн
УДК : 16(075.8)
ББК : 87.4я73
Предметні рубрики: Логіка
Географіч. рубрики:
Анотація: Системи теоретичної логіки (традиційна логіка, символічна логіка), нові напрями логічних досліджень (логіка існування, практична логіка) та прикладної логіки (логіка науки, логіка дискурсу).
Примірники : всього : ЧЗ(1), ФОНД(1)
Вільні : ЧЗ(1), ФОНД(1)
Знайти схожі

11.

Форма документа : Однотомне видання
Шифр видання : 007/О-79
Автор(и) : Осуга, Сэцуо
Назва : Обработка знаний
Вихідні дані : М.: Мир, 1989
Кільк.характеристики :293 с.: рис., табл.
ISBN, Ціна 4-274-07321-1: 1.10 р.
УДК : 007
ББК : 32.813
Предметні рубрики: Штучний інтелект
Анотація: Исследования по искусственному интеллекту, методы представления знаний в экспертных системах.
Примірники : всього : ВВ(1), ФОНД(1)
Вільні : ВВ(1), ФОНД(1)
Знайти схожі

12.

Форма документа : Однотомне видання
Шифр видання : 004.891/Р79
Автор(и) : Рот, Михаэль
Назва : Интеллектуальный автомат: компьютер в качестве эксперта
Вихідні дані : М.: Энергоатомиздат, 1991
Кільк.характеристики :80 с.: рис.
ISBN, Ціна 5-283-02522-5: 6.55 крб
УДК : 004.891
ББК : 32.813
Предметні рубрики: Експертні системи
Комп'ютери-- Історія
Географіч. рубрики:
Анотація: Основы построения и практического применения экспертных систем, дан анализ эволюции компьютеров за последние три столетия.
Примірники :ФОНД(1)
Вільні : ФОНД(1)
Знайти схожі

13.

Форма документа : Однотомне видання
Шифр видання : 16(075.8)/П12
Автор(и) : Павлов, Віталій Іванович
Назва : Логіка у запитаннях, відповідях і аргументаціях : навч. посібник для студ. вищ. навч. закл.
Вихідні дані : Київ: Центр учбов. літ., 2012
Кільк.характеристики :407, [1] с.: табл., мал.
Примітки : Л-ра: с. 383-385. - Предм. покажч.: с. 386-391
ISBN, Ціна 978-966-364-647-3: 30.00 грн
УДК : 16(075.8)
ББК : 87.4я73
Предметні рубрики: Логіка
Географіч. рубрики:
Анотація: Навчальний посібник містить близько 500 фундаментальних запитань з класичної логіки і аргументованих відповідей на них.
Примірники : всього : ЧЗ(1), ФОНД(1)
Вільні : ЧЗ(1), ФОНД(1)
Знайти схожі

14.

Форма документа : Однотомне видання
Шифр видання : 510.6/Н73
Автор(и) : Новиков, Петр Сергеевич
Назва : Элементы математической логики . -2-е изд., испр.
Вихідні дані : М.: Наука, Гл. ред. физ.-мат. лит., 1973
Кільк.характеристики :400 с
Серія: Математическая логика и основания математики
Примітки : Предм. указ.: с. 397-399
Ціна : 1.43 р.
УДК : 510.6
ББК : 22.122
Предметні рубрики: Математична логіка
Географіч. рубрики:
Анотація: Изложены основы математической логики, рассмотрены методы теории доказательств, посредством которых решаются вопросы математической логики.
Примірники : всього : ЧЗ(1), ФОНД(1)
Вільні : ЧЗ(1), ФОНД(1)
Знайти схожі

15.

Форма документа : Однотомне видання
Шифр видання : 004.43/М19
Автор(и) : Малпас Дж.
Назва : Реляционный язык Пролог и его применение
Вихідні дані : Москва: Наука, 1990
Кільк.характеристики :464 с.: рис., табл.
Примітки : Прил.: с. 328-447. - Лит.: с. 448-458. - Предм. указ.: с. 459-463
ISBN, Ціна 5-02-014509-2: 3.50 р.
УДК : 004.43
ББК : 32.973.2-018
Предметні рубрики: Pascal, мова-- Програмування-- Методика-- Застосування
Географіч. рубрики:
Анотація: Реляционный язык программирования Пролог, рассматривается методика программирования и конкретные приложения.
Примірники :ВВ(1)
Вільні : ВВ(1)
Знайти схожі

16.

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

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