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
Електронний каталог
Миколаївська обласна бібліотечна асоціація
Ресурси бібліотек міста Миколаєва

Фонд Наукової бібліотеки МНУ ім. В. Сухомлинського- результаты поиска

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

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

База даних

Науково-педагогічної бібліотеки
Центральної бібліотеки ім.М.Л. Кропивницького
Миколаївської обласної бібліотеки для дітей ім. В. Лягіна
Центральної бібліотеки для дітей ім. Ш. Кобера і В. Хоменко
Наукової бібліотеки МНУ ім. В. Сухомлинського
Миколаївської обласної бібліотеки для юнацтва
 		Вид пошуку: СтандартнийРозширений
Область пошуку
Формат відображення документів:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=доведення, доказательство<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.


    Чень Ч.
    Математическая логика и автоматическое доказательство теорем [Текст] / Чень Ч., Ли Р. - М. : Наука, 1983. - 358 с. - (Математическая логика и основания математики) (Математическая логика и основания математики). - 2р.20коп. р.

Рубрики: 22.12 Основи математики. Математична логіка,  доведення, доказательство,  математична логіка, математическая логика,  основи математики, основания математики, basic mathematics, mathematical concepts,  теорема...
Знайти подібні документи / URL: посилання на документ
2.


    Жеребкін В.Е.
    Логіка [Текст] : підручник для студентів юридичних спеціальностей вищих навчальних закладів / Жеребкін В.Е. - 2-ге вид., стер. - Х. : Основа; К. : Знання, 1998. - 256 с. - Затверджено Міносвіти. - 6 грн. 00 коп. р.

Рубрики: аналогія, аналогия,  гіпотеза, гипотеза,  доведення, доказательство,  історія логіки, история логики,  Логіка,  логіка, логика,  логічне мислення, логическое мышление,  мислення, мышление,  Підручник,  поняття та судження, понятие и суждение,  поняття та умовивід, понятие и умозаключение,  поняття, понятие,  спростування, опровержение, refutation,  судження, суждение,  умовивід, умозаключение
Знайти подібні документи / URL: посилання на документ
3.


    Столяр А.А.
    Зачем и как мы доказываем в математике: Беседы со старшеклассниками [Текст] / Столяр А.А. - Минск : Народная асвета, 1987. - 143 с. - 50коп. р.

Рубрики: 22.1 Математика,  бесіда, беседа,  види доказів, виды доказательств,  доведення, доказательство,  математика, mathematics, mathematique, matematyka,  старшокласники, старшеклассники
Знайти подібні документи / URL: посилання на документ
4.


   
    Справочная книга по математической логике: В 4-х частях [Текст] . Ч.4. Теория доказательств и конструктивная математика. - [Б. м. : б. и.], 1983. - 392 с. - 2р.10коп. р.

Рубрики: 22.122 Математична логіка,  доведення, доказательство,  довідники, справочники, handbooks,  математична логіка, математическая логика
Знайти подібні документи / URL: посилання на документ
Институт медленного и болезненного выяснения самых очевидных вещей