Про нас Електронний депозитарій LIBO Зведений каталог України
Авторизація
Прізвище
Пароль
 

Бази даних


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

Вид пошуку

Зона пошуку
у знайденому
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Пошуковий запит: <.>K=формализация логики<.>
Загальна кількість знайдених документів : 1
1.
16(075)
К 64


    Конверський, Анатолій Євгенович.
    Логіка [] : підручник для студ. вищ. навч. закл. / А. Є. Конверський. - К. : Укр. Центр духов. культури, 1999. - 400 с. : граф., табл. - Бібліогр. в підрядковій прим. - Л-ра: с. 393-394. - ISBN 966-7276-50-3 : 14.00 грн, 18.34 грн
УДК
ББК 87.4я73
Рубрики: Логіка--Навчальні видання для вищої школи
   
Кл.слова (ненормовані):
традиційна логіка -- традиционная логика -- предмет логіки -- предмет логики -- мислення і мова -- мышление и язык -- формалізація логіки -- формализация логики -- логічні терміни -- логические термины -- теорія імен -- теория имен -- функціональний аналіз у логіці -- функциональный анализ в логике -- історія логіки -- история логики -- логічні операціїї над поняттями -- логические операции над понятиями -- судження -- суждения -- атрибутивні судження -- атрибутивные суждения -- модальні судження -- модальные суждения -- умовиводи -- умозаключения -- аргументація -- аргументация -- класична логіка -- классическая логика -- логіка висловлювань -- логика изречений -- логіка предикатів -- логика предикатов
Анотація: Підручник складається з двох частин: "Традиційна логіка" і "Класична логіка". В першій частині розкривається предмет, метод логіки, основні форми та закони мислення. У другій частині розглядаються передумови виникнення сучасної логіки, обгрунтовується поділ класичної логіки на логіку висловлювань і логіку предикатів, здійснюється типологія і аналіз формально-логічних теорій в межах логіки висловлювань і логіки предикатів.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича
Примірників всього: 3
ЧЗ (2), АБ (1)
Свободны: ЧЗ (2), АБ (1)
Знайти схожі

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