16(075)
Ж79
Жоль, Костянтин Костянтинович.
Вступ до сучасної логіки [] : навч. посібник для студ. гуманіт. спец. вищ. навч. закл. / К. К. Жоль ; [ред. О. М. Належита]. - К. : Либідь, 2002. - 152 с. - Бібліогр.: с. 141-151. - ISBN 966-06-0241-3 : 8.70 грнББК 87.4я73
Рубрики: Логіка--Навчальні видання для вищої школи
фывфывфыв:
сучасна логіка -- современная логика -- металогіка -- металогика -- логіка висловлень -- логика высказываний -- логіка предикатів -- логика предикатов -- логіка і кібернетика -- логика и кибернетика -- конструктивна логіка -- конструктивная логика -- логічна семантика -- логическая семантика -- дескрипція -- дескрипция -- закони логіки -- законы логики -- теорія кінцевих автоматів -- теория конечных автоматов -- математичний конструктивізм -- математический конструктивизм -- теорія множин -- теория множеств -- аксіоматика в логіці -- аксиоматика в логике -- логічні дослідження -- логические исследования -- формальна логіка -- формальная логика -- символічна логіка -- символическая логика -- індуктивні умовиводи -- индуктивные умозаключения -- дедуктивні умовиводи -- дедуктивные умозаключения -- модальна логіка -- модальная логика -- "штучний інтелект" -- "искусственный интеллект "
Аннотация: Основні поняття й методи сучасної логіки, зв’язок логіки з гуманітарними, природничими та технічними науками, значення логіки для програмного забезпечення сучасних комп’ютерів.
Держатели документа:
ЖОУНБ ім. О. Ольжича
Доп.точки доступа:
Належита, О. М. \ред.\
Экземпляры всего: 6
МИСТ (1), ЧЗ (4), ФОНД (1)
Свободны: МИСТ (1), ЧЗ (4), ФОНД (1)
|