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

Про нас

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

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

Бази даних

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

Вид пошуку

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

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

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

Зона пошуку

у знайденому

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

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

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

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

1-10 11-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)
Знайти схожі

1-10 11-16

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