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.8) К21     Карамишева, Неллі Василівна.     Логіка (теоретична і прикладна) [] : навч. посібник / Н. В. Карамишева. - К. : Знання, 2011. - 455, [1] с. : табл. - Л-ра: с. 454-455. - ISBN 978-966-346-725-2 : 83.00 грн УДК 16(075.8) ББК 87.4я73 Рубрики: Логіка--Навчальні видання для вищої школи     Кл.слова (ненормовані): логіка -- логика -- мислення -- мышление -- традиційна логіка -- традиционная логика -- логічні операції -- логические операции -- закони логіки -- законы логики -- поняття -- понятия -- висловлювання -- высказывания -- умовивід -- умозаключения -- парадокси -- парадоксы -- символічна логіка -- символическая логика -- металогіка -- металогика -- логіка висловлень -- логика высказываний -- логіка предикатів -- логика предикатов -- логіка існування -- логика существования -- практична логіка -- практическая логика -- логіка дії -- логика действия -- логіка науки -- логика науки -- монізм -- монизм -- плюралізм -- плюрализм -- дискурс -- багатозначна логіка -- многозначная логика -- модальна логіка -- модальная логика -- класична символічна логіка -- классическая символическая логика -- некласична логіка -- неклассическая логика Анотація: Системи теоретичної логіки (традиційна логіка, символічна логіка), нові напрями логічних досліджень (логіка існування, практична логіка) та прикладної логіки (логіка науки, логіка дискурсу). Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 2 ЧЗ (1), ФОНД (1) Свободны: ЧЗ (1), ФОНД (1)

51 К98     Кэррол, Льюис.     История с узелками [] / Л. Кэррол ; пер. с англ. Ю. А. Данилов ; под ред. Я. А. Смородинского ; ил. Ю. А. Ващенко. - 2-е изд., стереотип. - М. : Мир, 1985. - 408 с. : портр., ил. - Предм. указ.: с. 93. - Прил.: с. 329-361. - 1.70 р. УДК 51 ББК 22.1 Рубрики: Математика--Навчальні видання Кл.слова (ненормовані): математика -- занимательная математика -- цікава математика -- математические головоломки -- математичні головоломки -- логические парадоксы -- логічні парадокси -- логика -- логіка -- сориты -- соріти -- силлогизмы -- силогізми -- символическая логика -- символічна логіка -- задачи (занимательная математика) -- задачі (цікава математика) Анотація: В книге собраны увлекательные математические головоломки и изящные логические парадоксы. Книга рассчитана на широкие круги читателей, интересующихся математикой и желающих с пользой провести свой досуг. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Данилов, Ю. А. \пер.\; Смородинский, Я. А. \ред.\; Ващенко, Ю. А. \худож.\ Примірників всього: 3 ЧЗ (1), ФОНД (1), АБ (1) Свободны: ЧЗ (1), ФОНД (1), АБ (1)

51(09) И90     Историко-математические исследования [Текст] / Акад. наук СССР, Ин-т истории и естествознания; [ред. А. П. Юшкевич и др.]. - М. : Наука, 1948 - .    Вып. 25 : [сб. статей]. - 1980. - 382 с. - Лит. в конце ст. - Указ. имен: с. 369-377. - 3.00 р. УДК 51(09) ББК 22.1г Рубрики: Математика--Історія--Наукові видання Кл.слова (ненормовані): история математики -- історія математики -- ряд Тейлора -- математический анализ -- математичний аналіз -- символическая логика -- символічна логіка -- уравнения гравитации -- рівняння гравітації -- сферическая тригонометрия -- сферична тригонометрія -- квадратичные формы в математике -- квадратичні форми в математиці Анотація: Сборник содержит работы по различным вопросам истории математики. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Юшкевич, Адольф Павлович \ред.\; Демидов, С. С. \ред.\; Маркушевич, А. И. \ред.\; Соловьев, А. Д. \ред.\; Аль-Біруні (хорезмський вчений-енциклопедист ; 973 - 1048) \про нього\; Ламберт, Йоганн Генріх (фізик, астроном, філософ, математик ; 1728 - 1777) \про нього\; Академия наук СССР. Институт истории естествознания и техники Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1)