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

Про нас

Електронний депозитарій 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)
Найти похожие

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)