Простий пошук
Розширений пошук
Алфавітні покажчики

Бази даних

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

Віртуальна довідка
Тематичний інтернет-навігатор
Наукова електронна бібліотека
Автореферати дисертацій
Реферативна база даних
Книжкові видання та компакт-диски
Журнали та продовжувані видання
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Наукова електронна бібліотека (31)Автореферати дисертацій (1)Реферативна база даних (33)Журнали та продовжувані видання (5)
Пошуковий запит: (<.>U=В121$<.>)
Загальна кількість знайдених документів : 95
Представлено документи з 1 до 20
...
      
Категорія: Філософські науки. Психологія   
1.
ДС63406

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

Рубрики:
 Загальні роботи < Класична і конструктивна логіка > 
 Математична логіка 
 Теорія доведень. Пошук виведення і розв'язності в логіці 




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

      
Категорія: Філософські науки. Психологія   
2.
РА299164

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

Рубрики:
 Методичні форми і прийоми навчання < Логіка > 
 Математична логіка 

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




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

      
Категорія: Фізико-математичні науки   
3.
РА367236

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

Рубрики:
 Математична логіка 




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

      
Категорія: Філософські науки. Психологія   
4.
РА299626

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

Рубрики:
 Загальні роботи < Класична і конструктивна логіка > 
 Математична логіка 
 Теорія доведень. Пошук виведення і розв'язності в логіці 




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

      
Категорія: Фізико-математичні науки   
5.
В340074/Ч. 2

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

Рубрики:
 Математична логіка 




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

      
Категорія: Фізико-математичні науки   
6.
ВА574210

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

Рубрики:
 Математична логіка. Збірники задач і вправ для студентів 
 Задачники і збірники вправ. Вища школа < Логіка > 




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

      
Категорія: Філософські науки. Психологія   
7.
Видання в опрацюванні - ще не надійшло за місцем зберігання


Труды научно-исследовательского семинара логического центра института философии РАН.1993. [Текст]. - М. : [б.в.], 1994.

Рубрики:
 Логіка 
 Математична логіка 

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




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

      
Категорія: Філософські науки. Психологія   
8.
ВА582036

Курбатов, Владимир Иванович.
Логика в вопросах и ответах [Текст] : учеб. пособие / В. И. Курбатов. - Ростов-на-Дону : Феникс, 1997. - 384 с. - ISBN 5-85880-582-5

Рубрики:
 Навчальні посібники 
 Математична логіка. Навчальні видання 




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

      
Категорія: Фізико-математичні науки   
9.
ВА589484

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

Рубрики:
 Математична логіка 
 Історія філософії 

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




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

      
Категорія: Філософські науки. Психологія   
10.
ВА570776

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

Рубрики:
 Логіка і філософія і методологія науки 
 Математична логіка 




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

      
Категорія: Фізико-математичні науки   
11.
В341094/. 2

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

Рубрики:
 Математична логіка 
 Теорія програмування 




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

      
Категорія: Філософські науки. Психологія   
12.
ВА575391

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

Рубрики:
 Навчальні посібники для вищої школи 
 Математична логіка. Підручники для вищої школи 




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

      
Категорія: Філософські науки. Психологія   
13.
ВА582229

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

Рубрики:
 Історія філософії 
 Логіка 
 Математична логіка 

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




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

      
Категорія: Філософські науки. Психологія   
14.
ВА582571

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

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




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

      
Категорія: Фізико-математичні науки   
15.
ВА584981

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

Рубрики:
 Математична логіка. Підручники для вищої школи 
 Теорія алгоритмів, рекурсивні функції 




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

      
Категорія: Філософські науки. Психологія   
16.
ВА586750

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

Рубрики:
 Термінологічні словники < Логіка > 
 Математична логіка 




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

      
Категорія: Філософські науки. Психологія   
17.
ВА587117

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

Рубрики:
 Навчальні посібники для вищої школи 
 Математична логіка. Навчальні видання для вищої школи 




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

      
Категорія: Фізико-математичні науки   
18.
ВА591086

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

Рубрики:
 Математична логіка. Підручники для вищої школи 
 Підручники < Традиційна і сучасна формальна (математична) логіка > 




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

      
Категорія: Філософські науки. Психологія   
19.
ВА596363

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

Рубрики:
 Російський інтуїтивізм 
 Математична логіка 
 Математика 
 Художня література (твори) 
 Література 
 Історія 

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




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

      
Категорія: Фізико-математичні науки   
20.
В344320/Ч. 1

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

Рубрики:
 Математична логіка. Підручники для вищої школи 




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

...
 

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