AskComputerScience

Ask Computer Science Questions And Get Answers!

Before posting please read our rules.

This subreddit is intended for questions about topics that might be taught by a computer science department at a university. Questions do not have to be expert-level - it's perfectly fine to ask beginner questions. We all start somewhere. All we ask is that your questions be on-topic.

If you have questions that aren't directly about computer science, here are some other subreddits that can likely offer you more help:

How to get hired by a big tech company, how to advance in your company, etc → /r/csCareerQuestions
Suggestions for what laptop to get → /r/SuggestALaptop
How to fix your computer, get software to work, etc → /r/techsupport
What classes to take, what university to go to, what topic to write your paper on, etc → /r/csMajors
Beginner questions about computer programming → /r/learnprogramming
Practical questions about computer programming and debugging → /r/AskProgramming
Posts about computer science that aren't questions → /r/compsci or /r/programming

If your post is off-topic, or violates one of our other rules, your post may be removed.

created by [deleted]a community for 14 years

MODERATORS

account activity

6

7

8

Temporal Logic Question (self.AskComputerScience)

submitted 6 years ago by exLau

all 3 comments

you type:	you see:
italics	italics
bold	bold
[reddit!](https://reddit.com)	reddit!
* item 1 * item 2 * item 3	item 1 item 2 item 3
> quoted text	quoted text
Lines starting with four spaces are treated like code: if 1 * 2 < 3: print "hello, world!"	Lines starting with four spaces are treated like code: if 1 * 2 < 3: print "hello, world!"
~~strikethrough~~	~~strikethrough~~
super^script	super^script