510.6(076)
Т 76


    Трохимчук, Ростислав Миколайович.
    Збірник задач і вправ з математичної логіки [] : навч. посіб. для студентів вищ. учб. закл. / Р. М. Трохимчук ; Міжрегіональна Академія Управління персоналом. - К. : Персонал, 2008. - 114 с. : табл. - Л-ра: с. 113. - ISBN 978-966-608-854-6 : 013.50 грн
УДК
ББК 22.12я73
Рубрики: Математика--Математична логіка--Навчальні видання для вищої школи
   
фывфывфыв:
математична логіка -- математическая логика -- задачі -- задачи -- логічні операції -- логические операции -- проблема розв'язності -- проблема разрешимости -- алгебра висловлень -- алгебра высказываний -- числення висловлень -- счисление высказываний -- теореми -- теоремы -- похідні правила виведення -- походные правила выведения -- логіка предикатів -- логика предикатов -- формули -- формулы -- рівносильність формул -- равносильность формул -- логічне слідування -- логическое следование -- формальна логіка -- формальная логика
Аннотация: Збірник містить ретельно відібраний і систематизований набір відомих і оригинальних задач і вправ з класичних розділів математичної або формальної логіки: алгебра висловлень, числення висловлень і логіка предикатів. Кожному розділу передує короткий теоретичний вступ, де подано основні означення і терміни.

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

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

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(075)
Б23


    Бандурка, Олександр Маркович.
    Курс логіки [] : підручник / О. М. Бандурка, О. В. Тягло. - К. : Літера, 2002. - 156 с. : табл. - Л-ра: с. 155-156. - ISBN 966-7543-19-6 : 8.50 грн
УДК
ББК 87.4я73
Рубрики: Логіка--Наукові видання
   
фывфывфыв:
формальна логіка -- формальная логика -- неформальна логіка -- неформальная логика -- логічні помилки -- логические ошибки -- критичне мислення -- критическое мышление -- правильне мислення -- правильное мышление -- закон тотожності -- закон тождества -- закон несуперечності -- закон непротиворечивости -- закон виключеного третього -- закон исключенного третьего -- закон достатньої підстави -- закон достаточного основания -- логічні операції -- логические операции -- судження -- суждения -- операції з судженнями -- операции с суждениями -- логіка запитання-відповіді -- логика задаваемые вопросы -- логічні підстави -- логические основания -- запитання -- вопрос -- адекватна реакція -- адекватная реакция -- неправильні відповіді -- неправильные ответы -- гіпотетико-дедуктивні методи -- гипотетико-дедуктивные методы -- умовиводи -- умозаключения -- ундуктивні умовиводи -- ундуктивние умозаключения -- дедуктивні умовиводи -- дедуктивные умозаключения -- дедукція -- дедукция -- силогізм -- силлогизм -- судовий розгляд -- судебное разбирательство -- логічні аргументації -- логические аргументации -- діаграмна техніка -- диаграммная техника -- пряма аргументація -- прямая аргументация -- непряма аргументація -- косвенная аргументация
Аннотация: Книга містить не тільки теоретичні відомості, а й значну кількість різноманітних контрольних питань, задач, практичних завдань зі зразками їх виконання, запозичених із повсякденної реальності, особливо з царини правоохоронної діяльності та правової науки.

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

Доп.точки доступа:
Тягло, Олександр Володимирович
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)

87.4
З-47


    Зегет, Вольфганг.
    Элементарная логика [] = Elementare logik : [учеб. пособие] / В. Зегет ; пер. с нем. И. М. Морозовой ; под ред. и с предисл. Е. Б. Кузиной. - М. : Высш. шк., 1985. - 256 с. - Библиогр. в подстрочном примеч. - Лит.: с. 254. - 0.90 р.
ББК 87.4
Рубрики: Логіка--Наукові видання
   
фывфывфыв:
формальна логіка -- формальная логика -- логіка висловлювань -- логика высказываний -- логические умозаключения -- логічні умовиводи -- редуктивные умозаключения -- редуктивні умовиводи -- логіка предикатів -- логика предикатов -- теория определения -- теорія визначення -- безпосередні висновки -- непосредственные умозаключения -- силогістика -- силлогистика -- висновки по аналогії -- умозаключения по аналогии
Аннотация: Оригинальное учебное пособие, в котором проблемы традиционной и современной формальной логики органично переплетены и связаны, что делает книгу интересной с методическо-дидактической точки зрения.

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

Доп.точки доступа:
Морозов, И. М. \пер.\; Кузина, Е. Б. \ред., авт. предисл.\
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)

16
И 25


    Ивин , Александр Архипович.
    По законам логики [] / А. Ивин. - М. : Мол. гвардия, 1983. - 208 с. : ил. - (Эврика). - 0.60 р.
УДК
ББК 87.4
Рубрики: Логіка--Популярні видання
   
фывфывфыв:
современная логика -- сучасна логіка -- логический анализ -- логічний аналіз -- законы логики -- закони логіки -- пардоксы логики -- парадокси логіки -- формальная логика -- формальна логіка -- диалектическая логика -- діалектична логіка -- язык и мышление -- мова і мислення -- язык и действительность -- мова і дійсність
Аннотация: гВ книге рассказывается об идеях и проблемах современной логики и логического анализа научных знаний, а также о задачах формальной логики и ее отношении к диалектической логике.

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

16
П68


    Попович, Мирослав Владимирович.
    Очерк развития логических идей в культурно-историческом контексте [] : монография / М. В. Попович. - К. : Наукова думка, 1979. - 243 с. - 1.90 р.
УДК
ББК 87
Рубрики: Логіка--Наукові видання
   
фывфывфыв:
логические знания -- логічні знання -- Древний Восток -- Стародавній Схід -- Древний Китай -- Стародавній Китай -- древнегреческая логика -- давньогрецька логіка -- логика Аристотеля -- логіка Аристотеля -- логика стоиков -- логіка стоїків -- индийская логика -- індійська логіка -- антическая культура -- антична культура -- лейбниц -- лейбніц -- формальная логика -- формальна логіка
Аннотация: В монографии рассматривается становление и развитие основных идей логики на фоне действия социальных и культурных факторов, определявших исторические пути познания, показана связь общекультурных, мировозренческих установок с особенностями конкретных логических теорий.

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

Доп.точки доступа:
Ленчовский, Р. И. \ред.\
Экземпляры всего: 1
ФОНД (1)
Свободны: ФОНД (1)

16
Х 12


    Хаваш, Каталин.
    Так - логично! [] / К. Хаваш = Igy logikus! / G. Havas Katalin : научно-популярная литература. - М. : Прогресс, 1985. - 272 с. - 0.40 р.
УДК
ББК 87.4
Рубрики: Логіка--Популярні видання
   
фывфывфыв:
логика мышления -- логіка мислення -- логические игры -- эффективность логического мышления -- логічні ігри -- ефективність логічного мислення -- логика и педагогический процесс -- логіка і педегогічний процес -- язык и формирование мысли -- мова та формування мислення -- логические умозаключения и доказательства -- логічні умовиводи і докази -- формальная логика -- формальна логіка -- моделирование смысла высказываний -- моделювання значення висловлювань -- практическая логика -- практична логіка
Аннотация: В настоящей книге в популярной форме рассматриваются вопросы так называемой практической логики. Автор знакомит читателей с некоторыми формами и приемами мышления, которые люди применяют не только в процессе научного познания, но и в повседневной мыслительной деятельности.

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

Доп.точки доступа:
Войшвилло, Е. К. \ред., авт. предисл.\; Лукина, Р. С. \пер.\
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)

140:165.0](430)
Ш62


    Шинкарук , Владимир Илларионович.
    Теория познания, логика и диалектика И. Канта (И. Кант как родоначальник немецкой классической философии) [] / В. И. Шинкарук ; Акад. наук УCСР, Ин-т философии. - К. : Наук. думка, 1974. - 336 с. - Л-ра: с. 328-334. - 1.42 р., 15.00 грн р.
УДК
ББК 87.3(4НІМ)5 + 87.22
Рубрики: Філософія--Наукові видання
   
фывфывфыв:
мышление -- мислення -- бытие -- буття -- эмпиризм -- емпіризм -- рационализм -- раціоналізм -- трансцендентальная логика -- трансцендентальна логіка -- трансцендентальна діалектика -- трансцендентальная диалектика -- теорія пізнання -- теория познания -- формальна логіка -- формальная логика
Аннотация: Проблемы теории познания, логики и диалектики, поставленнные в философских трудах родоначальника немецкой классической философии И. Канта

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

Доп.точки доступа:
Кант, Іммануїл (філософ ; 1724 - 1804); Бекон, Френсіс (філософ ; 1561 - 1626); Фіхте, Іоган Готліб (філософ ; 1762 - 1814); Шеллінг, Фрідрих Вільгельм Йозеф (філософ ; 1775-1854); Гегель, Георг Вільгельм Фрідріх (філософ ; 1771-1831); Акад. наук УCСР; Ин-т философии
Экземпляры всего: 2
ЧЗ (1), ФОНД (1)
Свободны: ЧЗ (1), ФОНД (1)