Комплексний пошук у каталогах Національної бібілотеки України імені В. І. Вернадського

	Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox"

Вид пошуку

у знайденому

Знайдено в інших каталогах:
	Журнали та продовжувані видання (4)

Книжкові видання

Розширений пошук

Сортувати знайдені документи за:
автором	назвою	роком видання

Формат представлення знайдених документів:
повний	стислий

Пошуковий запит: (<.>U=Ю43$<.>)

Загальна кількість знайдених документів : 35
Представлено документи з 1 до 20

...

ДС40893

Омельянчик, Валентин Йосипович.

Логічні засади модального реалізму [Текст] : наук. доповідь ... д-ра філос. наук: 09.00.07 / Омельянчик Валентин Йосипович ; АН України, Ін-т філософії. - К., 1993. - 54 л.

Тематичний рубрикатор:

Модальна і нормативна (деонтична) логіка

Дод. точки доступу:
Академія наук України (Київ); Інститут філософії (Київ)

Видання зберігається у :
Основний фонд

ДС47690

Омельянчик, Валентин Йосипович.

Логічні засади модального реалізму [Текст] : дис... д-ра філос. наук: 09.00.07 / Омельянчик Валентин Йосипович ; АН України, Ін-т філософії. - К., 1993. - 296 л.

Тематичний рубрикатор:

Модальна і нормативна (деонтична) логіка

ДС87483

Федорченко, Юрій Володимирович.

Поняття предмета в контексті єдності дедукції категорій та ідей розуму [Текст] : дис... канд. філос. наук: 09.00.01 / Федорченко Юрій Володимирович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2004. - 180 арк. - арк. 170-180.

Тематичний рубрикатор:

Пізнання і предмет

Досвід

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

Дод. точки доступу:
Київський національний університет імені Тараса Шевченка

Видання зберігається у :
Основний фонд

ДС63406

Шрамко, Ярослав Владиславович.

Логическое исследование и интуиционизм (Проблема релевантизации интуиционистской логики) [Текст] : дис... д-ра филос. наук: 09.00.06 / Шрамко Ярослав Владиславович ; Ин-т философии им. Г. С. Сковороды НАН Украины. - К., 1998. - 288 л. - Библиогр.: л. 278-288.

Тематичний рубрикатор:

Загальні роботи < Класична і конструктивна логіка >

Математична логіка

Теорія доведень. Пошук виведення і розв'язності в логіці

Дод. точки доступу:
Национальная академия наук Украины; Институт философии имени Г. С. Сковороды (Киев)

Видання зберігається у :
Основний фонд

ДС70763

Шенгерій, Людмила Миколаївна.

Логіко-аналітичне дослідження концепції Г.Х.фон Врігта [Текст] : дис... канд. філос. наук: 09.00.06 / Шенгерій Людмила Миколаївна ; Київський національний ун-т ім. Тараса Шевченка. - К., 2001. - 200 арк. - арк.178-200.

Тематичний рубрикатор:

Новітня історія логіки Фінляндії

Модальна і нормативна (деонтична) логіка

Дод. точки доступу:
Врігт Г. Х. (о нём); Київський національний університет імені Тараса Шевченка

Видання зберігається у :
Основний фонд

РА288835

Омельянчик, Валентин Йосипович.

Логічні засади модального реалізму [Текст] : автореф. дис... д-ра філос. наук: 09.00.07 / Омельянчик Валентин Йосипович ; АН України, Ін-т філософії. - К., 1993. - 54 с.

Тематичний рубрикатор:

Модальна і нормативна (деонтична) логіка

РА335163

Федорченко, Юрій Володимирович.

Поняття предмета в контексті єдності дедукції категорій та ідей розуму [Текст] : автореф. дис... канд. філол. наук: 09.00.01 / Федорченко Юрій Володимирович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2005. - 15 с.

Тематичний рубрикатор:

Пізнання і предмет

Досвід

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

РА299626

Шрамко, Ярослав Владиславович.

Логічне слідування і інтуїціонізм (проблема релевантизації інтуїціоністської логіки) [Текст] : автореф. дис... д-ра філос. наук: 09.00.06 / Шрамко Ярослав Владиславович ; НАН України, Ін-т філософії ім. Г. С. Сковороди. - К., 1998. - 42 с.

Тематичний рубрикатор:

Загальні роботи < Класична і конструктивна логіка >

Математична логіка

Теорія доведень. Пошук виведення і розв'язності в логіці

Дод. точки доступу:
Національна академія наук України; Інститут філософії імені Г. С. Сковороди (Київ)

Видання зберігається у :
Основний фонд

РА316824

Шенгерій, Людмила Миколаївна.

Логіко-аналітичне дослідження концепції Г.Х.фон Врігта [Текст] : автореф. дис... канд. філос. наук: 09.00.06 / Шенгерій Людмила Миколаївна ; Ін-т філософії ім. Г. С. Сковороди НАН України. - К., 2001. - 17 с.

Тематичний рубрикатор:

Новітня історія логіки Фінляндії

Модальна і нормативна (деонтична) логіка

Дод. точки доступу:
Врігт Г. Х. (о нём); Національна академія наук УкраїниІнститут філософії імені Г. С. Сковороди (Київ)

Видання зберігається у :
Основний фонд

10.

ВА582571

Шрамко, Ярослав Владиславович.

Логическое следование и интуиционизм: Проблема релевантизации интуиционистской логики [Текст] / Я. В. Шрамко ; НАН Украины, Ин-т философии. - К. : ВИПОЛ, 1997. - 179 с.

Тематичний рубрикатор:

Загальні роботи < Класична і конструктивна логіка >

Математична логіка

Дод. точки доступу:
Национальная академия наук Украины; Институт философии (Киев)

Видання зберігається у :
Основний фонд

11.

Р83620

Федоренко, Елена Ивановна.

Формирование приемов получения выводных знаний [Текст] / Е. И. Федоренко. - К. : ООО "Международное финансовое агенство", 1998. - 23 с.

Тематичний рубрикатор:

Процес навчання в галузі шкільної педагогіки

Абстрактно-теоретичне, логічне мислення

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

Видання зберігається у :
Основний фонд

12.

ВА594172

Смирнов, Владимир Александрович.

Теория логического вывода [Текст] / В. А. Смирнов. - М. : Российская политическая энциклопедия (РОССПЭН), 1999. - 318 с. - Библиогр.: с. 305-314.

Тематичний рубрикатор:

Формалізація

Комбінаторна логіка

Видання зберігається у :
Основний фонд

13.

ВА600796

Роженко, Микола Маркович.

Квантова логіка: Теорія. Історія. Філософія [Текст] : авториз., опрацьов. і доп. пер.з рос. / М. М. Роженко, Н. М. Роженко. - К. : Український Центр духовної культури, 2000. - 308 с. - Бібліогр.: с.189-258.

Тематичний рубрикатор:

Некласичні логічні системи

Логіка предикатів. Квантифікація

Дод. точки доступу:
Роженко, Наталія Миколаївна

Видання зберігається у :
Основний фонд
Універсальний підсобний фонд

14.

ВА575390

Минто, В..

Дедуктивная и индуктивная логика [Текст] / В. Минто. - Екатеринбург : Деловая книга ; Бишкек : Одиссей, 1997. - 432 с.

Тематичний рубрикатор:

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

Індукція. Індуктивна логіка. Індуктивні умовиводи

Видання зберігається у :
Основний фонд

15.

ВА618790

Сидоренко, Олег Иванович.

Секреты логической зависимости [Текст] / О. И. Сидоренко. - Саратов : Издательство Саратовского ун-та, 2001. - 56 с.: табл.

Тематичний рубрикатор:

Основи математики. Математична логіка. Дискретна математика

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

Видання зберігається у :

16.

ВА622159

Петросян, Вадим Кармленович.

Критика аристотелевской теории отрицания [Текст] / В. К. Петросян ; Академия профессионального образования. - М. : ИРПО, 2001. - 70 с. - Библиогр.: с. 68.

Тематичний рубрикатор:

Заперечення і збереження

Логіка висловлювань

Дод. точки доступу:
Академия профессионального образования

Видання зберігається у :
Основний фонд

17.

ВА622849

Кохан, Ярослав.

Українські аналітики й наукова коректність [Текст] / Я. Кохан. - К. : Смолоскип, 2001. - 199 с. - (Гуманітарна колегія). - Бібліогр.: с. 195-199.

Тематичний рубрикатор:

Абстрактно-теоретичне, логічне мислення

Логіка висловлювань

Видання зберігається у :
Універсальний підсобний фонд
Відділ міжбібліотечного науково-інформаційного сервісу
Основний фонд

18.

ВА632593

Дуцяк, Ігор З..

Теоретичні засади логіки [Текст] / І. З. Дуцяк ; Львівський національний ун-т ім. Івана Франка. - Л. : Видавничий центр ЛНУ ім.Івана Франка : Палітра друку, 2002. - 233 с.: рис.

Тематичний рубрикатор:

Традиційна і сучасна формальна (математична) логіка

Логіка висловлювань

Дод. точки доступу:
Львівський національний університет імені Івана Франка

Видання зберігається у :
Основний фонд

19.

ВА639063

Смирновские чтения. 4 Международная конференция [Текст] / отв. ред. А. С. Карпенко ; РАН, Институт философии, Философский факультет Московского гос. ун-та, "АНО" Институт логики, когнитологии и развития личности. - М. : ИФРАН, 2003. - 274 с.

Тематичний рубрикатор:

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

Філософія і методологія науки

Дод. точки доступу:
Карпенко, А. С. (отв. ред.); РАНИнститут философии (Москва); Философский факультет Московского гос. университета; "АНО" Институт логики, когнитологии и развития личности

Видання зберігається у :
Основний фонд

20.

Р97787

Антонова, Ольга Аркадьевна.

Сборник задач и упражнений по символической логике [Текст] / О. А. Антонова ; Санкт-Петербургский гос. ун-т. - СПб. : Издательство Санкт-Петербургского ун-та, 2001. - 36 с. - Библиогр.: с. 35.

Тематичний рубрикатор:

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

Дод. точки доступу:
Санкт-Петербургский гос. университет

Видання зберігається у :
Основний фонд

...