Простий пошук
|
Розширений пошук
|
Алфавітні покажчики
|
Бази даних
Наукова електронна бібліотека - результати пошуку
Віртуальна довідкаТематичний інтернет-навігаторНаукова електронна бібліотекаАвтореферати дисертаційРеферативна база данихКнижкові видання та компакт-дискиЖурнали та продовжувані видання
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
| Сортувати знайдені документи за: | ||
| автором | назвою | роком видання |
| Формат представлення знайдених документів: | ||
| повний | стислий | |
| Знайдено в інших БД: | Реферативна база даних (4) | Книжкові видання та компакт-диски (41) |
Пошуковий запит: (<.>U=В121 я73$<.>) | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Загальна кількість знайдених документів : 7 Представлено документи з 1 до 7 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Тип видання: підручник | Категорія: Фізико-математичні науки | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 1. | Рубрики:
Конспект лекций по дискретной математике, подготовленный на математическом факультете Челябинского государственного университета, включает два раздела "Алгебра логики" и "к-значная логика". Кл.слова: алгебра -- логіка -- дискретна математика | Тип видання: навчальний посібник | Категорія: Фізико-математичні науки 2. | Рубрики:
Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка. Центральное место занимает изложение основ теории доказательств. Отдельный раздел посвящен проблемам оснований математики. Кл.слова: математика -- логіка | Тип видання: підручник | Категорія: Математика 3. | Рубрики:
Учебник создан за материалами курса математической логики, который преподается в Киевском университете имени Тараса Шевченка. Этот курс играет огромную роль в формировании математического мышления и понимания построения математики как науки. Разделы учебника: Логика высказываний, Логика отношений, Формальная математика. Кл.слова: математичне мислення -- математика | Тип видання: підручник | Категорія: Математика 4. | Рубрики:
Ч. 1 : Начало теории множеств. - 1999. - 128 с. Ч. 3 : Вычислимые функции. - 1999. - 176 с. Языки и исчисления. - 2000. - 291 с. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов. Книга включает себя около 90 задач различной трудности. Кл.слова: математична логіка -- теорія алгоритмів -- рекурсія | Тип видання: навчальний посібник | Категорія: Математика 5. | Рубрики:
Ч. 1. - 134 с. Ч. 2. - 71 с. Содержанием математической логики является изучение языка математики.Разумеется, забота о языке и постоянная его перестройка для приведения в соответствие с меняющимися состоянием знаний характерна для любой естественной науки. Тем не менее, необходимая работа обычно осуществляется по ходу дела, и то присталььное критическое рассмотрение, которому математика подвергла самое себя и свои средства выражения, представляется уникальным. Кл.слова: математика -- програмування -- ЕОМ -- мова програмування | Тип видання: навчальний посібник | Категорія: Математика 6. | Рубрики:
Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и теории предикатов. Изложение предполагает специальных знаний и рассчитано для студентов младших курсов. Кл.слова: алгебра логіки -- логіка предикатів | Тип видання: навчальний посібник | Категорія: Математика 7. | Рубрики:
Учебное пособие представляет запись лекций по курсу "Теория алгоритмов и математическая логика" для механико-математического факультета, обучающихся по специальности "Математика". Кл.слова: математика -- предикат -- квантор | ||||||||||||||||||||||||||||||||||||||||||||||||
Повний текст доступний у читальних залах НБУВВсі права захищені © Національна бібліотека України імені В. І. Вернадського