![](/irbis64r_81/images/db_navy.gif) Віртуальна довідка ![](/irbis64r_81/images/db_navy.gif) Тематичний інтернет-навігатор ![](/irbis64r_81/images/db_navy.gif) Наукова електронна бібліотека ![](/irbis64r_81/images/db_navy.gif) Автореферати дисертацій ![](/irbis64r_81/images/db_navy.gif) Реферативна база даних ![](/irbis64r_81/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis64r_81/images/db_navy.gif) Журнали та продовжувані видання
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>A=Кохан Я$<.>) |
Загальна кількість знайдених документів : 5
Представлено документи з 1 до 5
|
| | | | |
1. |
Кохан Я. Часова тривалість з логічної точки зору / Я. Кохан // Філософ. думка. - 2001. - № 3. - С. 3-16. - укp. Індекс рубрикатора НБУВ: Ю4в017:Ю25
Шифр НБУВ: Ж61798 Пошук видання у каталогах НБУВ
|
| | | | |
2. |
Кохан Я. Українські аналітики й наукова коректність / Я. Кохан. - К. : Смолоскип, 2001. - 200 c. - (Гуманіт. колегія). - Бібліогр.: 57 назв. - укp.Висвітлено проблему раціональності мислення. Наведено оригінальну психологічну концепцію раціональності мислення учених, пов'язану з проблематикою психології мотивації. Акцентовано увагу на проблемі закономірностей ірраціональних відхилень в діяльності наукових колективів та організацій. Розглянуто трансакційно-аналітичну гіпотезу сценарних груп. Освещена проблема рациональности мышления. Изложена оригинальная психологическая концепция рациональности мышления ученых, связанная с проблематикой психологии мотивации. Акцентировано внимание на проблеме закономерностей иррациональных отклонений в деятельности научных коллективов и организаций. Рассмотрена трансакционно-аналитическая гипотеза сценарных групп. Індекс рубрикатора НБУВ: Ю935.131.4 + Ю432
Рубрики:
Шифр НБУВ: ВА622849 Пошук видання у каталогах НБУВ
|
| | | | |
3. |
Кохан Я. О. Часова логіка: семантика тривалості : Автореф. дис... канд. філософ. наук : 09.00.06 / Я. О. Кохан; Ін-т філос. ім. Г.С.Сковороди НАН України. - К., 2004. - 19 c. - укp.З використанням теоретико-істиннісного підходу досліджено основні принципи часової логіки. Вирішено наукову задачу редукції часових понять до фундаментальних логічних. До термінологічного апарату пропозиційної логіки додано єдине поняття чистої обмеженої спрямованої тривалості. Часову компоненту висловлювань і міркувань визначено як елемент їх структури, а не змісту. Запропоновано тлумачення часової логіки як специфікованого фрагмента класичної. На основі стандартної семантики трикутника Фреге створено оригінальну кореспондентну семантику з категорією логічної можливості, на базі якої побудовано теорію істиннісних функцій. Розроблено теоретичні засади часо-логічної концепції шляхом формування систем часо-логічних істиннісних зв'язок, що поєднують логічний зміст з часовими відношеннями. Вперше проведено розрізнення внутрішніх і зовнішніх часових логік. Для зовнішньої знайдено алгоритм розв'язання, а для внутрішніх збудовано дві повні системи зв'язок. Доведено комбінаторну теорему про кількість логічних можливостей на обмежених контекстах. Скачати повний текст Індекс рубрикатора НБУВ: Ю41 + Ю212.132
Рубрики:
Шифр НБУВ: РА334142 Пошук видання у каталогах НБУВ
|
| | | | |
4. |
Кохан Я. Зовнішня часова логіка / Я. Кохан // Філософ. думка. - 2005. - № 1. - С. 81-93. - укp. Індекс рубрикатора НБУВ: Ю43
Рубрики:
Шифр НБУВ: Ж61798 Пошук видання у каталогах НБУВ
|
| | | | |
5. |
Математична логіка та програмування. Досвід викладання : монографія / І. А. Басараб, В. М. Волохов, Б. В. Губський, А. Ю. Дорошенко, І. З. Дуцяк, В. В. Зубенко, П. А. Іваненко, Є. В. Іванов, Я. О. Кохан, В. Ф. Кузенко, М. С. Нікітченко, Л. Л. Омельчук, Т. В. Панченко, Н. Г. Русіна, О. М. Ткаченко, О. В. Шишацька, С. С. Шкільняк, О. А. Яценко; Київський національний університет імені Тараса Шевченка. - Одеса : Гельветика, 2022. - 211 c. - Бібліогр. в кінці гл. - укp.Висвітлено теоретичні та практичні аспекти підготовки фахівців у галузі інформаційних технологій за сучасних умов. Розглянуто інтеграційні підходи до вивчення математичної логіки, програмування та споріднених до них дисциплін, які викладаються на кафедрі теорії та технології програмування Київського національного університету імені Тараса Шевченка. Індекс рубрикатора НБУВ: В121 р
Рубрики:
Шифр НБУВ: ВА859998 Пошук видання у каталогах НБУВ
|
|
|