1

I have an assignment to study the descriptive complexity of a given device that is described with some algebra and informal statements.

I have a background in computer engineering but I haven't deeply studied this field. I've been trying to read a book about logic, so I can get to first-order logic and thus be able to at least understand the Wiki articles on this, but I'm moving slowly.

What should I study to be able to understand and fulfill this task? I'm not in a hurry :)

ivarec
  • 133
  • i like this one: http://people.cs.umass.edu/~immerman/descriptive_complexity.html – JMP Jul 30 '15 at 21:22

1 Answers1

0

Additionally, here contains a list of Problems in Finite Model Theory, which should give you some ideas.

JMP
  • 22,637