16(075)
Ж79


    Жоль, Костянтин Костянтинович.
    Вступ до сучасної логіки [] : навч. посібник для студ. гуманіт. спец. вищ. навч. закл. / К. К. Жоль ; [ред. О. М. Належита]. - К. : Либідь, 2002. - 152 с. - Бібліогр.: с. 141-151. - ISBN 966-06-0241-3 : 8.70 грн
УДК
ББК 87.4я73
Рубрики: Логіка--Навчальні видання для вищої школи
   
фывфывфыв:
сучасна логіка -- современная логика -- металогіка -- металогика -- логіка висловлень -- логика высказываний -- логіка предикатів -- логика предикатов -- логіка і кібернетика -- логика и кибернетика -- конструктивна логіка -- конструктивная логика -- логічна семантика -- логическая семантика -- дескрипція -- дескрипция -- закони логіки -- законы логики -- теорія кінцевих автоматів -- теория конечных автоматов -- математичний конструктивізм -- математический конструктивизм -- теорія множин -- теория множеств -- аксіоматика в логіці -- аксиоматика в логике -- логічні дослідження -- логические исследования -- формальна логіка -- формальная логика -- символічна логіка -- символическая логика -- індуктивні умовиводи -- индуктивные умозаключения -- дедуктивні умовиводи -- дедуктивные умозаключения -- модальна логіка -- модальная логика -- "штучний інтелект" -- "искусственный интеллект "
Аннотация: Основні поняття й методи сучасної логіки, зв’язок логіки з гуманітарними, природничими та технічними науками, значення логіки для програмного забезпечення сучасних комп’ютерів.

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

Доп.точки доступа:
Належита, О. М. \ред.\
Экземпляры всего: 6
МИСТ (1), ЧЗ (4), ФОНД (1)
Свободны: МИСТ (1), ЧЗ (4), ФОНД (1)

16(09)
В 19


    Васильев, Николай Александрович.
    Воображаемая логика. Избранные труды [] / Н. А. Васильев ; [отв. ред. В. А. Смирнов] ; Акад. наук СССР, Ин-т философии. - М. : Наука, 1989. - 264 с. : граф. - Библиогр. в подстрочном примеч. - Прил.: с. 171-259. - Библиогр.: с. 260-263. - ISBN 5-02-007946-4 : 1.60 р.
УДК
ББК 87.4
Рубрики: Логіка--Наукові видання
   
фывфывфыв:
уявна (неаристотелева логіка) -- воображаемая (неаристотелева логика) -- трикутник протилежностей -- треугольник противоположностей -- приватні судження -- частные суждения -- металогіка -- металогика -- математична логіка -- математическая логика
Аннотация: Н. А. Васильев (1880-1940) - один из основателей неоклассических логик, выдвинувший и обосновавший идею возможности логики без законов противоречия и исключенного третьего. Помиио ранее опубликованных работ в книгу включены малоизвестные рукописи ученого, а также прижизненные рецензии на его труды. Дан библиографический очерк.

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

Доп.точки доступа:
Смирнов, В. А. \отв. ред.\; Васильєв, Микола Олександрович (філософ, психолог, етик, історик російський ; 1880-1940) \про нього\; Академия наук СССР; Институт философии
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)

16( 075)
Ж 79


    Жоль, Константин Константинович.
    Вступ до сучасної логіки [] : навч. посіб. / К. К. Жоль. - К. : Вища шк., 1992. - 128 с. - Реком. покажч.: с.127-128. - ISBN 5-11-003825-2 : 10 р.
УДК
ББК 87.4я73
Рубрики: Логіка
   
фывфывфыв:
прийнятя рішень -- принимаемые решения -- технічні системи -- технические системи -- металогіка -- металогика -- аксіоматика -- аксиоматика -- логічні дослідження Д. Гільберта -- логические исследования Д. Гильберта -- логіка висловлень -- логика высказываний -- логіка предикатів -- логика предикатив -- логічні ідеї -- логические идеи -- системи -- системи -- конструктивістська логіка -- конструкторская логика -- модальна логіка -- модальная логика -- логічна семантика -- логическая семантика -- кібернетика -- кибернетика
Аннотация: У посібнику викладено основні поняття і методи сучасної логіки , пояснюється звязок логіки з гуманітарними, природничими і технічними науками, розкривається значення логіки для програмного забезпечення сучасних компютерів.

Держатели документа:
ЖОУНБ ім. О. Ольжича
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)

16(075.8)
К21


    Карамишева, Неллі Василівна.
    Логіка (теоретична і прикладна) [] : навч. посібник / Н. В. Карамишева. - К. : Знання, 2011. - 455, [1] с. : табл. - Л-ра: с. 454-455. - ISBN 978-966-346-725-2 : 83.00 грн
УДК
ББК 87.4я73
Рубрики: Логіка--Навчальні видання для вищої школи
   
фывфывфыв:
логіка -- логика -- мислення -- мышление -- традиційна логіка -- традиционная логика -- логічні операції -- логические операции -- закони логіки -- законы логики -- поняття -- понятия -- висловлювання -- высказывания -- умовивід -- умозаключения -- парадокси -- парадоксы -- символічна логіка -- символическая логика -- металогіка -- металогика -- логіка висловлень -- логика высказываний -- логіка предикатів -- логика предикатов -- логіка існування -- логика существования -- практична логіка -- практическая логика -- логіка дії -- логика действия -- логіка науки -- логика науки -- монізм -- монизм -- плюралізм -- плюрализм -- дискурс -- багатозначна логіка -- многозначная логика -- модальна логіка -- модальная логика -- класична символічна логіка -- классическая символическая логика -- некласична логіка -- неклассическая логика
Аннотация: Системи теоретичної логіки (традиційна логіка, символічна логіка), нові напрями логічних досліджень (логіка існування, практична логіка) та прикладної логіки (логіка науки, логіка дискурсу).

Держатели документа:
ЖОУНБ ім. О. Ольжича
Экземпляры всего: 2
ЧЗ (1), ФОНД (1)
Свободны: ЧЗ (1), ФОНД (1)