Questions tagged [cs-theory]

For questions about teaching theoretical aspects of computer science.

Filter by
Sorted by
Tagged with
1 vote
0 answers
30 views

Reference Request: Study on the connection between Abstraction/Theory abilities and Software Engineering Skills

Some CS students (university level) are attracted to the profession because it promises a well-paying job after graduation, others because they are actually interested in CS as a science. In my ...
DCTLib's user avatar
  • 111
5 votes
0 answers
84 views

How to teach Godel's incompleteness Theorems?

I'm taking a class on Logic in Computer Science, and we've covered propositional logic, predicate logic and second-order logic. Students are familiar with model theory. They are also acquainted with ...
spatial's user avatar
  • 51
0 votes
0 answers
98 views

Could anyone test and criticize my automaton simulator?

My name is David Buzatto and I am a teacher of several subjects on a Computer Science course. One of these subjects is Theory of Computation and, this semester, I decided to implement a simulator of ...
davidbuzatto's user avatar
3 votes
1 answer
80 views

Any experience/resources on teaching computer science theory with a practical approach?

I am scheduled to teach a "Computer Science Theory" course. Topics include: Turing Machines, Languages, Automata (DFA, NFA), etc. I would like to make it less boring and more practical for ...
Drimades Boy's user avatar
2 votes
3 answers
209 views

Theory of Computing project topics

I am looking for project ideas in theory of computing that I can assign to my students in lieu of a final exam.
JKJ's user avatar
  • 121
1 vote
2 answers
237 views

What is standard definition of Computer Science

Why This Question Hi i am Computer Science student. As a computer science student I want to know the definition of computer science . yes !! i know some definition but these are not satisfactory , you ...
Hamza's user avatar
  • 117
0 votes
0 answers
56 views

What are the real-life use cases for for fractional/quotient regular languages?

In computer science theory some textbooks introduce fractional/quotient regular languages. In particular, given L1 and L2 languages on the same alphabet, the right quotient of L1 with L2 is defined as ...
Drimades Boy's user avatar
2 votes
1 answer
58 views

Do Theoretical Computer Science Conferences Accepts Survey Papers? [closed]

I am a Ph.D. student in Theoretical Computer Science (TCS). If I want to publish a survey paper, can I send that to a conference instead of a journal? Is that allowed? I am asking this because the ...
Inuyasha Yagami's user avatar
2 votes
2 answers
88 views

Do you know online courses with Haskell for Theory of Computation?

I taught Theory of Computation last Fall and I believe it would be more interesting for students to add some coding implementations. Are you aware of any online course or textbooks in which Haskell (...
Drimades Boy's user avatar
0 votes
1 answer
83 views

Any materials on fractional/quotient languages?

In Hopcroft-Motwani-Ullman there are exercises on this topic. What is another good reference (textbook/website) for fractional/quotient regular languages, possibly with examples?
Drimades Boy's user avatar
1 vote
2 answers
200 views

Any website or textbook with problems/solutions for Computer Science Theory?

The course includes: Regular Languages, Context-Free Languages, Turing Machines, Decidability, Reductions, etc. Do you know of any collection of problems/solutions suitable for a senior course?
Drimades Boy's user avatar
0 votes
0 answers
66 views

Computer Science Theory with Haskell?

Do you know of any courses using Haskell to illustrate Computational Theory topics?
Drimades Boy's user avatar
3 votes
5 answers
221 views

JavaScript to teach Theoretical Computer Science

We have been considering moving JavaScript into our core curriculum for vocational-readiness reasons. However, our core CS curriculum focuses on concepts that won't become out of date. There are ...
Ben I.'s user avatar
  • 33.6k
2 votes
1 answer
162 views

How to structure a Predictive Keyboard project similar to GBoard

Many are now familiar with GBoard, the Google / Android predictive Keyboard. I don't actually know how it works. Obviously it must gather usage data on the device where it is being used, but it ...
Scott Rowe's user avatar
7 votes
6 answers
455 views

Single-dimensional array and simple looping activities of significance

I give a lab on single-dimensional loops and arrays. By "single dimensional loops", I mean that there is no nesting of loops. (I will later give a second lab on multi-dimensional loops and arrays, ...
Ben I.'s user avatar
  • 33.6k
9 votes
3 answers
462 views

Unit Review for boolean algebra

Background: This is the first unit in junior year for a course in theoretical computer science. Prior to this, the students have already had AP CS A and a mish-mash of other topics. They have, by ...
Ben I.'s user avatar
  • 33.6k
11 votes
6 answers
386 views

How can I explain the difference between CS and coding to a layperson?

I was at a party a few days ago with a doctor (the medical kind, not the research kind) who was thinking about writing a computer program to solve a scheduling problem at work. Someone introduced him ...
Piyush Parikh's user avatar
9 votes
7 answers
1k views

Teaching loop invariant choice

This is in line with a prior question I asked about teaching induction, but this is specific to the loop invariant step. I have not had great success helping my students see how to choose a loop ...
Ben I.'s user avatar
  • 33.6k
5 votes
1 answer
184 views

Database theory (normalization) for beginners (adult education, MS Access)

When teaching database basics to non IT beginners, what is the minimum requirement in theory and technical terms? So what is absolutely necessary to talk about DBs? What helps students grasp the basic ...
vacip's user avatar
  • 1,398
8 votes
3 answers
403 views

Teaching Induction to Prove the Correctness of Algorithms

This is a subject that I have had a lot of trouble clarifying for students. I can explain the components well enough, but I have trouble getting kids to connect the big picture of the proof to the ...
Ben I.'s user avatar
  • 33.6k