Warning: Irbis_Format(): @ed_reference: unexpected token THENFI at line 3, column 13, fmt source: '<!>' if p(v951) then /* if v951^T:'Повний текст у форматі PDF' and (&uf('IMAIN,show_ed,')='2' or (&uf('IMAIN,show_ed,')='1' and a(v2225)) ) then /* if v951^T:'Повний текст у форматі PDF' then /* '<br>' /* '<img src="/images/full_text.png">', /* 'Користувачі бібліотеки, можуть отримати повний текст статті відправивши запит на адресу elena@library.mk.ua<br>', /* fi, fi, '<!>' in C:\hosting\e-catalog.mk.ua\commands\srv.inc on line 313

Warning: Irbis_Format(): @ed_reference: unexpected token THENFI at line 3, column 13, fmt source: '<!>' if p(v951) then /* if v951^T:'Повний текст у форматі PDF' and (&uf('IMAIN,show_ed,')='2' or (&uf('IMAIN,show_ed,')='1' and a(v2225)) ) then /* if v951^T:'Повний текст у форматі PDF' then /* '<br>' /* '<img src="/images/full_text.png">', /* 'Користувачі бібліотеки, можуть отримати повний текст статті відправивши запит на адресу elena@library.mk.ua<br>', /* fi, fi, '<!>' in C:\hosting\e-catalog.mk.ua\commands\srv.inc on line 313

Warning: Irbis_Format(): @ed_reference: unexpected token THENFI at line 3, column 13, fmt source: '<!>' if p(v951) then /* if v951^T:'Повний текст у форматі PDF' and (&uf('IMAIN,show_ed,')='2' or (&uf('IMAIN,show_ed,')='1' and a(v2225)) ) then /* if v951^T:'Повний текст у форматі PDF' then /* '<br>' /* '<img src="/images/full_text.png">', /* 'Користувачі бібліотеки, можуть отримати повний текст статті відправивши запит на адресу elena@library.mk.ua<br>', /* fi, fi, '<!>' in C:\hosting\e-catalog.mk.ua\commands\srv.inc on line 313

Warning: Irbis_Format(): @ed_reference: unexpected token THENFI at line 3, column 13, fmt source: '<!>' if p(v951) then /* if v951^T:'Повний текст у форматі PDF' and (&uf('IMAIN,show_ed,')='2' or (&uf('IMAIN,show_ed,')='1' and a(v2225)) ) then /* if v951^T:'Повний текст у форматі PDF' then /* '<br>' /* '<img src="/images/full_text.png">', /* 'Користувачі бібліотеки, можуть отримати повний текст статті відправивши запит на адресу elena@library.mk.ua<br>', /* fi, fi, '<!>' in C:\hosting\e-catalog.mk.ua\commands\srv.inc on line 313

Warning: Irbis_Format(): @ed_reference: unexpected token THENFI at line 3, column 13, fmt source: '<!>' if p(v951) then /* if v951^T:'Повний текст у форматі PDF' and (&uf('IMAIN,show_ed,')='2' or (&uf('IMAIN,show_ed,')='1' and a(v2225)) ) then /* if v951^T:'Повний текст у форматі PDF' then /* '<br>' /* '<img src="/images/full_text.png">', /* 'Користувачі бібліотеки, можуть отримати повний текст статті відправивши запит на адресу elena@library.mk.ua<br>', /* fi, fi, '<!>' in C:\hosting\e-catalog.mk.ua\commands\srv.inc on line 313

Warning: Irbis_Format(): @ed_reference: unexpected token THENFI at line 3, column 13, fmt source: '<!>' if p(v951) then /* if v951^T:'Повний текст у форматі PDF' and (&uf('IMAIN,show_ed,')='2' or (&uf('IMAIN,show_ed,')='1' and a(v2225)) ) then /* if v951^T:'Повний текст у форматі PDF' then /* '<br>' /* '<img src="/images/full_text.png">', /* 'Користувачі бібліотеки, можуть отримати повний текст статті відправивши запит на адресу elena@library.mk.ua<br>', /* fi, fi, '<!>' in C:\hosting\e-catalog.mk.ua\commands\srv.inc on line 313

Warning: Irbis_Format(): @ed_reference: unexpected token THENFI at line 3, column 13, fmt source: '<!>' if p(v951) then /* if v951^T:'Повний текст у форматі PDF' and (&uf('IMAIN,show_ed,')='2' or (&uf('IMAIN,show_ed,')='1' and a(v2225)) ) then /* if v951^T:'Повний текст у форматі PDF' then /* '<br>' /* '<img src="/images/full_text.png">', /* 'Користувачі бібліотеки, можуть отримати повний текст статті відправивши запит на адресу elena@library.mk.ua<br>', /* fi, fi, '<!>' in C:\hosting\e-catalog.mk.ua\commands\srv.inc on line 313

Warning: Irbis_Format(): @ed_reference: unexpected token THENFI at line 3, column 13, fmt source: '<!>' if p(v951) then /* if v951^T:'Повний текст у форматі PDF' and (&uf('IMAIN,show_ed,')='2' or (&uf('IMAIN,show_ed,')='1' and a(v2225)) ) then /* if v951^T:'Повний текст у форматі PDF' then /* '<br>' /* '<img src="/images/full_text.png">', /* 'Користувачі бібліотеки, можуть отримати повний текст статті відправивши запит на адресу elena@library.mk.ua<br>', /* fi, fi, '<!>' in C:\hosting\e-catalog.mk.ua\commands\srv.inc on line 313

Warning: Irbis_Format(): @ed_reference: unexpected token THENFI at line 3, column 13, fmt source: '<!>' if p(v951) then /* if v951^T:'Повний текст у форматі PDF' and (&uf('IMAIN,show_ed,')='2' or (&uf('IMAIN,show_ed,')='1' and a(v2225)) ) then /* if v951^T:'Повний текст у форматі PDF' then /* '<br>' /* '<img src="/images/full_text.png">', /* 'Користувачі бібліотеки, можуть отримати повний текст статті відправивши запит на адресу elena@library.mk.ua<br>', /* fi, fi, '<!>' in C:\hosting\e-catalog.mk.ua\commands\srv.inc on line 313

Warning: Irbis_Format(): @ed_reference: unexpected token THENFI at line 3, column 13, fmt source: '<!>' if p(v951) then /* if v951^T:'Повний текст у форматі PDF' and (&uf('IMAIN,show_ed,')='2' or (&uf('IMAIN,show_ed,')='1' and a(v2225)) ) then /* if v951^T:'Повний текст у форматі PDF' then /* '<br>' /* '<img src="/images/full_text.png">', /* 'Користувачі бібліотеки, можуть отримати повний текст статті відправивши запит на адресу elena@library.mk.ua<br>', /* fi, fi, '<!>' in C:\hosting\e-catalog.mk.ua\commands\srv.inc on line 313

Warning: Irbis_Format(): @ed_reference: unexpected token THENFI at line 3, column 13, fmt source: '<!>' if p(v951) then /* if v951^T:'Повний текст у форматі PDF' and (&uf('IMAIN,show_ed,')='2' or (&uf('IMAIN,show_ed,')='1' and a(v2225)) ) then /* if v951^T:'Повний текст у форматі PDF' then /* '<br>' /* '<img src="/images/full_text.png">', /* 'Користувачі бібліотеки, можуть отримати повний текст статті відправивши запит на адресу elena@library.mk.ua<br>', /* fi, fi, '<!>' in C:\hosting\e-catalog.mk.ua\commands\srv.inc on line 313

Warning: Irbis_Format(): @ed_reference: unexpected token THENFI at line 3, column 13, fmt source: '<!>' if p(v951) then /* if v951^T:'Повний текст у форматі PDF' and (&uf('IMAIN,show_ed,')='2' or (&uf('IMAIN,show_ed,')='1' and a(v2225)) ) then /* if v951^T:'Повний текст у форматі PDF' then /* '<br>' /* '<img src="/images/full_text.png">', /* 'Користувачі бібліотеки, можуть отримати повний текст статті відправивши запит на адресу elena@library.mk.ua<br>', /* fi, fi, '<!>' in C:\hosting\e-catalog.mk.ua\commands\srv.inc on line 313

Warning: Irbis_Format(): @ed_reference: unexpected token THENFI at line 3, column 13, fmt source: '<!>' if p(v951) then /* if v951^T:'Повний текст у форматі PDF' and (&uf('IMAIN,show_ed,')='2' or (&uf('IMAIN,show_ed,')='1' and a(v2225)) ) then /* if v951^T:'Повний текст у форматі PDF' then /* '<br>' /* '<img src="/images/full_text.png">', /* 'Користувачі бібліотеки, можуть отримати повний текст статті відправивши запит на адресу elena@library.mk.ua<br>', /* fi, fi, '<!>' in C:\hosting\e-catalog.mk.ua\commands\srv.inc on line 313

Warning: Irbis_Format(): @ed_reference: unexpected token THENFI at line 3, column 13, fmt source: '<!>' if p(v951) then /* if v951^T:'Повний текст у форматі PDF' and (&uf('IMAIN,show_ed,')='2' or (&uf('IMAIN,show_ed,')='1' and a(v2225)) ) then /* if v951^T:'Повний текст у форматі PDF' then /* '<br>' /* '<img src="/images/full_text.png">', /* 'Користувачі бібліотеки, можуть отримати повний текст статті відправивши запит на адресу elena@library.mk.ua<br>', /* fi, fi, '<!>' in C:\hosting\e-catalog.mk.ua\commands\srv.inc on line 313

Warning: Irbis_Format(): @ed_reference: unexpected token THENFI at line 3, column 13, fmt source: '<!>' if p(v951) then /* if v951^T:'Повний текст у форматі PDF' and (&uf('IMAIN,show_ed,')='2' or (&uf('IMAIN,show_ed,')='1' and a(v2225)) ) then /* if v951^T:'Повний текст у форматі PDF' then /* '<br>' /* '<img src="/images/full_text.png">', /* 'Користувачі бібліотеки, можуть отримати повний текст статті відправивши запит на адресу elena@library.mk.ua<br>', /* fi, fi, '<!>' in C:\hosting\e-catalog.mk.ua\commands\srv.inc on line 313

Warning: Irbis_Format(): @ed_reference: unexpected token THENFI at line 3, column 13, fmt source: '<!>' if p(v951) then /* if v951^T:'Повний текст у форматі PDF' and (&uf('IMAIN,show_ed,')='2' or (&uf('IMAIN,show_ed,')='1' and a(v2225)) ) then /* if v951^T:'Повний текст у форматі PDF' then /* '<br>' /* '<img src="/images/full_text.png">', /* 'Користувачі бібліотеки, можуть отримати повний текст статті відправивши запит на адресу elena@library.mk.ua<br>', /* fi, fi, '<!>' in C:\hosting\e-catalog.mk.ua\commands\srv.inc on line 313

Warning: Irbis_Format(): @ed_reference: unexpected token THENFI at line 3, column 13, fmt source: '<!>' if p(v951) then /* if v951^T:'Повний текст у форматі PDF' and (&uf('IMAIN,show_ed,')='2' or (&uf('IMAIN,show_ed,')='1' and a(v2225)) ) then /* if v951^T:'Повний текст у форматі PDF' then /* '<br>' /* '<img src="/images/full_text.png">', /* 'Користувачі бібліотеки, можуть отримати повний текст статті відправивши запит на адресу elena@library.mk.ua<br>', /* fi, fi, '<!>' in C:\hosting\e-catalog.mk.ua\commands\srv.inc on line 313

Warning: Irbis_Format(): @ed_reference: unexpected token THENFI at line 3, column 13, fmt source: '<!>' if p(v951) then /* if v951^T:'Повний текст у форматі PDF' and (&uf('IMAIN,show_ed,')='2' or (&uf('IMAIN,show_ed,')='1' and a(v2225)) ) then /* if v951^T:'Повний текст у форматі PDF' then /* '<br>' /* '<img src="/images/full_text.png">', /* 'Користувачі бібліотеки, можуть отримати повний текст статті відправивши запит на адресу elena@library.mk.ua<br>', /* fi, fi, '<!>' in C:\hosting\e-catalog.mk.ua\commands\srv.inc on line 313

Warning: Irbis_Format(): @ed_reference: unexpected token THENFI at line 3, column 13, fmt source: '<!>' if p(v951) then /* if v951^T:'Повний текст у форматі PDF' and (&uf('IMAIN,show_ed,')='2' or (&uf('IMAIN,show_ed,')='1' and a(v2225)) ) then /* if v951^T:'Повний текст у форматі PDF' then /* '<br>' /* '<img src="/images/full_text.png">', /* 'Користувачі бібліотеки, можуть отримати повний текст статті відправивши запит на адресу elena@library.mk.ua<br>', /* fi, fi, '<!>' in C:\hosting\e-catalog.mk.ua\commands\srv.inc on line 313

Warning: Irbis_Format(): @ed_reference: unexpected token THENFI at line 3, column 13, fmt source: '<!>' if p(v951) then /* if v951^T:'Повний текст у форматі PDF' and (&uf('IMAIN,show_ed,')='2' or (&uf('IMAIN,show_ed,')='1' and a(v2225)) ) then /* if v951^T:'Повний текст у форматі PDF' then /* '<br>' /* '<img src="/images/full_text.png">', /* 'Користувачі бібліотеки, можуть отримати повний текст статті відправивши запит на адресу elena@library.mk.ua<br>', /* fi, fi, '<!>' in C:\hosting\e-catalog.mk.ua\commands\srv.inc on line 313

Warning: Cannot modify header information - headers already sent by (output started at C:\hosting\e-catalog.mk.ua\commands\srv.inc:313) in C:\hosting\e-catalog.mk.ua\web.inc on line 1036

Warning: Cannot modify header information - headers already sent by (output started at C:\hosting\e-catalog.mk.ua\commands\srv.inc:313) in C:\hosting\e-catalog.mk.ua\web.inc on line 1046
Електронний каталог
Миколаївська обласна бібліотечна асоціація
Ресурси бібліотек міста Миколаєва

Фонд Центральної бібліотеки ім.М.Л. Кропивницького- результаты поиска

Головна - e-catalog.mk.ua

база даних містить 508049 бібліографічних записів

База даних

Вид пошуку: СтандартнийРозширений
Область пошуку
в найденном
 Найдено в других БД:Науково-педагогічної бібліотеки (8)Наукової бібліотеки МНУ ім. В. Сухомлинського (1)
Формат відображення документів:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Математична логіка<.>)
Общее количество найденных документов : 32
Показаны документы с 1 по 20
 1-10    11-20   21-30   31-32 
1.
510.6
Г 20


    Гарднер, М.
    А ну-ка, догадайся! [Текст] / М. Гарднер ; пер. с англ. Ю. А. Данилов. - М. : Мир, 1984. - 212 с. : ил. - 00.60 р.
ГРНТИ
УДК
ББК 22.12

Рубрики: Математика--цікава,  Математична логіка,  Логіка--математична
Знайти подібні документи / URL: посилання на документ
2.
51-8:794.5
Г 20


    Гарднер, М.
    Математические досуги [Текст] / М. Гарднер ; пер. с англ. Ю. А. Данилов ; ред. Я. А. Смородинский. - М. : ОНИКС, 1995. - 495 с. - ISBN 5-88361-014-5 (в пер.) : 750000 крб.
ГРНТИ
УДК
ББК 22.1

Рубрики: Математика--Цікава,  Математична логіка
Знайти подібні документи / URL: посилання на документ
3.
51-8
Г 20


    Гарднер, М.
    Математические чудеса и тайны. Математические фокусы и головоломки [Текст] : научно-популярная литература / М. Гарднер ; пер. с англ. В. С. Берман ; ред. Г. Е. Шилов. - 5-е изд., стереотип. - М. : Наука, 1986. - 127 с. - 0.30 руб.
ГРНТИ
УДК
ББК 22.1

Рубрики: Математика--Цікава,  Математична логіка
Знайти подібні документи / URL: посилання на документ
4.
51(089.3)
Г 20


    Гарднер, М.
    Путешествие во времени [Текст] : научно-популярная литература / М. Гарднер; пер. с англ. Ю.А. Данилов. - М. : Мир, 1990. - 337 с. : ил. - ISSN 0-7167-19. - ISBN 5-03-001166-8 (в пер.) : 1.50 руб.
ГРНТИ
УДК
ББК 22.1

Рубрики: Математика--Цікава,  Математична логіка
Знайти подібні документи / URL: посилання на документ
5.
510.29
И 26


    Игнатьев, Е. И.
    В царстве смекалки [Текст] : к изучению дисциплины / Е. И. Игнатьев ; ред. М. К. Потапов. - 5-е изд., испр. и доп. - М. : Наука, 1987. - 176 с. - 0.30 руб.
УДК
ББК 22.1

Рубрики: Математика--арифметика,  Математика--збірник задач,  Математика--Цікава,  Математична логіка
Знайти подібні документи / URL: посилання на документ
6.
510/519
М 34


   
    Математика XIX века: Математическая логика, алгебра, теория чисел, теория вероятностей [Текст] / И. Г. Башмакова, Б. В. Гнеденко, З. А. Кузичева ; ред. А. Н. Колмогоров, А. П. Юшкевич. - М. : Наука, 1978. - 255 с. - (в пер.) : 2.10 р.
ГРНТИ
УДК
ББК 22.1г

Рубрики: Математика--Історія,  Історія математики,  Математична логіка,  Логіка--математична,  Теорія ймовірностей,  Теорія чисел,  Теорія ймовірностей
Знайти подібні документи / URL: посилання на документ
7.
51(091)(075)
О-95


   
    Очерки по истории математики [Текст] : Учеб. пособие / Ред. Б.В. Гнеденко. - М. : Изд-во МГУ, 1997. - 496 с. : ил. - 9.92 руб.
УДК
ББК 22.1я73

Рубрики: Математика--Історія,  Математичний аналіз,  Алгебра,  Теорія ймовірностей,  Математична логіка,  Теорія екстремальних задач,  функціональний аналіз
Знайти подібні документи / URL: посилання на документ
8.
510.6(075)
К 49


    Клини, С. К.
    Математическая логика [Текст] : учебное пособие / С. К. Клини ; ред. Г. Е. Минц ; пер. с англ. Ю. А. Гастев. - М. : Мир, 1973. - 480 с. - 2.50 руб.
    Содержание:
Исчесление высказываний . - С .11
Исчесление предикатов . - С .93
Исчесление предикатов с равенством . - С .177
Основания математики . - С .206
Вычислимость и разрешимость . - С .270
Исчисление предикатов (дополнительные разделы) . - С .339
ГРНТИ
УДК
ББК 22.12

Рубрики: Математична логіка,  Логіка,  Математика
Знайти подібні документи / URL: посилання на документ
9.
510.6(075.3)
К 95


    Кутасов, А. Д.
    Элементы математической логики [Текст] : пособ. для уч-ся 9-10 кл. / А.Д. Кутасов. - М. : Просвещение, 1977. - 63 с. - 0.10 руб.
    Содержание:
Высказывания. Операции над высказываниями . - С .5
Неопределенные высказывания (предикаты). Знаки общности и существования . - С .20
Приложения логики к некоторым вопросам математики . - С .25
ГРНТИ
УДК
ББК 22.12

Рубрики: Математика--для дітей,  Математична логіка
Знайти подібні документи / URL: посилання на документ
10.
510.3/.6
Л13


    Лавров, И. А.
    Задачи по теории множеств математической логике и теории алгоритмов [Текст] : к изучению дисциплины / И.А. Лавров, Л.Л. Максимова. - М. : Наука.Главная редакция физико-математической лит-ры , 1975. - 240 с. - 0.90 руб.
    Содержание:
Теория множества . - С .5
Математическая логика . - С .49
Теория алгоритмов . - С .124
ГРНТИ
УДК
ББК 22.12

Рубрики: Математика--Вища,  Математична логіка,  Математика--збірник задач,  Алгоритмів теорія
Знайти подібні документи / URL: посилання на документ
11.
510.6(075)
Р 64


    Никольский, И. Л.
    Математическая логика [Текст] : учебник для техникумов / И. Л. Никольский. - М. : Высшая школа, 1981. - 128 с. - 0.25 руб.
ГРНТИ
УДК
ББК 22.12я72

Рубрики: Математична логіка,  Логіка--математична
Знайти подібні документи / URL: посилання на документ
12.
51(089.3)
С 50


    Смаллиан, Р. М.
    Принцесса или тигр? [Текст] : научно-популярная литература / Р. М. Смаллиан ; ред. Ю. И. Манин ; пер. с англ. И. Е. Зино. - М. : Мир, 1985. - 221 с. - 0.55 руб.
ГРНТИ
УДК
ББК 22.12

Рубрики: Математика,  Математика--Цікава,  Математична логіка
Знайти подібні документи / URL: посилання на документ
13.
510.6(035)
С 74


   
    Справочная книга по математической логике в 4-х частях [Текст] : пер. с англ. Ч.1. Теория моделей / ред. Д. Барвайс. - М. : Наука.Главная редакция физико-математической лит-ры , 1982. - 392 с. - 2.20 руб.
ГРНТИ
УДК
ББК 22.12я2

Рубрики: Математика--Вища,  Математична логіка,  Теорія моделей,  Довідкові видання,  Довідкові видання--математичні
Знайти подібні документи / URL: посилання на документ
14.
510.6(035)
С 74


   
    Справочная книга по математической логике [Текст] : в 4-х ч. Ч.2. Теория множеств / ред. Д. Барвайс. - М. : Наука.Главная редакция физико-математической лит-ры, 1982. - 376 с. - 2.10 руб.
ГРНТИ
УДК
ББК 22.12я2

Рубрики: Математика--Вища,  Теорія множини,  Комбінаторика,  Математична логіка,  Теорія моделей,  Довідкові видання,  Довідкові видання--математичні
Знайти подібні документи / URL: посилання на документ
15.
510.6(035)
С 74


   
    Справочная книга по математической логике [Текст] : в 4-х частях. Ч.3. Теория рекурсии / ред. Д. Барвайс. - М. : Наука.Главная редакция физико-математической лит-ры, 1982. - 360 с. - 2.00 руб.
ГРНТИ
УДК
ББК 22.12я2

Рубрики: Математика--Вища,  Теорія рекурсії,  Математична логіка,  Довідкові видання--математичні
Знайти подібні документи / URL: посилання на документ
16.
510.6(035)
С 74


   
    Справочная книга по математической логике [Текст] : в 4-х частях. Ч.4. Теория доказательств и конструктивная математика. - М. : Наука.Главная редакция физико-математической лит-ры , 1983. - 376 с. - 2.10 руб.
ГРНТИ
УДК
ББК 22.12я2

Рубрики: Математика--Вища,  Теорія доказів,  Конструктивна математика,  Математична логіка,  Довідкові видання--математичні
Знайти подібні документи / URL: посилання на документ
17.
510.6
Г 45


    Гжегорчик, А.
    Популярная логика [Текст] : общедоступный очерк / А. Гжегорчик ; пер. с пол. С. П. Беляев. - 3-е изд., стереотип. - М. : Наука, 1979. - 112 с. : ил. - 00.25 руб.
ГРНТИ
УДК
ББК 22.12

Рубрики: Логіка--цікава,  Логіка--математична,  Математична логіка
Знайти подібні документи / URL: посилання на документ
18.
511.1
У-77


    Успенский, В. А.
    Теорема Гёделя о неполноте [Текст] / В. А. Успенский. - М. : Наука , 1982. - 112 с. - (Популярные лекции по математике; Вып.57)
УДК
ББК 22.12

Рубрики: Математика,  Математика--арифметика,  Теорема Геделя,  Математична логіка
Знайти подібні документи / URL: посилання на документ
19.
32.81
Л 69


   
    Логический подход к искусственному интеллекту: От классической логики к логическому программированию [Текст] / пер. с фр. П. П. Пермяков, Г. П. Гаврилов. - М. : Мир, 1990. - 432 с. : ил. - (в пер.) : 2 грн.
ББК 32.81

Рубрики: Програмування,  Штучний інтелект,  Мови програмування,  Логіка--математична,  Математична логіка
Знайти подібні документи / URL: посилання на документ
20.
32.816
Я29


    Яглом, И. М.
    Булева структура и ее модели [Текст] / И. М. Яглом. - М. : Советское радио, 1980. - 192 с. : ил. - (Кибернетика). - 0.70 р.
ББК 32.816

Рубрики: Алгебра,  Логіка--математична,  Математична логіка,  Електричні системи,  Кібернетичні моделі
Знайти подібні документи / URL: посилання на документ
 1-10    11-20   21-30   31-32 
Институт медленного и болезненного выяснения самых очевидных вещей