Індекс рубрикатора НБУВ: Ю43

Рубрики:

Дедукція. Дедуктивна логіка. Теорія дедуктивних умовиводів

Шифр НБУВ: Ж61798 Пошук видання у каталогах НБУВ 

Висвітлено проблему раціональності мислення. Наведено оригінальну психологічну концепцію раціональності мислення учених, пов'язану з проблематикою психології мотивації. Акцентовано увагу на проблемі закономірностей ірраціональних відхилень в діяльності наукових колективів та організацій. Розглянуто трансакційно-аналітичну гіпотезу сценарних груп.

Освещена проблема рациональности мышления. Изложена оригинальная психологическая концепция рациональности мышления ученых, связанная с проблематикой психологии мотивации. Акцентировано внимание на проблеме закономерностей иррациональных отклонений в деятельности научных коллективов и организаций. Рассмотрена трансакционно-аналитическая гипотеза сценарных групп.

Індекс рубрикатора НБУВ: Ю4в017:Ю25

Шифр НБУВ: Ж61798 Пошук видання у каталогах НБУВ 

З використанням теоретико-істиннісного підходу досліджено основні принципи часової логіки. Вирішено наукову задачу редукції часових понять до фундаментальних логічних. До термінологічного апарату пропозиційної логіки додано єдине поняття чистої обмеженої спрямованої тривалості. Часову компоненту висловлювань і міркувань визначено як елемент їх структури, а не змісту. Запропоновано тлумачення часової логіки як специфікованого фрагмента класичної. На основі стандартної семантики трикутника Фреге створено оригінальну кореспондентну семантику з категорією логічної можливості, на базі якої побудовано теорію істиннісних функцій. Розроблено теоретичні засади часо-логічної концепції шляхом формування систем часо-логічних істиннісних зв'язок, що поєднують логічний зміст з часовими відношеннями. Вперше проведено розрізнення внутрішніх і зовнішніх часових логік. Для зовнішньої знайдено алгоритм розв'язання, а для внутрішніх збудовано дві повні системи зв'язок. Доведено комбінаторну теорему про кількість логічних можливостей на обмежених контекстах.

Висвітлено теоретичні та практичні аспекти підготовки фахівців у галузі інформаційних технологій за сучасних умов. Розглянуто інтеграційні підходи до вивчення математичної логіки, програмування та споріднених до них дисциплін, які викладаються на кафедрі теорії та технології програмування Київського національного університету імені Тараса Шевченка.