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

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

База даних

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


    Акимов О.Е.
    Дискретная математика: логика, группы, графы [Текст] / Акимов О.Е. - 2-е изд., доп. - М. : Лаборатория Базовых Знаний, 2001. - 376 с. - 19 грн. 54 коп. р.

Рубрики: групи, группы,  дискретна математика, дискретная математика,  конструктивізм, конструктивизм,  логіка висловлень, логика высказываний,  логіка предикатів, логика предикатов,  Математика,  математична логіка, математическая логика,  матриці, матрицы, matrices,  теорія графів, теория графов,  теорія груп, теория групп
Знайти подібні документи / URL: посилання на документ
2.


    Лавров И.А.
    Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / Лавров И.А., Максимова Л.Л. - 5-е изд., испр. - М. : Физматлит, 2002. - 256 с. - 23 грн. 77 коп. р.

Рубрики: алгебра висловлювань, алгебра выражений,  алгоритми, алгоритмы, algorithms,  вища математика, высшая математика, advanced mathematics,  логіка предикатів, логика предикатов,  Математика,  математична логіка, математическая логика,  математичний аналіз, математический анализ, mathematical analysis,  теорія алгоритмів, теория алгоритмов,  теорія множин, теория множеств
Знайти подібні документи / URL: посилання на документ
3.


    Игошин В.И.
    Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учебное пособие для студентов высших учебных заведений / Игошин В.И. - М. : Академия, 2005. - 304 с. - 41 грн. 50 коп. р.

Рубрики: алгебра висловлювань, алгебра выражений,  алгоритми, алгоритмы, algorithms,  вища математика, высшая математика, advanced mathematics,  логіка предикатів, логика предикатов,  Математика,  математична логіка, математическая логика,  математичний аналіз, математический анализ, mathematical analysis,  теорія алгоритмів, теория алгоритмов,  теорія множин, теория множеств,  числення висловлювань або речень
Знайти подібні документи / URL: посилання на документ
4.


    Повторева С.М.
    Словник з логіки [Текст] / Повторева С.М. - Львів : Магнолія-2006, 2012. - 196 с. - 50 грн. 00коп. р.

Рубрики: 87.4 Логіка,  історія логіки, история логики,  листопад 2009, ноябрь 2009,  логіка висловлень, логика высказываний,  логіка діалектологічна, логика диалектологическая,  логіка на уроках математики, логика на уроках математики,  логіка предикатів, логика предикатов,  логіка, логика,  математична логіка, математическая логика,  міфологіка, мифологика,  нечітка логіка, нечеткая логика,  педагогічна логіка, педагогическая логика,  пропозиційна логіка, пропозициональная логика,  психологічна логіка, психологическая логика,  символічна логіка, символическая логика,  Словник,  схоластична логіка, схоластическая логика,  теорія логіки, теория логики,  технічна логіка, техническая логика,  філософія логіки, философия логики,  формальна логіка, формальная логика,  юридична логіка, юридическая логика
Знайти подібні документи / URL: посилання на документ
5.


    Рот М.
    Интеллектуальный автомат: компьютер в качестве эксперта [Текст] / Рот М. - М. : Энергоатомиздат, 1991. - 80 с. - 3 грн. 00 коп. р.

Рубрики: використання комп'ютерів, использование компьютеров,  електронно-обчислювальна техніка, электронно-вычислительная техника,  електронно-обчислювальні машини, ЕОМ, электронно-вычислительные машины, ЭВМ,  застосування комп'ютерів, применение компьютеров, using computers,  історія комп'ютерів, история компьютеров,  історія обчислювальної техніки, история вычислительной техники,  історія розвитку комп'ютерної техніки, история развития компьютерной техники,  кібернетика, кибернетика,  комп'ютери, компьютеры,  комп'ютеризація, компьютеризация,  комп'ютерна діагностика, компьютерная диагностика,  комп'ютерна техніка, компьютерная техника,  комп'ютерне навчання, компьютерное обучение,  комп'ютерне тестування, компьютерное тестирование,  комп'ютерний аналіз даних, компьютерный анализ данных,  логіка предикатів, логика предикатов,  мікроелектроніка, микроэлектроника,  мови програмування, языки программирования, computer program language,  обчислювальні системи, вычислительные системы,  проблеми використання комп'ютерів, проблемы использования компьютеров,  Турбо Пролог,  штучний інтелект, искусственный интеллект
Знайти подібні документи / URL: посилання на документ
6.


   
    Логический подход к искусственному интеллекту: От классической логики к логическому программированию [Текст] . - М. : Мир, 1990. - 431 с. - 15 грн. 00 коп. р.

Рубрики: аксіоматика, аксиоматика,  алгоритми, алгоритмы, algorithms,  кібернетика, кибернетика,  логіка предикатів, логика предикатов,  логіка, логика,  логічне програмування, логическое программирование,  мови програмування, языки программирования, computer program language,  модальна логіка, модальная логика,  теорія алгоритмів, теория алгоритмов,  Турбо Пролог,  формальна логіка, формальная логика,  штучний інтелект, искусственный интеллект
Знайти подібні документи / URL: посилання на документ
7.


    Доорс Дж.
    Пролог - язык программирования будущего [Текст] / Доорс Дж., Рейблейн А.Р., Рейблейн А.Р. - М. : Финансы и статистика, 1990. - 143 с. - 6 грн. 00 коп. р.

Рубрики: комп'ютерні програми, компьютерные программы,  лінійне програмування, линейное программирование,  логіка предикатів, логика предикатов,  логіка, логика,  мова Пролог, язык Пролог,  мови програмування, языки программирования, computer program language,  навчання програмування, обучение программированию,  об'єктно-орієнтоване програмування, объектно-ориентированное программирование (ООП),  практичне програмування, практическое программирование,  програмування, программирование,  системне програмування, системное программирование,  Турбо Пролог
Знайти подібні документи / URL: посилання на документ
Институт медленного и болезненного выяснения самых очевидных вещей