Литература

Содержание

Математическая логика и теория алгоритмов

  • Гуц А.К. Математическая логика и теория алгоритмов. М.: Либроком 2009.
  • Ершов Ю.Л. Математическая логика: Учеб.пособие / Ю. Л. Ершов, Е. А. Палютин.СПб.: Лань 2005.
  • Крупский В.Н. Теория алгоритмов М.: Академия, 2009.
  • Глухов М.М. и др. Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов СПб.: Лань, 2008.
  • Судоплатов С.В. Математическая логика и теория алгоритмов. Новосибирск: Изд-во НГТУ, 2010.
  • Гринченков Д.В., Потоцкий С.И. Математическая логика и теория алгоритмов для программистов. М: КноРус 2010.
  • Карпов Ю.Г. Теория автоматов: Учеб.для вузов / Ю. Г. Карпов. СПб.: Питер 2003.
  • Мендельсон. Э. Введение в математическую логику. М.: «Наука» 1971.
  • Лавров С. Программирование: математические основы, средства, теория. СПб.: bhv 2001.
  • Клини С.К. Математическая логика. М.: Мир 1973.
  • Набебин А.А., Кораблин Ю.П. Математическая логика и теория алгоритмов. М.: Научный мир 2008.
  • Игошин В.И. Математическая логика и теория алгоритмов. М.: Академия 2010.
  • Зюзьков В.М., Шелупанов А.А. Математическая логика и теория алгоритмов. М.: Горячая линия - Телеком 2007.
  • Тимофеева И.Л. Математическая логика. Курс лекций. КДУ 2007.
  • Смаллиан Р. Теория формальных систем. М.: Наука, 1981.
  • Хофштадтер Д. Гёдель, Эшер, Бах: эта бесконечная гирлянда. М.: Бахрах-М, 2001.
  • Абельсон Х., Сассман Д. Структура и интерпретация компьютерных программ. М.: Добросвет, 2006.
  • Новиков П.Ф. Дискретная математика для программистов. СПб.: Питер, 2000.
  • Харин Н. Математическая логика и теория множеств, Росвузиздат, 1963.
  • Слупецкий Е., Борковский Л. Элементы математической логики и теории множеств, М.:Прогресс, 1985.
  • Пензов Ю.Е. Элементы математической логики и теории множеств, Саратовский ГУ, 1968.

Алгоритмы и программирование

  • Уоррен Г. Алгоритмические трюки для программистов, Вильямс, 2003.
  • Гриффитс А. Программирование GNOME/GTK+, Диасофт, 2001.
  • Златопольский Д.М. Сборник задач по программированию, БХВ, 2007.
  • С. Дасгупта, Х. Пападимитриу, У. Вазирани. Алгоритмы, М.:МЦНО, 2014.
  • Альсина К. Карты метро и нейронные сети: теория графов, М.:DeAGOSTINI, 2014.
  • Белда И. Разум, машины и математика: искусственный интеллект и его задачи, М.:DeAGOSTINI,2014.
  • Кауфман В.Ш. Языки программирования. Концепции и принципы, М.:ДМК, 2011.
  • Степанов А., Мак-Джоунс П. Начала программирования, Вильямс, 2011.
  • Орлов С.А. Теория и практика языков программирования, Питер, 2013.
  • Берд Р. Жемчужины проектирования алгоритмов. Функциональный подход, М.:ДМК, 2013.
  • Поликарпова Н.И., Шалыто А.А. Автоматное программирование, СПб.,2008.

Язык программирования C

Классика

  • Керниган Б., Ритчи Д. Язык программирования С, Вильямс, 2015.
  • Прата С. Язык программирования C. Лекции и упражнения, Вильямс, 2013.
  • Дейтел Х., Дейтел П. Как программировать на С, Бином, 2009.

Для начинающих

  • Гриффитс Дуэйн, Гриффитс Доун Изучаем программирование на C, Эксмо, 2016.
  • Грег Перри, Дин Миллер Программирование на C для начинающих, Эксмо, 2015.
  • Майк МакГрат Программирование на С для начинающих, Эксмо, 2016.

Современность

  • Клеменс Б. Язык С в XXI веке, ДМК, 2015.
  • Дейтел Х., Дейтел П. С для программистов с введением в С11, М.:ДМК, 2014.

Архив

  • Харбисон С., Стил Г. Язык С с примерами, Бином, 2011.
  • Подбельский В.В., Фомин С.С. Программирование на языке С, Финансы и статистика, 2003.
  • Шилдт Г. Полный справочник по С, Вильямс, 2002.
  • Подбельский В.В. Практикум по программированию на языке Си, Финансы и статистика, 2004
  • Хэзфилд Р., Кирби Л. Искусство программирования на С, Диасофт, 2001
  • Loudon K. Mastering Algorithms with C, O'Reilly, 1999.
  • /Oualline S.| Practical C Programming, O'Reilly, 1997.
  • Mark D., Bucanek J. Learn C on the Mac, Apress, 2012.
  • Уэйт,Прата, Мартин Язык программирования Си: руководство для начинающих, М.:1988.
  • Голуб А. Правила программирования на Си и Си++
  • Богатырев А. Язык С в системе Unix
  • Костюкова, Калинина Язык Си и особенности работы с ним, Бином, 2006.
  • Гриффитс, Гриффитс Изучаем программирование на C, Эксмо, 2013.

Язык программирования С++

  • Джосьютис Н. С++ Стандартная библиотека, Питер, 2004.
  • Сабуров С.В. Языки программирования С и С++, Бук-пресс, 2006.
  • Мейерс С. Эффективное использование STL, Питер, 2002.
  • Липпман C++ для начинающих.
  • Элджер Д. С++.
  • Эккель Б. Философия С++, Питер, 2004.
  • Вайнер, Пинсон С++ изнутри, 1994.
  • Дейтел Х., Дейтел П. Как программировать на С++,
  • Alexandrescu A. Modern C++ Design. Generic programming and design patterns applied, 2001.
  • Александреску А. Современное проектирование на С++, Вильямс, 2002.
  • Parker A. Algorithms and Data Structures in C++, CRC Press, 1993.
  • Аммерааль Л. STL для программистов на С++, ДМК, 1999.
  • Шилдт Г. Искусство программирования на С++, БХВ, 2005.
  • Barton J.,Nackman L. Scientific and Engineering, Addison-wesley, 1994.
  • Дэвис С. С++ для чайников, Диалектика, 2001.
  • Джосьютис Н. С++. Стандартная библиотека, Питер, 2004.
  • Оверленд Б. С++ без страха, Триумф, 2005.
  • Пол А. Объектно-ориентированное программирование на С++, Бином, 2001.
  • Саттер Г. Решение сложных задач на С++, Вильямс, 2002.
  • Лафоре Р. Объектно-ориентированное программирование в С++, Питер, 2003.
  • Либерти Д. С++. Энциклопедия пользователя.
  • Голуб А. Правила программирования на Си и Си++, 2001.
  • Полубенцева М. С/С++ процедурное программирование, БХВ, 2015.

Язык программирования Java

Для начинающих

  • Doug Lowe Java All-In-One for Dummies, For Dummies, 2005.
  • Ivor Horton Ivor Horton's Beginning Java, Wrox, 2011.
  • Yakov Fain Java Programming 24-Hour Trainer,Wrox,2011.

Для изучающих

  • Allen B. Downey, Chris Mayfield Think Java: How to Think Like a Computer Scientist, O'Reilly Media, 2016.
  • Ted Neward Effective Enterprise Java, Addison-Wesley, 2004.
  • Noel Kalicharan Advanced Topics in Java: Core Concepts in Data Structures, Apress, 2013.
  • Jan Graba An Introduction to Network Programming With Java: Java 7 Compatible, Springer, 2013.
  • Kim Topley JavaFX Developer's Guide, Addison-Wesley Professional, 2010.
  • Venkat Subramaniam Functional Programming in Java: Harnessing the Power of Java 8 Lambda Expressions, Pragmatic Bookshelf, 2014.
  • John Lewis, William Loftus Java Software Solutions, Global Edition, Pearson Education Limited, 2015.
  • Michael T. Goodrich, Roberto Tamassia, Michael H. Goldwasser Data Structures and Algorithms in Java 6th Edition International Student Version, Wiley, 2014.
  • Kishori Sharan Learn JavaFX 8: Building User Experience and Interfaces With Java 8, Apress, 2015.
  • Jeff Friesen Java Threads and the Concurrency Utilities, Apress, 2015.
  • Ian F. Darwin Java Cookbook, O'Reilly Media, 2014.
  • Уорбэртон Ричард Лямбда-выражения в Java 8, ДМК Пресс, 2015.
  • David A. Watt Java Collections: An Introduction to Abstract Data Types, Data Structures and Algorithms, Wiley, 2001.
  • Maurice Naftalin, Philip Wadler Java Generics and Collections, O'Reilly Media, 2006.
  • John Zukowski Java Collections, Apress, 2001.
  • Jan Graba An Introduction to Network Programming With Java: Java 7 Compatible, Springer, 2013.
  • Noel Kalicharan Advanced Topics in Java: Core Concepts in Data Structures, Apress, 2013.
  • James Weaver, Weiqi Gao, Stephen Chin, Dean Iverson,Johan Vos Pro JavaFX 2: A Definitive Guide to Rich Clients With Java Technology, Apress, 2012.

Для продвинутых

  • Mukesh Prasad Java Server Side Programming: The Conceptual Foundation, CreateSpace Independent Publishing Platform, 2013.
  • Scott Oaks Java Performance: The Definitive Guide, O’Reilly Media, Inc., 2014.
  • Vaskaran Sarcar Java Design Patterns, Apress, 2015.
  • Steven John Metsker Design Patterns Java Workbook, Addison-Wesley Professional, 2002.
  • Steven John Metsker, William C. Wake Design Patterns in Java, Addison-Wesley Professional, 2006.
  • Douglas Lea Concurrent Programming in Java: Design Principles and Patterns, Addison-Wesley Professional, 1999.

Прикладные вопросы

  • Х. Марманис, Д. Бабенко Алгоритмы интеллектуального Интернета. Передовые методики сбора, анализа и обработки данных, Символ-Плюс, 2011.
  • Lee Jacobson, Burak Kanber Genetic Algorithms in Java Basics, Apress, 2015.
  • Abraham Silberschatz Operating System Concepts With Java 8th Edition International Student Version With WileyPLUS Set, John Wiley & Sons Canada, Limited, 2010.
  • Nicholas S. Williams Professional Java for Web Applications, Wrox, 2014.
  • Wallace Jackson Android Apps for Absolute Beginners, Apress, 2012.

Разработка и тестирование

  • Anil Hemrajani Agile Java Development With Spring, Hibernate and Eclipse (Developer's Library), Sams Publishing, 2006.
  • Jeff Langr Agile Java: Crafting Code With Test-Driven Development, Prentice Hall, 2005.

Язык программирования F#

  • Крис Смит Программирование на F#, Символ-Плюс,2011.
  • Chris Smith Programming F#, O'Reilly Media, 2009.
  • Jon Harrop, Don Syme F# for Scientists, Wiley-Interscience, 2008.
  • Robert Pickering, Kit Eason Beginning F# 4.0, Apress, 2016.
  • Dave Fancher The Book of F#: Breaking Free With Managed Functional Programming, No Starch Press, 2014.
  • Adnan Masood Learning F# Functional Data Structures and Algorithms, Packt, 2015.
  • Tomas Petricek, Phillip Trelford F# Deep Dives, Manning Publications, 2014.
  • swlaschin F# for Fun and Profit, GITBOOK
  • James Graff The Fsharp Handbook, CreateSpace, 2016.
  • Tomas Petricek, Jon Skeet Real-World Functional Programming: With Examples in F# and C#, Manning Publications, 2010.
  • Robert Pickering Foundations of F#, Apress, 2007.
  • Robert Pickering Beginning F#, Apress, 2009.
  • Don Syme Expert F#, Apress, 2007.
  • Michael R. Hansen, Hans Rischel Functional Programming Using F#, Cambridge Press, 2013.

Язык программирования Objective-C

  • Далримпл М., Кнастер С. Objective-C 2.0 и программирование для Mac, Вильямс, 2010.
  • Хилегасс А. Objective-C. Программирование для iOS и MacOS, Питер, 2012.
  • Dovey J., Furrow A. Beginning Objective-C, Apress, 2012.

Язык программирования OCaml

  • Hickey J. Introduction to Objective Caml, 2008.
  • Harrop J. OCaml for scientists, 2005.
  • Chailloux E., Manoury P., Pagano B. Developing applications with Objective Caml, O'Reilly, 2000.
  • Chailloux E., Manoury P., Pagano B. Разработка программ с помощью Objective Caml, (русский перевод), 2007.
  • Smith J. Practical OCaml, APress, 2006.
  • Downey A., Monje N. Think OCaml, Green Tea Press, 2008.
  • Whitington J. OCaml from the Very Beginning, Coherent press. Cambridge, 2013.
  • Whitington J. More OCaml: Algorithms, Methods, and Diversions, Coherent press. Cambridge, 2014.
  • Leroy X., Remy D. Unix system programming in OCaml, 2013.
  • Minsky Y., Madhavapeddy A., Hickey J. Real world OCaml, O'Reilly, 2013.
  • Didier Rémy Using, Understanding, and Unraveling OCaml, 2001.

Язык программирования Clojure

  • VanderHart L.,Sierra S. Practical Clojure, Apress, 2010.
  • Halloway S. Programming Clojure, The pragmatic bookshelf, 2009.
  • Fogus M.,Houser C. The joy of Clojure, Manning, 2010.
  • Эмерик Ч.,Карпер Б.,Гранд К. Программирование на Clojure, М.:ДМК, 2013.

Язык программирования Scala

  • Thomas Alexandre Scala for Java Developers, Книга по Требованию, 2014.

Язык программирования JavaScript

  • Alper Dincer, Balkan Uraz Google Maps JavaScript API Cookbook, Packt Publishing, 2013.

Системы контроля версий

  • Bar M., Fogel K. Open source development with CVS, Paraglyph Press, 2003.
  • Collins-Sussman B., Fitzpatrick B., Pilato C. Version control with Subversion.
  • Loeliger J., McCullough M. Version Control with Git, O'Reilly, 2012.
  • Swicegood T. Pragmatic version control using Git, 2008.
  • Чакон С. Pro Git, 2013.

Emacs 26.1 (Org mode 9.1.9)

Validate