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

Бази даних

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

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Журнали та продовжувані видання (5)Автореферати дисертацій (1)Реферативна база даних (33)
Пошуковий запит: (<.>U=В121$<.>)
Загальна кількість знайдених документів : 95
Представлено документи з 1 до 20
...
1.
ДС63406
   Шрамко, Ярослав Владиславович.
Логическое исследование и интуиционизм (Проблема релевантизации интуиционистской логики) [Текст] : дис... д-ра филос. наук: 09.00.06 / Шрамко Ярослав Владиславович ; Ин-т философии им. Г. С. Сковороды НАН Украины. - К., 1998. - 288 л. - Библиогр.: л. 278-288.

Рубрикатор НБУВ:
 Ю439,0 
 В121 
 В124 
Тематичні рубрики:
 Загальні роботи < Класична і конструктивна логіка > 
 Математична логіка 
 Теорія доведень. Пошук виведення і розв'язності в логіці 


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

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

2.
РА299164
Гладунський, Василь Назарович.
Методичні основи вивчення курсу логіки в середніх загальноосвітніх, спеціалізованих та професійних навчальних закладах [Текст] : автореф. дис... канд. пед. наук: 13.00.02 / Гладунський Василь Назарович ; АПН України, Ін-т педагогіки і психології проф. освіти. - К., 1998. - 20 с.

Рубрикатор НБУВ:
 Ю4 р(4УКР)2-252 
 В121 р21 
Тематичні рубрики:
 Методичні форми і прийоми навчання < Логіка > 
 Математична логіка 

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


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

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

3.
РА367236
Сінько, Юрій Іванович.
Методична система навчання студентів математичної логіки у вищих навчальних закладах з використанням інформаційних технологій [Текст] : автореф. дис... канд. пед. наук : 13.00.02 / Сінько Юрій Іванович ; Херсонський держ. ун-т. - Херсон, 2009. - 20 с. : рис

Рубрикатор НБУВ:
 В121 р3-3 
Тематичні рубрики:
 Математична логіка 


Дод. точки доступу:
Херсонський державний університет

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

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

Рубрикатор НБУВ:
 Ю439,0 
 В121  
 В124 
Тематичні рубрики:
 Загальні роботи < Класична і конструктивна логіка > 
 Математична логіка 
 Теорія доведень. Пошук виведення і розв'язності в логіці 


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

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

5.
В340074/Ч. 2
Гладунський, Василь Назарович
Логіка [Текст] : навч. посібник для учнів шкіл, гімназій, ліцеїв / В. Н. Гладунський, Г. А. Гладунська. - Львів : Каменяр, 1994 .
Ч. 2. - [Б. м.] : [б.в.], 1996. - 188 с.: іл. - ISBN 5-7745-0571-5

Рубрикатор НБУВ:
 В121 я721 
Тематичні рубрики:
 Математична логіка 


Дод. точки доступу:
Гладунська, Ганна Андріївна

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

6.
ВА574210
Карамишева, Неллі Василівна.
Збірник логічних завдань [Текст] / Н. В. Карамишева, С. В. Бовтач ; Львівський держ. ун-т ім. Івана Франка. Філософський факультет. - Львів : Каменяр, 1997. - 109 с. - ISBN 5-7745-0721-1

Рубрикатор НБУВ:
 В121 я73-4 
 Ю4 я73-4 
Тематичні рубрики:
 Математична логіка. Збірники задач і вправ для студентів 
 Задачники і збірники вправ. Вища школа < Логіка > 


Дод. точки доступу:
Бовтач, Світлана Володимирівна; Львівський державний університет імені Івана Франка. Філософський факультет

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

7.
   ТРУДЫ НАУЧНО-ИССЛЕДОВАТЕЛЬСКОГО СЕМИНАРА ЛОГИЧЕСКОГО ЦЕНТРА ИНСТИТУТА ФИЛОСОФИИ РАН.1993. (1994)
8.
ВА582036
Курбатов, Владимир Иванович.
Логика в вопросах и ответах [Текст] : учеб. пособие / В. И. Курбатов. - Ростов-на-Дону : Феникс, 1997. - 384 с. - ISBN 5-85880-582-5

Рубрикатор НБУВ:
 Ю4 я7 
 В121 я7 
Тематичні рубрики:
 Навчальні посібники 
 Математична логіка. Навчальні видання 


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

9.
ВА589484
Фреге, Готлоб.
Избранные работы [Текст] / Г. Фреге ; пер. с нем. В. В. Анашвили ; сост. В. В. Анашвили, А. Л. Никифоров. - М. : ДИК, 1997. - 159 с. - ISBN 5-7333-0435-9

Рубрикатор НБУВ:
 В121 я44 
 Ю3(4Нім)6-654 
Тематичні рубрики:
 Математична логіка 
 Історія філософії 

Географічні рубрики:
  
 Німеччина 


Дод. точки доступу:
Анашвили, В. В. (сост.); Никифоров, А. Л. (сост.); Анашвили, В. В. (пер. с нем.)

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

10.
ВА570776
Смирнова, Е. Д..
Логика и философия [Текст] / Е. Д. Смирнова. - М. : РОССПЭН, 1996. - 302 с. - (Научная философия). - ISBN 5-86004-039-3

Рубрикатор НБУВ:
 Ю4 в017:Ю25 
 В121 в2:Ю 
Тематичні рубрики:
 Логіка і філософія і методологія науки 
 Математична логіка 


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

11.
В341094/. 2
Логика и компьютер [Текст] / РАН. - М. : Наука. - (Кибернетика - неограниченные возможности и возможные ограничения).
2 : Логические языки, содержательные рассуждения и методы поиска доказательств / отв. ред. В. А. Смирнов. - [Б. м.] : [б.в.], 1995. - 131 с. - ISBN 5-02-006896-9

Рубрикатор НБУВ:
 В121 
 З973-018.01 
Тематичні рубрики:
 Математична логіка 
 Теорія програмування 


Дод. точки доступу:
Смирнов, В. А. (отв. ред.); РАН

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

12.
ВА575391
Курбатов, В. И..
Логика Логика [Текст] : учеб. пособие для студ. вузов / В. И. Курбатов. - Ростов-на-Дону : Феникс, 1996. - 320 с. - ISBN 5-85880-335-0
Замена ВА575491

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


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

13.
ВА582229
Фреге, Готлоб.
Логические исследования [Текст] / Г. Фреге ; сост., общ.ред., вступ. ст. и коммент. В. А. Суровцев. - Томск : Водолей, 1997. - 128 с. - (Библиотека аналитической философии). - ISBN 5-7137-0075-5

Рубрикатор НБУВ:
 Ю3(4Нім)6-654 
 Ю4 г(4Нім) 
 В121 в2:Ю 
Тематичні рубрики:
 Історія філософії 
 Логіка 
 Математична логіка 

Географічні рубрики:
 Німеччина 
  


Дод. точки доступу:
Суровцев, общ.ред., вступ. ст. и коммент.: Суровцев, В. А. (сост., общ.ред., вступ. ст. и коммент.)

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

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

Рубрикатор НБУВ:
 Ю439,0 
 В121 в1 
Тематичні рубрики:
 Загальні роботи < Класична і конструктивна логіка > 
 Математична логіка 


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

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

15.
ВА584981
   Лиман, Федір Миколайович.
Математична логіка і теорія алгоритмів [Текст] : навч. посіб. для студ. фіз.-мат. спец. пед. вузів / Ф. М. Лиман ; Ін-т змісту і методів навчання. - Суми : Слобожанщина, 1998. - 152 с. - ISBN 966-535-022-6

Рубрикатор НБУВ:
 В121 я73-1 
 В127 я73-1 
Тематичні рубрики:
 Математична логіка. Підручники для вищої школи 
 Теорія алгоритмів, рекурсивні функції 


Дод. точки доступу:
Інститут змісту і методів навчання (Київ)

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

16.
ВА586750
   Цюрупа, Михайло Володимирович.
Основні терміни логіки [Текст] : словник / М. В. Цюрупа, І. М. Волошко ; Київський військовий гуманітарний ін-т. - К. : [б.в.], 1997. - 49 с.

Рубрикатор НБУВ:
 Ю4 я212 
 В121 я212 
Тематичні рубрики:
 Термінологічні словники < Логіка > 
 Математична логіка 


Дод. точки доступу:
Волошко, Іван Михайлович; Київський військовий гуманітарний інститут

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

17.
ВА587117
Тарєлкін, Юрій Павлович.
Основи формальної логіки [Текст] : навч. посіб. для студ. гуманіт. спец. вузів / Ю. П. Тарєлкін ; Сумський держ. педагогічний ін-т. - Суми : [б.в.], 1998. - 70 с.

Рубрикатор НБУВ:
 Ю4 я73 
 В121 я73 
Тематичні рубрики:
 Навчальні посібники для вищої школи 
 Математична логіка. Навчальні видання для вищої школи 


Дод. точки доступу:
Сумський державний педагогічний інститут

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

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

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


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

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

19.
ВА596363
Есенин-Вольпин, Александр Сергеевич.
Философия. Логика. Поэзия. Защита прав человека [Текст] : избранное / А. С. Есенин-Вольпин ; сост. А. Ю. Даниэль [и др.] ; ред. В. К. Финн, А. Ю. Даниэль ; Российский гос. гуманитарный ун-т. - М. : РГУ, 1999. - 450 с. - ISBN 5-7281-0266-2

Рубрикатор НБУВ:
 Ю3(4РОС)6-658 
 В121 я44 
 В1 д(4РОС) Єсенін-Вольпін, О.С. 
 Ш6(7СПО=411.2) я44 
 Ш5(7СПО=411.2)-4 Есенин-Вольпин А.2 
 Т3(4РОС)6-8 Есенин-Вольпин 
Тематичні рубрики:
 Російський інтуїтивізм 
 Математична логіка 
 Математика 
 Художня література (твори) 
 Література 
 Історія 

Географічні рубрики:
 Російська Федерація (РФ). Росія 
  
  


Дод. точки доступу:
Финн, В. К. (ред.); Даниэль, А. Ю. (ред.); Даниэль, А. Ю. (сост.); Российский гос. гуманитарный университет

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

20.
В344320/Ч. 1
Самуйлов, Константин Евгеньевич
Лекции по дискретной математике [Текст] : учеб. пособие / К. Е. Самуйлов [и др]. - М. : Издательство Российского ун-та дружбы народов, 2000 .
Ч. 1 : Логика. - М. : [б.и.], 2000. - 59 с. - ISBN 5-209-01304-9

Рубрикатор НБУВ:
 В121 я73-1 
Тематичні рубрики:
 Математична логіка. Підручники для вищої школи 


Дод. точки доступу:
Севастьянов, Леонид Антонович; Спесивов, Сергей Степанович

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

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

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