Козмидиади В.А., Мучник А.А. (ред.) Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций

формат djvu
размер 6.32 МБ
добавлен 24 сентября 2011 г.

Издательство Мир, 1970, -432 с.
Сборник переводов.

Сборник содержит работы по актуальным проблемам математической логики, еще не получившим достаточного освещения в отечественной литературе. Эти работы посвящены оценкам сложности алгоритмов и вычислений, классификациям рекурсивных функций и различным типам вычислительных устройств, связанных с такими классификациями. В частности, значительное место занимают исследования «ограниченных» машин Тьюринга и обобщений конечных автоматов. В ряде работ изучаются множества слов, распознаваемых обобщенными автоматами, причем обнаруживаются связи с грамматиками, введенными в работах Н. Хомского.
Книга рассчитана на лиц, интересующихся современными проблемами математической логики, теории алгоритмов, теории автоматов, математической лингвистики и теории вычислительных машин.

Похожие разделы

Смотрите также

Ложкин С.А. Лекции по основам кибернетики

формат pdf
размер 1.19 МБ
добавлен 01 октября 2010 г.

М.: МГУ, 2004. 147 с. Пособие включает в себя основную часть материала из программы обязательного для студентов ВМиК МГУ курса "Основы кибернетики". Первая глава пособия посвящена различным вопросам представления функций алгебры логики с помощью таблиц и ДНФ. торая глава содержит описание структуры и функционирования схем из основных классов управляющих систем. Третья и четвертая главы рассматривают эквивалентные преобразования и синтез управляю...

Ложкин С.А. Основы кибернетики

формат pdf
размер 1.48 МБ
добавлен 17 ноября 2009 г.

Издательство: МГУ. Год издания: 2003. Страниц: 143. Представление функций дизъюнктивными нормальными формами. и связанные с ним задачи. Основные понятия, относящиеся к множествам, матрицам, функциям, формулам. Гиперкуб и функции алгебры логики. Дизъюнктивные нормальные. формы и связанные с ними разложения функций. Эквивалентные преобразования формул. Полнота системы основных. тождеств для формул базиса. Сокращенная ДНФ и способы ее построения. Не...

Лупанов О.Б. (ред.) Математические вопросы кибернетики. Выпуск 11

формат djvu
размер 2.63 МБ
добавлен 23 сентября 2011 г.

Издательство Наука, 2002, -288 с. Выпуск продолжает (с 1988 г.) математическую направленность всемирно известной серии «Проблемы кибернетики». Представленные в выпуске работы охватывают широкий спектр проблем дискретной математики, проблемам математической логики, теории программирования, сложности и надежности управляющих систем, криптографии. Для специалистов в области математической кибернетики, аспирантов и студентов старших курсов.

Лупанов О.Б. (ред.) Математические вопросы кибернетики. Выпуск 12

формат djvu
размер 2.63 МБ
добавлен 23 сентября 2011 г.

Издательство Наука, 2003, -304 с. Выпуск продолжает (с 1988 г.) математическую направленность всемирно известной серии «Проблемы кибернетики». Выпуск посвящен памяти С.В. Яблонского. В нем представлены работы специалистом долгое время сотрудничавших с Сергеем Всеволодовичем, и его учеников. Эти работы охватывают широкий спектр проблем дискретной математики, проблемам математической логики, теории программирования, сложности и надежности управляю...

Лупанов О.Б. (ред.) Математические вопросы кибернетики. Выпуск 13

формат djvu
размер 2.77 МБ
добавлен 23 сентября 2011 г.

Издательство Наука, 2004, -304 с. Выпуск продолжает (с 1988 г.) математическую направленность всемирно известной серии «Проблемы кибернетики». Представленные в выпуске работы охватывают широкий спектр проблем дискретной математики, проблемам математической логики, сложности и надежности управляющих систем, криптографии, теории распознавания. Для специалистов в области математической кибернетики, аспирантов и студентов старших курсов.

Лупанов О.Б. Математические вопросы кибернетики

формат djvu
размер 2.88 МБ
добавлен 12 ноября 2009 г.

2005. Сборник, начиная с 1988г., продолжает математическую направленность всемирно известной серии "Проблемы кибернетики". Представленные в выпуске работы охватывают широкий спектр проблем дискретной математики, математической логики, сложности и надежности управляющих систем, криптографии. Для специалистов, аспирантов, студентов, интересующихся современным состоянием математической кибернетики и ее приложений.

Ляпунов А.А. (ред.) Проблемы кибернетики. Выпуск 20

формат djvu
размер 18.29 МБ
добавлен 28 сентября 2011 г.

Издательство Наука, 1968, -320 с. Сборник научных работ по различным направлениям дискретной математики и математической кибернетики: теории автоматов, теории алгоритмов, теории игр, однородных сетях, математическим моделям в биологии.

Манин Ю.И. Вычислимое и невычислимое

формат djvu
размер 1.63 МБ
добавлен 01 октября 2010 г.

М.: Советское радио, 1980. 128 с. Книга посвящена доказательству существования невычислимых функций и алгоритмически неразрешенных задач. Обсуждаются проблемы оценки сложности вычислений и алгоритмов. Книга будет полезна широкому кругу специалистов, занимающихся проблемами машинного перевода, искусственного интеллекта, общего использования ЭВМ.

Маслов А.Н., Стоцкий Э.Д. (ред.) Языки и автоматы

формат djvu
размер 6.17 МБ
добавлен 23 сентября 2011 г.

Издательство Мир, 1975, -361 с. Библиотека «Кибернетического сборника» Книга входит в известную серию «Библиотека «Кибернетического сборника» и содержит переводы наиболее важных статей последних лет по теории языков программирования. Эта тематика ранее затрагивалась в «Кибернетических сборниках» и сборниках переводов «Проблемы математической логики» («Мир», 1970) и «Сложность вычислений и алгоритмов» («Мир», 1974). В сборнике три раздела. Первы...

Яблонский С.В., Лупанов О.Б. (ред.). Дискретная математика и математические вопросы кибернетики. Том 1

формат djvu
размер 4.33 МБ
добавлен 23 сентября 2011 г.

Издательство Наука, 1974, -313 с. Первый том двухтомной монографии, написанной коллективом специалистов но математической кибернетике. Книга может служить учебным пособием для студентов, специализирующихся в области теоретической кибернетики. В первый том входят главы, посвященные функциональным построениям в многозначных логиках, теории дизъюнктивных нормальных форм, теории графов и теории кодирования. Книга будет полезна широкому кругу научны...