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

Бази даних

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

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

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


Дод. точки доступу:
Самарский гос. университет. Кафедра алгебры и геометрии

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

2.
Глушков В.М./ВА1041
Столяр, Абрам Аронович.
Элементарное введение в математическую логику [Текст] : пособ. для учителей / А. А. Столяр. - М : Просвещение, 1965. - 163 с. : рис., табл. - Бібліогр.: с. 162. - 25000 прим.

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


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

3.
Глушков В.М./ВА192
Калужнин, Лев Аркадьевич.
Что такое математическая логика? [Текст] / Л. А. Калужнин. - М. : Наука, 1964. - 152 с. : рис. - Библиогр.: с. 149-150. - 42 000 прим.
З дарчим написом В. М. Глушкову від авт.

Рубрикатор НБУВ:
 В121 я9 
Тематичні рубрики:
 Популярні видання з математичної логіки 


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

4.
Глушков В.М./В48/5
   Глушков, Виктор Михайлович
Цикл лекций "Основы математической логики" на научно-техническом семинаре "Математический аппатат кибернетики" [Текст] / Акад. Глушков В. М. ; Киев. Дом науч.-техн. пропаганды. - К. : [б. и.], [19--?] .
Лекция 5 : Теорема о функциональной полноте (ослабленная). - 1961. - 26 с. - 1000 прим.

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


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

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

5.
ВА865180
   Шевельова, Алла Євгенівна.
Формальне доведення теорем числення висловлювань [Текст] : навч. посіб. / А. Є. Шевельова ; Дніпров. нац. ун-т ім. Олеся Гончара, Каф. обчислюв. математики та мат. кібернетики. - Дніпро : Ліра, 2023. - 79 с. - Бібліогр.: с. 75. - 20 прим. - ISBN 978-966-981-713-6

Рубрикатор НБУВ:
 В121 я73 
 В195 я73 
УДК:
 510.6(075.8) 
Тематичні рубрики:
 Математична логіка. Навчальні видання для вищої школи 
 Прикладна математика. Навчальні видання для студентів 


Дод. точки доступу:
Дніпровський національний університет імені Олеся Гончара. Кафедра обчислювальної математики та математичної кібернетики

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

6.
ВА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 Есенин-Вольпин 
Тематичні рубрики:
 Російський інтуїтивізм 
 Математична логіка 
 Математика 
 Художня література (твори) 
 Література 
 Історія 

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


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

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

7.
АО263586
Больцано, Бернард.
Учение о науке [Текст] : избранное / Б. Больцано ; пер. Б. И. Федоров. - СПб. : Наука, 2003. - 520 с. - (Слово о сущем ; т. 45). - ISBN 5-02-026846-1

Рубрикатор НБУВ:
 Ю3(4ЧЕХ)4 
 Ю4 г(4) 
 В121 в5 
Тематичні рубрики:
 Історія філософії 
 Історія логіки в країнах Європи 
 Математична логіка 

Географічні рубрики:
 Чехія 
 Європа 
  


Дод. точки доступу:
Федоров, Б. И. (пер.); (пер. с нем.)

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

8.
ВА609134

Учебно-методическое пособие по математике. Математическая логика. Дискретная математика. Линейная алгебра [Текст] / А. Н. Данчул [и др.] ; общ. ред. А. Н. Данчул ; Рос. акад. гос. службы при Президенте РФ. - М. : Издательство РАГС, 2000. - 102 с.: рис.

Рубрикатор НБУВ:
 В121 я7 
 В126 я7 
 В152.2 я7 
Тематичні рубрики:
 Математична логіка. Навчальні видання 
 Дискретна математика. Навчальні видання 
 Лінійна алгебра. Навчальні видання 


Дод. точки доступу:
Данчул, А. Н.; Митин, А. И.; Сафонова, Т. Е.; Симонов, В. М.; Данчул, А. Н. (ред.); Российская академия государственной службы при Президенте Российской Федерации

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

9.
   ТРУДЫ НАУЧНО-ИССЛЕДОВАТЕЛЬСКОГО СЕМИНАРА ЛОГИЧЕСКОГО ЦЕНТРА ИНСТИТУТА ФИЛОСОФИИ РАН.1993. (1994)
10.
ВА638743
Купиллари, А..
Трудности доказательств. Как преодолеть страх перед математикой [Текст] / А. Купиллари ; пер. с англ. С. А. Кулешов. - М. : ЗАО "РИЦ "Техносфера", 2002. - 303 с. - (Мир математики). - ISBN 5-94836-003-2

Рубрикатор НБУВ:
 В1 р21-34 
 В121 р 
Тематичні рубрики:
 Методичні посібники та керівництва для вчителів математики загальноосвітніх шкіл 
 Вивчення і викладання математичної логіки 


Дод. точки доступу:
Кулешов, С. А. (пер. с англ.)

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

11.
ВА588348

Тесты: Физика. Математическая логика [Текст] / Ин-т содерж. и методов обучения, Харьков. гос. ун-т радиоэлектроники ; сост. Е. Е. Гетманова [и др.]. - Х. : [б.и.], 1998. - 151 с. - ISBN 5-7763-0916-6

Рубрикатор НБУВ:
 В3 р(4Укр)3-2 
 В121 р3 
Тематичні рубрики:
 Дидактика (Теорія навчання і викладання). Вища школа. Україна < Фізика > 
 Математична логіка 

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


Дод. точки доступу:
Гетманова, Елена Евгеньевна (сост.); Институт содержания и методов обучения (Киев)Харьковский гос. университет радиоэлектроники

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

12.
Р93104
Шеремет, М. С..
Теоремы полноты для логики тождеств Эванса [Текст] / М. С. Шеремет. - Новосибирск : [б.и.], 2001. - 12 с. - (Препр. / НИИ дискретной математики и информатики ; 56). - Библиогр.: с. 11-12

Рубрикатор НБУВ:
 В121 
 В152.7 
Тематичні рубрики:
 Математична логіка 
 Загальна теорія алгебраїчних систем. Універсальні алгебри 


Дод. точки доступу:
НИИ дискретной математики и информатики

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

13.
Глушков В.М./ВА902
Стяжкин, Николай Иванович.
Становление идей математической логики [Текст] / Н. И. Стяжкин ; АН СССР, Ин-т философии. - М. : Наука, 1964. - 204 с. - Бібліогр.: с. 277-298. - 4000 прим.

Рубрикатор НБУВ:
 В121 г(0) 
Тематичні рубрики:
 Історія математичної логіки 

Географічні рубрики:
 Весь світ. Всі країни в цілому 


Дод. точки доступу:
Академия наук СССР; Институт философии

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

14.
ВС44547

Символическая логика [Текст] : учебник для студ. и аспирантов филос. ф-тов ун-тов / И. Н. Бродский [и др.] ; ред. Я. А. Слинин [и др.] ; Санкт-Петербургский гос. ун-т. - СПб. : Издательство С.-Петербургского ун-та, 2005. - 505 с. - ISBN 5-288-02447-2

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


Дод. точки доступу:
Бродский, И. Н.; Гусев, С. С.; Караваев, Э. Ф.; Лисанюк, Е. Н.; Микиртумов, И. Б.; Мухачев, В. П.; Подниекс, К. М.; Серебрянников, О. Ф.; Федоров, Б. И.; Черноскутов, Ю. Ю.; Слинин, Я. А. (ред.); Санкт-Петербургский гос. университет

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

15.
ВА726020
Морозова, Ольга Игоревна.
Применение ЭВМ для решения задач математической логики и теории алгоритмов [Текст] : учеб. пособие / О. И. Морозова, Ю. К. Чернышев ; Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". - Х. : ХАИ, 2010. - 69 с. : рис. - Библиогр.: с. 68. - 100 прим.

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


Дод. точки доступу:
Чернышев, Юрий Константинович; "Харьковский авиационный институт", национальный аэрокосмический университет имени Н. Е. Жуковского

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

16.
ВА758467
   Провотар, Олександр Іванович.
Приклади й задачі з теорії алгоритмів і математичної логіки [Текст] : навч. посіб. / О. І. Провотар, О. С. Шкільняк ; Київ. нац. ун-т ім. Тараса Шевченка. - К. : Київський університет, 2012. - 167 с. - Бібліогр.: с. 166-167. - 100 прим. - ISBN 978-966-439-524-0

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


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

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

17.
В349641/Ч. 1
Практикум з математичної логіки та теорії алгоритмів [Текст] / Ніжинський держ. ун-т ім. Миколи Гоголя. - Ніжин : Видавництво НДУ ім. М.Гоголя, 2006 .
Ч. 1 / В. М. Харченко, О. В. Доліч. - [Б. м.] : [б.в.], 2006. - 58 с. - Бібліогр.: с. 58

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


Дод. точки доступу:
Доліч, Олег Валентинович; Ніжинський державний університет імені Миколи Гоголя
Переглянути документ в електронній бібліотеці "Україніка"

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

18.
Р98642
   Мельник, Володимир Іванович.
Парадокси математики. Теореми Гьоделя. Онтологічне доведення Бога [Текст] / В. І. Мельник. - К. : Знання України, 2003. - 20 с. - ISBN 966-7999-82-3

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


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

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

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


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

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

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

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


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

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

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

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