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

Про нас

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

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

Базы данных

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

Вид поиска

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

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

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

Область поиска

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

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

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

Общее количество найденных документов : 15
Показаны документы с 1 по 15

Вид документа : Однотомное издание
Шифр издания : 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)/К 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/Ж 79
Автор(ы) : Жоль, Константин Костантинович
Заглавие : Методы научного познания и логика ( для юристов). : Учеб. пособ.
Выходные данные : К.: Атика, 2001
Колич.характеристики :288 с
Серия: Bibliotheca S tudiorum
Примечания : Лит.: с.278-285. Табл. символ. с.286-287
ISBN, Цена 966-7714-60-8: 14.50 грн
УДК : 16
ББК : 87.4
Предметные рубрики: Логика
Географич. рубрики:
Аннотация: Впервые в одной книге раскрываются как взаимосвязанные те вопросы методологии научного познания и логики, которые ранее рассматривались по отдельности. Посколько данная книга прежде всего ориентована на юристов, именно синтез метологической и логической проблематики существенно облегчает понимание как сугубо теоретических аспектов функционирования научного значения, так и практическую значимость логико- методологических исследований.
Экземпляры : всего : ЧЗ(2)
Свободны : ЧЗ(2)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 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)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 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)
Найти похожие

10.

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

11.

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

12.

Вид документа : Однотомное издание
Шифр издания : 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)
Найти похожие

13.

Вид документа : Однотомное издание
Шифр издания : 510.6(075)/К60
Автор(ы) : Колмогоров, Андрей Николаевич, Драгалин, Альберт Григорьевич
Заглавие : Введение в математическую логику : учеб. пособие для мат. спец. вузов
Выходные данные : М.: Изд-во МГУ, 1982
Колич.характеристики :120 с.: ил.
Примечания : Лит.: с. 120
Цена : 0.25 р.
УДК : 510.6(075)
ББК : 22.122я73
Предметные рубрики: Математична логіка
фывфывфыв (''Своб.индексиров.''): математическая логика--теория множеств--теорія множин--логико-математические языки--логіко-математичні мови--логические законы--логічні закони--формальные аксиоматические теории--формальні аксіоматичні теорії--логика высказываний--логика предикатов--математические теории--математичні теорії
Аннотация: Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий.
Экземпляры : всего : ЧЗ(1), АБ(2)
Свободны : ЧЗ(1), АБ(2)
Найти похожие

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)
Найти похожие

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