Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Материалите ми за упражнения по "Езици, автомати и изчислимост"

NotificationsYou must be signed in to change notification settings

toduko/languages-automata-and-computability

Repository files navigation

Тук може да намерите:

💭 Какво има (и/или ще има) в записките?

  • основни теоритични резултати, нужни за задачи;
  • напълно решени, частично решени и нерешени задачи;
  • интересни неща, за които не стига времето от редовните занятия.

⚠️ Важно да се има предвид

Тези запискиНЕ СА заместител за упражнения.Не всичко в записките ще го има на упражнения, но освен това и не всичко на упражнения ще се срещне тук.И двете са ценни по свой собствен начин.Идея на тези записки е да бъдат допълнение към упражненията, а не заместител.

Също така записките саwork in progress и може би винаги ще бъдат.Ще се стремя за в бъдеще да ги подобрявам като добавям нови задачи и попълвам някои доказателства, но не обещавам нищо.

⚙️ Какво ми трябва за да компилирам записките?

  • LaTeX компилатор със всички негови библиотеки, които се използват в проекта;
  • Python с неговата библиотекаpygments.

🎁 Принос

Може да ми пишете, или директно отворите PR с готови промени ако:

  • намерите каквато и да е грешка (правописна, граматическа, логическа и т.н.), без значение колко е малка;
  • мислите, че някое твърдение има по-елегантно доказателство;
  • имате предложение за някоя интересна задача.

About

Материалите ми за упражнения по "Езици, автомати и изчислимост"

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages


[8]ページ先頭

©2009-2025 Movatter.jp