Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

Книжкові видання та компакт-диски - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Журнали та продовжувані видання (1)
Пошуковий запит: (<.>U=Ю4 в016$<.>)
Загальна кількість знайдених документів : 9
Представлено документи з 1 до 9
1.
ВА615467
Косовский, Николай Кириллович.
Логики конечнозначных предикатов на основе неравенств [Текст] : учеб. пособие / Н. К. Косовский, А. В. Тишков ; С.-Петербургский гос. ун-т. - СПб. : Издательство С.-Петербургского гос. ун-та, 2000. - 268 с. - ISBN 5-288-02049-3

Рубрикатор НБУВ:
 Ю4 в016 я73 
 В128 я73 
Тематичні рубрики:
 Навчальні видання < Традиційна і сучасна формальна (математична) логіка > 
 Некласичні логічні системи 


Дод. точки доступу:
Тишков, Артем Валерьевич; С. -Петербургский гос. университет

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

2.
ВА591086
Гладкий, Алексей Всеволодович.
Математическая логика [Текст] / А. В. Гладкий ; Российский гос. гуманитарный ун-т. - М. : [б. и.], 1998. - 479 с. - ISBN 5-7281-0025-2

Рубрикатор НБУВ:
 В121 я73-1 
 Ю4 в016 я73-1 
Тематичні рубрики:
 Математична логіка. Підручники для вищої школи 
 Підручники < Традиційна і сучасна формальна (математична) логіка > 


Дод. точки доступу:
Российский государственный гуманитарный университет

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

3.
Р83128
Конверський, Анатолій Євгенійович.
Традиційна логіка [Текст] : навч. програма для студентів філос. ф-тів ун-тів / А. Є. Конверський ; Київ. нац. ун-т ім. Тараса Шевченка, Ін-т філос. НАН України. - Київ : Четверта хвиля, 1997. - 12 с.

Рубрикатор НБУВ:
 Ю4 в016 
 Ю4 р(4УКР)3-211 
Тематичні рубрики:
 Традиційна і сучасна формальна (математична) логіка 
 Навчальні плани і програми. Вища школа. Україна < Вивчення і викладання логіки > 

Географічні рубрики:
  
 Україна 


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

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

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

Рубрикатор НБУВ:
 Ю4 в016 
 Ю432 
Тематичні рубрики:
 Традиційна і сучасна формальна (математична) логіка 
 Логіка висловлювань 


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

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

5.
ВА660139
Зиновьев, Александр Александрович.
Очерки комплексной логики [Текст] / А. А. Зиновьев ; отв. ред. Е. А. Сидоренко. - М. : Эдиториал УРСС, 2000. - 560 с. - Библиогр.: в конце разд. - ISBN 5-8360-0125-1

Рубрикатор НБУВ:
 Ю4 в016 
 В121 
Тематичні рубрики:
 Традиційна і сучасна формальна (математична) логіка 
 Математична логіка 


Дод. точки доступу:
Сидоренко, Е. А. (отв. ред.)

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

6.
ВА681732
Карамишева, Неллі Василівна.
Логіка. Пізнання. Евристика [Текст] : посібник для студентів та аспірантів / Н. В. Карамишева. - Л. : Астролябія, 2002. - 352 . - Бібліогр.: в кінці розділів. - ISBN 966-96118-4-9

Рубрикатор НБУВ:
 Ю4 в016 я73 
 Ю935.131 я73 
 Ю224.21 я73 
Тематичні рубрики:
 Навчальні видання < Традиційна і сучасна формальна (математична) логіка > 
 Мислення 
 Навчальні видання. Вища школа < Філософські проблеми мови > 


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

7.
ВА720181
Конверський, Анатолій Євгенович.
Логіка (традиційна та сучасна) [Текст] : підруч. для студентів ВНЗ / А. Є. Конверський ; Київ. нац. ун-т ім. Тараса Шевченка. - 2-ге вид. - Київ : Центр учбової літератури, 2008. - 536 с. - Бібліогр.: с. 534-535. - ISBN 978-966-364-735-7

Рубрикатор НБУВ:
 Ю4 в016 я73-1 
Тематичні рубрики:
 Підручники < Традиційна і сучасна формальна (математична) логіка > 


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

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

8.
Глушков В.М./ВА672
Лукасевич, Ян.
Аристотелевская силлогистика с точки зрения современной формальной логики [Текст] / Я. Лукасевич ; пер. с англ. Н. И. Стяжкина и А. Л. Субботина ; общ ред. и вступ. ст. проф. П. С. Попова. - М. : Изд-во иностр. лит., 1959. - 312 с. - Пер. изд. : Aristotle's sillogistic from the standpoint of modern formal logic / Jan Łukasiewicz. - Oxford, 1957
Дод.тит. арк. англ.

Рубрикатор НБУВ:
 Ю4 в016 
 Ю43 
Тематичні рубрики:
 Традиційна і сучасна формальна (математична) логіка 
 Дедукція. Дедуктивна логіка. Теорія дедуктивних умовиводів 


Дод. точки доступу:
Стяжкин, Н. И. (пер.); Субботин, А. Л. (пер.); Попов, П. С. (ред., авт. вступ. ст.); Аристотель (pers.); Łukasiewicz, Jan

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

9.
ІВ202491

Zwischen traditioneller und moderner Logik [Text] : Nichtklassische Ansätze / hrsg. W. Stelzner, M. Stöckler. - Paderborn : Mentis, 2001. - 467 S. - (Perspektiven der Analytischen Philosophie. Neue Folge). - Бібліогр.: V kinci st. - ISBN 3-89785-203-9

Рубрикатор НБУВ:
 Ю4 в016 
 В12 
Тематичні рубрики:
 Традиційна і сучасна формальна (математична) логіка 
 Основи математики. Математична логіка. Дискретна математика 


Дод. точки доступу:
Stelzner, Werner (hrsg.); Stöckler, Manfred (hrsg.)

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

 
Відділ інформаційно-комунікаційних технологій
Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського