Прикладная логика
Загрузка...
Аннотация
Данное пособие является элементарным введением в язык современной математики и методы современной математической логики. Его можно использовать
совместно с обучающими программами высокого уровня.
Рекомендуется для студентов и аспирантов специальностей - математика,
прикладная математика, структурная прикладная лингвистика, философия, когнитивная психология.
Описание
Составители/Переводчики
Год
1997
Journal Title
Journal ISSN
Volume Title
Издательство
Издательство Удмуртского университета
Ключевые слова
Коллекции
dc.contributor.author | Непейвода, Николай Николаевич | |
dc.date.accessioned | 2017-09-25T12:49:43Z | |
dc.date.available | 2017-09-25T12:49:43Z | |
dc.date.issued | 1997 | |
dc.description.abstract | Данное пособие является элементарным введением в язык современной математики и методы современной математической логики. Его можно использовать совместно с обучающими программами высокого уровня. Рекомендуется для студентов и аспирантов специальностей - математика, прикладная математика, структурная прикладная лингвистика, философия, когнитивная психология. | ru_RU |
dc.identifier.citation | Непейвода, Николай Николаевич. Прикладная логика : Учеб. пособие для студентов вузов, обучающихся по специальностям "Математика", "Прикладная математика", "Лингвистика", "Философия" и "Психология" / Непейвода Н. Н. ; Удм. гос. ун-т. - Ижевск : Издательство Удмурт. ун-та, 1997. - 383 с. : ил. | ru_RU |
dc.identifier.other | arhiv_book_03212 | |
dc.identifier.uri | http://eanbur.unatlib.ru/handle/123456789/4738 | |
dc.language.iso | ru | ru_RU |
dc.publisher | Издательство Удмуртского университета | ru_RU |
dc.subject | логика | ru_RU |
dc.subject | учебные пособия | ru_RU |
dc.subject | математика | ru_RU |
dc.subject | синтаксис | ru_RU |
dc.subject | кванторы | ru_RU |
dc.subject | индукция | ru_RU |
dc.subject | семантика | ru_RU |
dc.subject | классическая логика | ru_RU |
dc.subject | нестандартный анализ | ru_RU |
dc.subject | математическая логика | ru_RU |
dc.title | Прикладная логика | ru_RU |
dc.type | Book | ru_RU |