Difficulty understanding the meaning of quotient rings with regards to polynomials. I am having difficulty understanding quotient rings with regards to polynomials. For example, the quotient ring $\mathbb{F_2}[x]/(x^3 + 1)$ maps to the set of all remainders when a polynomial of $x$ (with coefficients in $\mathbb{F}_2$) is divisible by $x^3 + 1$. However, it's hard for me to comprehend the exact elements in this quotient ring.
Obviously if the quotient ring is something like $\mathbb{Z}/5$, I know that it maps to the set $\{0, 1, 2, 3, 4\}$, since that is the set of possible remainders when any number is divided by $5$. However, with polynomials, I feel it's more difficult to understand because for instance, I know that when a polynomial of $x$ is divided by $x^3 + 1$, the remainder obviously has to be less than $x^3 + 1$, but a polynomial such as $x^2 + 1$ is greater than $x^3 + 1$ for the domain $(0, 1)$ but not so when $x > 1$. So I'm wondering if there's an objective algorithm to determine the set of all remainders when a polynomial is divided by another polynomial.

I will try to keep my answer somewhat intuitive and digestible.

However, it's hard for me to comprehend the exact elements in this quotient ring.

The elements are strictly speaking equivalence classes, just like in any other quotient structure. In this case they are equivalence classes of polynomials, which are deemed equivalent when they have the same remainder when divided by $x^3 + 1$.
Now, you seem uncertain about what exactly those equivalence classes are.

So I'm wondering if there's an objective algorithm to determine the set of all remainders when a polynomial is divided by another polynomial.

I encourage you to look at the Wikipedia section on Euclidean division. Note that the theorem says that $\deg(r) < \deg(b)$. So right away that tells you will have as many equivalence classes as there are polynomials with degree less than $\deg(b)$. In your case, there are $2^3 = 8$ equivalence classes because you have two choices of coefficient for the constant term, two choices for the $x$ term, and two choices for the $x^2$ term. Generalizing to finite field $\mathbb F_p$ is simple.
You seem to be a bit fixated on polynomials as you would think of them in a calculus class; this isn't really relevant here.
If you are reasonably comfortable with a quotient like $\mathbb Z / 5$, then I encourage  you to keep $\mathbb Z / 5$ in mind when you think about $\mathbb F_2[x]/(x^3 + 1)$. There are some fairly strong parallels. One of the attractive aspects of quotient rings of polynomials is how they parallel quotient rings of the integers, despite ostensibly being a much more complicated thing (polynomials compared to integers).
