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

Про нас

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

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

Бази даних

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

Вид пошуку

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

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

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

Зона пошуку

у знайденому

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

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

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

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

16(075)
Ж79

Жоль, Костянтин Костянтинович.
Вступ до сучасної логіки [] : навч. посібник для студ. гуманіт. спец. вищ. навч. закл. / К. К. Жоль ; [ред. О. М. Належита]. - К. : Либідь, 2002. - 152 с. - Бібліогр.: с. 141-151. - ISBN 966-06-0241-3 : 8.70 грн

УДК

16(075)

ББК 87.4я73
Рубрики: Логіка--Навчальні видання для вищої школи

Кл.слова (ненормовані):
сучасна логіка -- современная логика -- металогіка -- металогика -- логіка висловлень -- логика высказываний -- логіка предикатів -- логика предикатов -- логіка і кібернетика -- логика и кибернетика -- конструктивна логіка -- конструктивная логика -- логічна семантика -- логическая семантика -- дескрипція -- дескрипция -- закони логіки -- законы логики -- теорія кінцевих автоматів -- теория конечных автоматов -- математичний конструктивізм -- математический конструктивизм -- теорія множин -- теория множеств -- аксіоматика в логіці -- аксиоматика в логике -- логічні дослідження -- логические исследования -- формальна логіка -- формальная логика -- символічна логіка -- символическая логика -- індуктивні умовиводи -- индуктивные умозаключения -- дедуктивні умовиводи -- дедуктивные умозаключения -- модальна логіка -- модальная логика -- "штучний інтелект" -- "искусственный интеллект "
Анотація: Основні поняття й методи сучасної логіки, зв’язок логіки з гуманітарними, природничими та технічними науками, значення логіки для програмного забезпечення сучасних комп’ютерів.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Належита, О. М. \ред.\
Примірників всього: 6
МИСТ (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)
Свободны: ЧЗ (1)
Знайти схожі

16(075.8)
К21

Карамишева, Неллі Василівна.
Логіка (теоретична і прикладна) [] : навч. посібник / Н. В. Карамишева. - К. : Знання, 2011. - 455, [1] с. : табл. - Л-ра: с. 454-455. - ISBN 978-966-346-725-2 : 83.00 грн

УДК

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